Kotlin可空泛型疑问：两段代码null处理为何表现不同？

第一段代码报错原因 #

先看报错的代码：

class nullableGenericA<T: Any?>{
    fun someMethod(v: T){}
    fun someMethod(){
        someMethod(null)
    }
}

报错Null can not be a value of a non-null type T的核心逻辑：

• T: Any?这个约束是冗余的，Kotlin泛型默认上界就是Any?，写不写效果一致。
• 问题出在类内部无参someMethod调用someMethod(null)时，编译器无法确定当前T是否为可空类型。比如当你实例化nullableGenericA<String>()时，T被指定为非空的String，此时传null给接受String类型的参数，直接违反非空约束。编译器必须在编译期杜绝这种不安全操作，因此抛出错误。

第二段代码正常运行的原因 #

再看可正常执行的代码：

class NullableGenericB<T>(val list: ArrayList<T>){
    fun add(obj: T){
        list.add(obj)
    }
}

fun testNullableGenericB(){
    NullableGenericB<String?>(ArrayList()).add(null)
}

这里的关键是实例化时明确指定了T为String?（可空类型）：

• 当T被指定为String?时，add(obj: T)的参数类型就是String?，null是该类型的合法取值，因此add(null)完全符合类型要求。
• 如果实例化时指定T为非空类型（比如String），再调用add(null)同样会触发和第一段代码相同的报错。

核心差异总结 #

• 第一段代码的问题在于类内部试图给泛型参数T传null，但T可能被实例化为非空类型，编译器无法保证操作安全性，因此报错。
• 第二段代码是在实例化时明确将T指定为可空类型，此时传null完全符合T的类型定义，所以编译通过。

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