Scala 中的类型推断是双向的，而非隐式协变-java教程-PHP中文网

Scala 中的类型推断是双向的，而非隐式协变

scala 并不默认对泛型类启用协变；看似“协变赋值”实为编译器基于左侧类型标注反向推断右侧泛型参数的结果，本质仍是不变型（invariant）行为。

在你提供的例子中：

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

这段代码并未发生协变转换，也不依赖 Box 的协变声明（事实上 Box 是不变的）。真正起作用的是 Scala 强大的双向类型推断机制：当左侧已明确标注类型 Box[Fish] 时，编译器会将右侧 Box(...) 的类型参数 T 推断为 Fish，等价于：

val guppyBox: Box[Fish] = Box[Fish](new Guppy())

由于 Guppy 是 Fish 的子类型，new Guppy() 可以安全地作为 Box[Fish] 的 value: Fish 参数传入——这属于子类型替换（subtyping）在值层面的应用，与泛型类本身的变型（variance）无关。

⚠️ 关键验证：Box 确实是不变型的。以下代码将编译失败，明确证明它不支持协变赋值：

// 编译错误：type mismatch
val boxGuppy: Box[Guppy] = Box(new Guppy())
val boxFish: Box[Fish] = boxGuppy // ❌ 不允许！Box[Guppy] 不是 Box[Fish] 的子类型

// 同样失败：
implicitly[Box[Guppy] <:< Box[Fish]] // ❌ 编译不通过

再看你的函数调用困惑：

Powtoon

AI创建令人惊叹的动画短片及简报

下载

def unboxFish(fish: Box[Fish]) = ???
unboxFish(Box(new Guppy()))       // ✅ 成功：推断为 Box[Fish](new Guppy())
val guppyBox2 = Box(new Guppy())  // 推断为 Box[Guppy]
unboxFish(guppyBox2)              // ❌ 失败：Box[Guppy] ≠ Box[Fish]

第一行调用之所以成功，是因为编译器根据 unboxFish 的参数类型 Box[Fish]，将 Box(new Guppy()) 推断为 Box[Fish]；而第二行中，guppyBox2 因无左侧标注，被推断为最具体的 Box[Guppy]，无法满足 Box[Fish] 参数要求。

✅ 正确做法（如需复用）：

val guppyBox2: Box[Fish] = Box(new Guppy()) // 显式标注，确保类型一致
unboxFish(guppyBox2) // ✅

或显式指定类型参数：

val guppyBox2 = Box[Fish](new Guppy())

? 总结：

Scala 泛型默认是不变型（invariant），协变需显式声明（class Box[+T]）；
“看似协变”的赋值行为，实为类型推断 + 子类型兼容性共同作用的结果；
依赖推断时，务必注意上下文类型信息是否充分——缺失左侧标注易导致意外的具体类型推断；
调试类型问题时，善用 implicitly[T <: u>