Kotlin的Nothing类型如何转Java？泛型子类如何适配Java方法参数

首先明确两个核心前提：

• MySubclass<Nothing> 是 MyClass<Nothing> 的子类，但泛型默认不支持协变，所以它不会自动匹配任意MyClass<*>的参数声明
• 父类引用无法直接传入接收子类类型的方法，除非你显式做类型转换或者调整方法的参数声明

关于你提到的void receiveClass(aClass: MyClass<*>)写法是否可行 #

这种写法是Kotlin侧的星投影声明，它可以接收所有MyClass的子类实例，包括MySubclass<Nothing>，但是有两个限制：

• 方法内部只能调用MyClass中返回泛型参数T的方法，返回值类型会被推导为Any?
• 方法内部无法调用MyClass中以T作为入参的方法，因为编译器无法确定T的实际类型，没有合法的参数可以传入

如果你是在Java侧声明接收方法，等效的写法是void receiveClass(MyClass<?> aClass)，和Kotlin的星投影完全兼容，互操作时不会有类型问题。

如果你需要让方法严格接收MySubclass类型的实例 #

有两种处理方案：

1. 调整方法参数声明为MySubclass<*>（Kotlin侧）或者MySubclass<?>（Java侧），即可接收任意泛型参数的MySubclass实例
2. 如果你确定要传入的MyClass引用运行时实际就是MySubclass的实例，可以显式做类型强转：

   @Suppress("UNCHECKED_CAST")
   val subInstance = myClassRef as MySubclass<Nothing>
   

   再将强转后的实例传入方法即可，注意这种方式需要你自己保证运行时类型安全，否则会抛出ClassCastException。

可选优化：声明处协变 #

如果你的MyClass的泛型参数T只会作为返回值类型，不会作为方法入参类型，可以在定义MyClass时给T加上out修饰符：

class MyClass<out T> {
    // 仅包含T作为返回值的方法
}

声明处协变后，MySubclass<Nothing>会自动成为所有MyClass<out X>的子类型，传参时不需要额外做类型转换或者通配声明。

内容的提问来源于stack exchange，提问作者htafoya