如果使用“+”运算符添加列表，为啥 Kotlin 会将 List<List<Int>> 类型的列表更改为 List<Any>？

Posted 2023-02-23

【中文标题】如果使用“+”运算符添加列表，为啥 Kotlin 会将 List<List<Int>> 类型的列表更改为 List<Any>？

【英文标题】：Why does Kotlin change a list of type List<List<Int>> to List<Any> if a list is added with the "+" operator?如果使用“+”运算符添加列表，为什么 Kotlin 会将 List<List<Int>> 类型的列表更改为 List<Any>？

【发布时间】：2022-01-24 01:09:15

【问题描述】：

给定以下两个列表

val listA = listOf<List<Int>>()
val listB = listOf(1, 2, 3)

以及下面的操作

val listC = listA + listB

我正在将List<Int> 类型的列表添加到List<List<Int>> 类型的列表中。但是，我的 IDE 告诉我结果列表 C 的类型是List<Any>，而不是我预期的List<List<Int>>。谁能给我解释一下为什么？

【参考方案1】：

查看kotlin.collections 中所有plus 运算符中的list，你会发现你调用的那个会解析为这个：

operator fun <T> Collection<T>.plus(
    elements: Iterable<T>
): List<T>

编译器非常努力地推断T 的类型，以便调用有效，并找到Any 作为这样的类型。毕竟，List<List<Int>> 是 Collection<Any>，List<Int> 也是 Iterable<Any>。

注意还有：

operator fun <T> Collection<T>.plus(element: T): List<T>

但是，重载决议不会选择这个，因为采用Iterable<T> 的那个被认为是“更具体”。毕竟，它具体需要一个Iterable，而不是任何类型（T），包括Iterable。另请参阅rationale section of the spec。

你应该改用plusElement。

【讨论】：

感谢您的详细解释！