Kotlin与Scala协变兼容问题：Result类调用类型不匹配求解

问题本质 #

Kotlin的out关键字会将类声明为协变，但Scala默认不会识别Kotlin类在JVM字节码中标记的协变信息，因此会把Result<ResultType>当作不变类处理。这就导致Result[Int]（JVM实际为装箱后的Result[Integer]）无法赋值给Result[AnyRef]参数。

解决方案 #

方案1：用通配符语法适配协变

直接修改Scala中processResult的参数类型，使用Scala的通配符模拟协变逻辑：

def processResult(result: Result[_ <: AnyRef]) = ...

这样定义后，任何Result[T]只要T是AnyRef的子类（比如KotlinInt装箱后的Integer），都可以直接传入方法，无需显式转换。

如果方法无需限制到AnyRef，可以进一步简化：

def processResult(result: Result[_]) = ...

方案2：显式声明协变类型别名

在Scala中为Kotlin的Result类定义一个带协变标记的类型别名，让Scala识别其协变语义：

// 替换为你的Result类实际所在的包路径
type Result[+T] = com.yourpackage.Result[T]

之后用这个别名定义方法参数，就能像使用Scala原生协变类一样正常编译：

def processResult(result: Result[AnyRef]) = ...
processResult(new Result[Int](4)) // 编译通过

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