Scala协变与下界结合的编译错误原因解析

先看你给出的报错代码：

class Queue[+T]:
  def enqueue[U >: T](x: U): Queue[U] = null

class IntQueue extends Queue[Int]:
  override def enqueue[Int](x: Int): Queue[Int] =
    println(math.sqrt(x)) // 1) 错误：找到(x : Int) 需要: Double
    super.enqueue(x)      // 2) 错误：找到Queue[Any] 需要: Queue[Int]

错误1：math.sqrt(x)编译失败 #

你在IntQueue重写enqueue方法时，错误地将类型参数命名为Int：override def enqueue[Int](x: Int): Queue[Int]。这里的Int不是Scala内置的scala.Int类型，而是一个自定义的泛型参数占位符——相当于把父类中的U换成了名为Int的变量名。

此时x的类型是这个泛型参数Int，它可以代表任意类型，编译器无法确定它能隐式转换为Double，自然不会执行你预期的Int->Double隐式转换，因此math.sqrt(x)报错。

错误2：super.enqueue(x)返回类型不匹配 #

同样因为子类enqueue的类型参数被你命名为Int，这个参数没有继承父类的下界约束。父类Queue[Int]的enqueue要求U >: Int，但子类的这个泛型参数Int（占位符）没有指定任何约束，编译器会默认它的下界是Any。

当调用super.enqueue(x)时，编译器推断U为Any，返回Queue[Any]，但你声明方法要返回Queue[Int]，二者类型不兼容，所以报错。

正确的重写方式 #

要修复这两个错误，需要正确复用父类的下界约束，不要自定义同名的类型参数：

class Queue[+T]:
  def enqueue[U >: T](x: U): Queue[U] = null

class IntQueue extends Queue[Int]:
  override def enqueue[U >: Int](x: U): Queue[U] =
    // 仅当x是Int类型时调用sqrt，需加类型匹配
    x match
      case intVal: Int => println(math.sqrt(intVal))
      case _ => // 处理Int的超类类型（如AnyVal、Any）
    super.enqueue(x)

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