Kotlin中<T>与<T : Any>泛型约束的区别是什么？

函数差异 #

• 泛型T的范围不同：
  • fun<T> List<T>.myFunction()的T无任何约束，支持任意类型，包括可空类型（如String?）、非空类型，甚至是Nothing类型。
  • fun<T : Any> List<T>.myOtherFunction()的T被限定为非空的Any及其子类，也就是说T必须是非空类型，可空类型会被直接排除。

实际调用示例：

// 合法，T可以是String?
List<String?>().myFunction()

// 编译报错，String?不符合T:Any的约束
List<String?>().myOtherFunction()

Any约束的作用 #

• 确保元素非空：函数内部处理列表元素时，无需额外做空值判断，约束保证了所有元素都是非空对象，从根源避免空指针异常。
• 明确适用场景：通过约束限定函数只能用于存储非空元素的列表，避免被误用到可空元素列表中，保证函数逻辑的准确性。
• 优化跨语言交互：Kotlin的Any对应Java的Object，加上该约束后，和Java代码交互时能更清晰地传递类型要求，减少类型歧义。

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