型变（variance）是 Kotlin 泛型里最容易"用过但说不清"的一题。它的核心只有一条规则——型变位置约束：out类型只出现在返回位，in类型只出现在参数位——但从这一条能推导出协变/逆变哪些签名合法、哪些非法，以及为什么Listout T不能接受add。答得全的人，都是从这条规则推出来的。先把结论放在前面：Kotlin 用声明处型变（Java 用使用处型变，即通配符? extends/? super）。out T表示协变——ListSub是ListSuper的子类型，T 只出现在返回位置；in T表示逆变——ConsumerSuper可以传给ConsumerSub，T 只出现在参数位置。in+out同时标注（in out T）在 Kotlin 里是声明不变但两次投影的变体，含义是"写时投影、读时投影"，用在既读又写的场景（比如MutableListin out T实际等价于Mutabl 来自尧图内容编辑团队
内容团队 本文由尧图网络内容编辑团队执笔。团队由资深项目经理、前端工程师与设计师组成，所有内容均来自亲手交付的真实项目，先讲清问题、再给出可落地的解法。尧图深耕北京网站建设十年，服务过京华建材集团、智造科技等各行业客户，把一线经验沉淀为可复用的行业观察。
相关资讯与近期热门内容
建站决策前值得细读的三篇
