为什么表达式objectOfTypeT :: class的类型是KClass <out T>？

假设我们有通用的功能：

fun <T: Any> foo(o: T) { o::class } 

o::class的类型是KClass<out T> 。 为什么有差异注释，为什么它不是KClass<out Any> （因为T的删除是Any ）

_{这个差异注释搞砸了我很好的反射代码}

---

编辑：挖了一段时间后，我发现kotlin依赖于Object::getClass来获取一个Class来创建一个KClass ，实际的创建代码有一个像fun <T: Any> create(jClass: Class<T>): KClass<T> 。 然而这导致另一个问题。 o::class的类型应该是KClass<Any>因为该create方法的jClass参数应该是Class<Object>类型，因为静态类型T的删除只是Any （或者在JVM上映射的Object ） 。

Answer 1

为什么有差异注释？

这是kotlin 1.1中有界类参考的预期行为。

我们知道一个子类的实例可以分配给一个超类，例如：

 val long:Number = 1L; val int:Number = 1; 

我们也知道泛型继承不像类继承，例如：

 val long:KClass<Long> = Long::class; val number:KClass<Number> = long; // ^ // can't be compiled, required KClass<Number> but found KClass<Number> 

所以我们通过使用泛型类型投影来编译代码如下：

 val number:KClass<out Number> = long; 

简而言之，supperclass（ Number ）的变量可以被赋值给任何子类（ Long ， Int ， Double和.etc）的实例，但是当从Number引用中获得KClass引用时，它应该返回一个KClass<out Number>而不是KClass<Number> ，因为KClass<Int>不是KClass<Number>的子类型。

在java中也适用相同的规则，例如：

 Number number = 1L; Class<? extends Number> type = number.getClass(); 

为什么不是KClass（因为T的删除是Any）？

因为你的方法使用泛型参数T ，但java.lang.Object#getClass根本不使用任何泛型参数，返回类型是Class<? extends Object> Class<? extends Object> 。

但是， T＃javaClass属性接受通用参数T ，您可以看到下面的代码将kotin Class<?>转换为Class<T> 。 所以foo方法中o::class的上界通配符是KClass<? extends T> KClass<? extends T>而不是KClass<? extends Object> 在java中KClass<? extends Object> 。

 public inline val <T: Any> T.javaClass : Class<T> @Suppress("UsePropertyAccessSyntax") get() = (this as java.lang.Object).getClass() as Class<T> // force to casting a Class<?> to a Class<T> ---^ 

一个KClass<? extends T> KClass<? extends T>是KClass<?>的子类型，根据LISP原则，您不能KClass<?>类实例分配给子类类型。

 fun <T : Any> foo(value: T) { val type: Class<out T> = (value as java.lang.Object).getClass(); // ^ // Compilation Error: // you can't assign Class<? extends Object> to a Class<? extends T> } 

你也可以看到如下的方法通用签名：

 val noneGenericParametersMethod= Object::class.java.getDeclaredMethod("getClass")!! val genericParametersMethod by lazy { val it = object { fun <T : Any> foo(): Class<out T> = TODO(); }; return@lazy it.javaClass.getDeclaredMethod("foo")!!; } println(genericParametersMethod.toGenericString()) // ^--- its return type is java.lang.Class<? extends T> println(noneGenericParametersMethod.toGenericString()) // ^--- its return type is java.lang.Class<? extends Object> 

基于上面，表达式o::class实际上返回一个原始类型 KClass而不是一个参数化类型KClass<out T> ，一个原始类型可以分配给任何参数化类型 ，但是kotlin没有原始类型 ，所以kotlin编译器将原始类型KClass为参数化类型KClass<out T> ，就像将List<*>缩小为Iterable<*> 。 java中原始类型的示例：

 Box rawBox = new Box(); // rawBox is a raw type of Box<T> Box<Integer> intBox = rawBox; // warning: unchecked conversion 

为什么java不能将T.getClass（）分配给Class <？ 延伸T>？

如果你深入到java.lang.Object＃getClass方法的文档中，你会发现结果如下：

实际的结果类型是Class <？ 扩展| X | > where | X | 是调用getClass的表达式的静态类型的擦除。

“ 静态类型的删除 ”：表示|X| 是运行时的有界类型而不是实际的泛型参数类型，例如：

 // Object.getClass() using the bounded static type `Number` // v <T extends Number> Class<? extends Number> foo(T value){ return value.getClass(); }