Kotlin不同泛型List调用intersect无编译错误，原因何在？

问题重现 #

val ints: List<Int> = listOf(1, 2, 3)
val uuids: MutableList<UUID> = mutableListOf(UUID.randomUUID())

// 无编译错误，但逻辑无意义
val result = uuids.intersect(ints)

// 编译错误符合预期
uuids.add(1)

IDEA显示result的类型为Set<{Comparable<*> & Serializable}>，而intersect的方法签名为：

public infix fun <T> Iterable<T>.intersect(other: Iterable<T>): Set<T> {

核心疑问：为什么跨类型的intersect调用能通过编译，而add却报错？这类编译通过但逻辑无效的问题，到底忽略了什么关键点？

关键原因拆解 #

• 泛型类型的自动推导逻辑：Kotlin编译器会为泛型方法自动推导最适合的类型参数。Int和UUID的公共超类型是Comparable<*> & Serializable（两者都实现了这两个接口），因此intersect的泛型T被推导为这个公共类型，满足Iterable<T>的参数要求，所以编译通过。
• 不同方法的泛型约束差异：MutableList.add的泛型参数是列表自身的元素类型UUID，Int不属于UUID的子类型，直接触发类型不匹配错误。而intersect作为扩展函数，泛型T可以是两个集合元素的公共超类型，允许这种跨类型调用。
• 运行时equals逻辑的隐性失效：虽然编译通过，但Int和UUID的equals方法不会认为对方是相等的对象（UUID.equals只接受同类型参数，Int.equals仅匹配数值类型），因此这个交集结果必然是空集合。但编译器只做类型层面的校验，不会检查运行时的对象比较逻辑。

规避方案 #

• 显式指定泛型参数：调用intersect时明确声明泛型类型，比如uuids.intersect<UUID>(ints)，此时编译器会直接报错，阻断无意义的跨类型调用。
• 前置类型校验：如果需要处理跨类型集合，先通过filterIsInstance等方法过滤出同类型元素，再进行交集操作。
• 不要依赖空集合判断掩盖问题：空集合可能是业务正常结果，也可能是类型不兼容导致的错误，需明确区分两者场景。

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