如何初始化协变变量？
C 类 [+T] { 变量 v : T = _ }
编译器错误：协变类型 T 出现在值 value_= 的类型 T 的逆变位置，
为什么？我该如何修复它？
class C [+T] {
var v : T = _
}
compiler error: covariant type T occurs in contravariant position in type T of value value_=
why? how can I fix it?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（3）
您不能拥有协变类型的 var。
var 相当于拥有一个 public def v_=(newV: T) ，因此它使 T 作为例程参数出现，这是一个逆变位置。因此，您必须
为了对问题的“为什么”部分更详细一点，通过使 T 是与 +T 的协变参数，您可以声明如果 B 是 A 的子类型，您希望 C[B] 成为 C[A] 的子类型。这意味着您希望允许：
为了使这听起来如此，编译器限制 T 可能出现在 C 中的位置。为了使其简短且和稍作简化，v 不能作为例程的参数出现（或作为 var 的类型）。否则，在如上所述初始化 cb 和 ca 后，您可以这样做，
这是允许的，因为
ca应该是C[A]，因此它的变量v的类型为A。然而，由于 C 在 T 中是协变的，ca可以（并且在示例中）引用C[B]实例。如果允许进行此作业，您就可以确信这会给您带来B。但是，您只需通过
ca引用放置一个 A 即可。这种情况必须被禁止，方法就是禁止协变类型参数 T 作为 var 的类型。You cannot have a var of a covariant type.
A var amounts to having, among other things, a public
def v_=(newV: T), so it makes T appears as a routine argument, which is a contravariant position. So you must eitherTo be a little more verbose on the "why" part of your question, by making T is covariant parameter with +T, you states that you wants C[B] to a a subtype of C[A] if B is a subtype of A. This means you want to allows :
To makes this sounds, the compiler restricts where T may appear in C. To make it short and with minor simplifications, v cannot appear as parameter of a routine (or as the type of a var). Otherwise, after you have initialized cb and ca as described above you coulddo
This would be allowed, as
cais supposed to be aC[A], so its variablevis of typeA. However, as C is covariant in T,camay (and does in the example) reference aC[B]instance. Would this assignment be allowed, you could then doconfident that this gives you a B. However, you just put an A there through the
careference. This situation must be forbidden, and it is, by forbidding covariant type parameter T as the type of a var.您可以将其声明为
private[this]：您尝试此范围不允许的任何用法对于协变体
T都是不安全的。You can declare it as
private[this]:Any usage you try that this scope does not allow would be unsafe with a co-variant
T.您必须将其设为
val。var总是有一个 setter 方法，其中类型出现在逆变位置。You have to make it a
val. Avaralways has a setter method where the type appears in contravariant position.