为何参数化类型赋值会隐式协变？Scala/Java代码问题咨询

核心原因：类型推断的上下文引导，而非真协变 #

你遇到的现象不是因为Box变成了协变类型，而是Scala编译器根据赋值/方法调用的目标类型，自动调整了Box实例的类型参数，并对传入的对象做了向上转型。

第一个案例解析 #

看这段代码：

class Pet
class Fish extends Pet
class Guppy extends Fish
case class Box[T](value: T)
val guppyBox: Box[Fish] = Box(new Guppy())

编译器看到赋值目标是Box[Fish]，会自动将右边的Box实例的类型参数推断为Fish，相当于你手动写了：

val guppyBox: Box[Fish] = Box[Fish](new Guppy()) // 显式指定类型参数

这里new Guppy()被向上转型为Fish（因为Guppy是Fish的子类），完全符合Box[Fish]的构造器参数要求，所以能编译通过——这和协变无关，只是普通的向上转型+类型参数显式指定（编译器帮你完成了）。

第二个案例的差异解析 #

再看这两段代码的区别：

def unboxFish(fish: Box[Fish]) = ???

unboxFish(Box(new Guppy()))       // 能编译
val guppyBox2 = Box(new Guppy())
unboxFish(guppyBox2)              // 编译错误

1. 能编译的调用：unboxFish要求参数是Box[Fish]，编译器会直接把Box(new Guppy())的类型参数推断为Fish，生成Box[Fish]实例传入，和第一个案例的逻辑一致。
2. 编译错误的调用：val guppyBox2 = Box(new Guppy())没有指定目标类型，编译器会推断最具体的类型——Box[Guppy]。而Box默认是不变类型（未用+T声明协变），Box[Guppy]和Box[Fish]之间没有子类型关系，自然无法传给要求Box[Fish]的方法。

关键结论 #

• Scala默认的参数化类型是不变的，只有声明case class Box[+T](value: T)时，Box才是协变类型，此时Box[Guppy]才是Box[Fish]的子类。
• 你看到的"协变"效果，本质是编译器根据上下文自动指定了更宽泛的类型参数，并对实例做了向上转型，并非真的启用了协变特性。

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