generics - 是kotlin 'in'关键字的BUG吗？

Question

看下面的代码。为什么第 2 行没有警告，而且我可以运行它而没有任何错误？

fun main() {
    val testProducer: TestProducer<in Child> = TestProducer(22)
    println(testProducer.get())
}

open class Parent

class Child : Parent()

class TestProducer<T>(private val data: T) {
    fun get(): T = data
}

Answer 1

不，这不是错误。
in关键字:它是一个类型参数 逆变 : 只能消费，不能生产。

您可能会因为 in 的其他一般用途而感到困惑。关键字 - 在 for 循环中。

这里是所有地方in可以使用关键字:

指定在 for 循环中迭代的对象

用作中缀运算符以检查值是否属于定义“包含”方法的范围、集合或另一个实体

用于相同目的的 when 表达式

将类型参数标记为逆变

引用资料 - generics , keyword-reference

编辑1:

正如评论中提到的， <in Child>意味着您可以将 Child 对象作为函数参数传递给它。但是当它返回像你的 get() 中的对象时函数，它们被视为 Any? .您的代码有效，因为 println接受 Any?作为参数。