Scala 逆变和协变

我正在研究 scala 的类型系统，发现了一个奇怪的情况。我有充分的理由相信，我不懂协变和协变。

这是我的问题案例：

我有两个类，Point 和 ColorPoint，它是 Point 的子类。

class Point(val x : Int, val y : Int)
class ColorPoint(x : Int, y : Int, val red : Int, val green : Int, val blue : Int) extends Point(x,y) 

该类将 B 转换为 A，而 B 应该是 A 的超类型：

class CoVariance[+A]{
 def cast[B >: A](x : B) : A = {
  return x.asInstanceOf[A] 
 }
}

该类将 B 转换为 A，而 B 应该是 A 的超类型：

class ContraVariance[-A]{
 def cast[B, A <: B](x : B) : A = {
    return x.asInstanceOf[A]
 }
}

Case 1:

val co = new CoVariance[Point]
val color_point = new ColorPoint(1,2,3,4,5)
val point_co = co.cast(color_point) 
println(point_co.x)

如果我写出来：

// Covariance[Point] -> 
// cast[B :> Point](x : B) : Point -> (fill in ColorPoint)
// Cast[ColorPoint :> Point] : Point 

我认为这是不正确的，因为 ColorPoint 不是 Point 的超类型，但 scala 不会抱怨。

下一个：

val contra = new ContraVariance[Point]
val color_point_contra = new ColorPoint(1,2,3,4,5)
val point_contra = contra.cast(color_point_contra) 
println(point_contra.x)

如果我写出来：

// ContraVariance[Point] -> 
// cast[B, Point <: B](x : B) : Point -> (fill in ColorPoint)
// cast[ColorPoint, Point <: ColorPoint] : Point 

我也希望这是不正确的，但 scala 不会抱怨。我想说 Point 不是 ColorPoint 的子类型。

我的推理正确还是我遗漏了什么？

我认为您误解了协变和逆变位置是什么。这并不意味着您能够cast某些类型之间，它只是建立参数化类型之间的继承关系。

您只能将类型参数标记为协变或逆变位置。当你说Container[+A]，你是说你可以处理所有的实例Container[A]作为子类型Container[B] if A是一个子类型B。这对于不可变容器类是有意义的：您可以想到一个List[Person]成为...的父母List[Employee]。请注意，这并没有提及转换规则——这些规则保持不变。

逆变类似，但相反。如果你有Writer[-A]， 它说Writer[A]是一个子类型Writer[B] if B是一个子类型A。您也可以看到这也具有直观意义：如果您有一个Writer[Person]作为可以将一个人写入某个目的地的东西，你有Writer[Employee]作为一个只能写员工的作家，这是有道理的Writer[Employee]成为...的父母Writer[Person]自从写了一个Person是编写完整的子任务Employee，尽管类型本身是相反的。