共変と不変 - 🍊miyamonz🍊

共変と不変

https://maku77.github.io/kotlin/generics/variant.html

covariant

invariant

A extends Bのとき

genericな型X[T]に対して　X[A] extends X[B]がなりたつことを共変というらしい

bivarianceHack

https://zenn.dev/f_subal/articles/what-is-bivariance-hack

https://qiita.com/na-o-ys/items/aa56d678cdf0de2bdd79

古い記事

strictFuntionTypesの無い時代の記事