Kotlin中arr += x编译报错而arr.add(x)正常的原因探究

我们有一个实现了Iterable<Box<T>>的Box<T>类，其中持有ArrayList<Box<T>>类型的arr属性。在add方法里，直接调用arr.add(x)完全正常，但使用arr += x却报类型不匹配错误：

Type mismatch. Required: kotlin.collections.ArrayList
Found: List

核心原因：+=操作符的重载歧义与优先级 #

Kotlin的+=操作符有两种关键重载：

• 原地修改的plusAssign：针对MutableCollection（比如ArrayList），直接在原集合上添加元素，不会改变变量的类型，行为等价于arr.add(x)。
• 返回新集合的plus：所有Iterable类型都自带这个扩展方法，它会创建新集合并添加元素，返回类型是List（而非原集合的具体实现类，比如ArrayList）。

因为Box<T>实现了Iterable<Box<T>>，而x的类型恰好是Box<T>——和Iterable的plus方法参数类型完全匹配，编译器会优先选择这个重载。此时arr += x会被解析为：

arr = arr.plus(x)

但arr的类型是ArrayList<Box<T>>，而plus返回的是List<Box<T>>，类型不兼容，因此触发编译错误。

而直接调用arr.add(x)是明确调用ArrayList的成员方法，不存在重载选择的歧义，所以可以正常运行。

为什么改成Iterable<T>就没问题？ #

如果Box<T>实现的是Iterable<T>，那么Iterable<T>的plus方法参数类型是T，而x的类型是Box<T>（比如示例中T是Int，x是Box<Int>），两者类型不匹配，编译器会放弃这个重载，转而匹配ArrayList的plusAssign方法，此时+=就等价于原地添加，不会有类型问题。

解决方法 #

如果想继续使用+=语法，可以显式调用plusAssign方法来避免歧义：

arr.plusAssign(x)

或者直接使用arr.add(x)，逻辑更清晰。

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