kotlin - Kotlin 中的 "Any"上限与默认值(无界限)有何不同？

Question

此代码无法编译，并在 KClass 类型上出现错误:

interface Foo<T> {
    val tClass: KClass<T>
}

Type argument is not within its bounds. Expected: Any, Found: T

这就是说 KClass 需要 Any 类型参数，但 T 不是 Any。
那么这些有什么区别呢？

<T>

<T: Any>

<T: Any?>

Answer 1

为了解释这一点，最好从 Java 与 Kotlin 的类型系统之间的差异开始。
在 Java 中，所有类都继承自 Object，并且 Object 可以为 null 或不为 null。在 Kotlin 中，可空类型和不可空类型是有区别的。默认情况下，基本类型是 Any?因此<T>默认为 Any? 类型.由于您传入的是不可为空的类型，因此您需要声明 <T: Any>而不是 Any? .
因此<T>与 <T: Any?> 相同和 <T: Any>说只有一个类型可以传递给这个不可为空的方法。