Kotlin泛型上界:Any的作用及对类型推断的影响

为什么必须添加:Any泛型约束？ #

这是个非常典型的Kotlin泛型细节问题，核心在于Kotlin泛型的默认上界规则，咱们慢慢理清楚：

1. Kotlin泛型的默认上界不是Any，而是Any? #

你之前的误解是关键：当你写fun <T> ...这种无约束泛型时，T的默认上界是Any?（可空类型），也就是说T可以是任何类型——包括null。而fun <T:Any> ...是显式把T约束为非空的任意类型，直接排除了null的可能性。

举个直观的对比：

// T默认是Any?，可以返回null
fun <T> defaultGeneric(): T? = null

// T被约束为Any，必须返回非空对象，返回null会报错
fun <T:Any> nonNullGeneric(): T = "hello" // 正确，String是Any的子类

2. 目标方法的泛型要求非空类型 #

你的扩展函数是在调用SelectQueryBuilder的另一个parseList重载，它接受的参数是MapRowParser<T>。而这个MapRowParser接口的设计，以及数据库解析场景的逻辑，决定了它的泛型T必须是非空类型（毕竟从数据库查询出的有效行，不可能解析成null对象）。

换句话说，这个重载方法的泛型参数T是被隐式约束为Any的，它不接受可空的T类型。

3. 类型不匹配导致报错 #

当你把泛型写成fun <T> ...时，T是Any?的子类型，此时你创建的MapRowParser<T>是一个“可空类型的解析器”，但目标方法需要的是“非空类型的解析器”，两者类型不兼容，所以Android Studio会抛出类型错误。

而加上:Any约束后，T被限制为非空类型，和目标方法的泛型要求完全匹配，错误自然就消失了。

总结一下差异 #

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