Scala协变类为何禁止构造方法用var？如何修复相关编译错误？

错误原因 #

咱们先从Scala的协变规则说起：当你给类型参数加上+T（协变），意味着如果A是B的子类，那么GenericClass[A]也会是GenericClass[B]的子类——这是协变的核心含义，目的是让泛型类型能遵循父类子类的继承关系。

但问题出在var x: T上：var同时提供了读取（getter）和写入（setter）操作。读取操作的返回值是T，这属于协变位置（安全的，因为子类的返回值可以替代父类的）；但写入操作的参数是T，这属于逆变位置——这里就违反了协变的类型安全规则。

举个实际的例子就懂了：
假设Dog是Animal的子类，那么GenericClass[Dog]应该可以当成GenericClass[Animal]来用（因为协变）。但如果允许var x: T，你可以做这样的操作：

val dogCell: GenericClass[Dog] = new GenericClass(new Dog())
val animalCell: GenericClass[Animal] = dogCell // 协变允许这个赋值
animalCell.x = new Cat() // 这里给animalCell的x赋值了Cat，而实际dogCell的x是Dog类型！

这显然会导致类型错误，所以编译器直接在编译阶段就阻止这种不安全的情况，抛出你看到的错误。

修复方案 #

根据你的需求，有几种不同的修复方式：

1. 把var改成val（最推荐，如果不需要修改x的话）

如果x的值不需要被修改，直接用val替代var，这样只有读取操作，T只出现在协变位置，完全符合规则：

class GenericClass[+T](val x: T) {}

2. 移除协变标记+（如果需要可变且不需要协变关系）

如果必须要修改x，但不需要GenericClass[A]和GenericClass[B]之间的协变子类型关系，直接去掉+，让类型参数变成不变：

class GenericClass[T](var x: T) {}

3. 保留协变同时支持修改（进阶方案）

如果既要协变又要支持修改x，可以通过私有setter加公共方法，结合类型下界来实现类型安全：

class GenericClass[+T](private var _x: T) {
  // 用类型下界U >: T，确保赋值的类型是T的父类，不会破坏协变的类型安全
  def x: T = _x
  def setX[U >: T](newX: U): Unit = {
    _x = newX.asInstanceOf[T] // 这里的asInstanceOf是安全的，因为U是T的父类，而实际存储的是T类型的实例
  }
}

不过这个方案需要谨慎使用，确保类型转换的安全性，一般前两种方案更常用。

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