scala – 如何初始化协变量？
发布时间：2020-12-16 19:08:03 所属栏目：安全 来源：网络整理
导读：类C [T] { ??var v：T = _ } 编译器错误：协变类型T出现在值value_ =的类型T的逆变位置 为什么？我怎么可以解决它？ 解决方法 你不能有一个变形的协变类型. 一个var相当于有一个公共def v _ =(newV：T),所以它使T出现作为一个例外的参数,这是一个逆转的位置.
|
类C [T] {
??var v：T = _ } 编译器错误：协变类型T出现在值value_ =的类型T的逆变位置 为什么？我怎么可以解决它？ 解决方法
你不能有一个变形的协变类型.
一个var相当于有一个公共def v _ =(newV：T),所以它使T出现作为一个例外的参数,这是一个逆转的位置.所以你也必须 >放弃协方差,并声明C [T]而不是C [T] 要使您的问题的“为什么”部分更详细一些,通过使T与T的协变参数,您声明如果B是A的子类型,则您希望C [B]成为C [A]的子类型.这意味着你想允许： val cb: C[B] = new C[B] val ca : C[A] = cb 为了使这一点听起来,编译器限制了T可能在C中出现的位置.为了简化和简单化,v不能作为例程的参数(或作为var的类型)出现.否则,在你初始化了cb和ca之后,你可以这样做 ca.v = new A 这可以被允许,因为ca应该是C [A],所以它的变量v是类型A.然而,由于C在T中是协变的,所以ca可以(并且在示例中)引用C [B]实例.这个任务是否允许,你可以这样做 val vInCb: B = cb.v 相信这会给你一个B.但是,你只是通过ca参考把A放在那里.这种情况必须被禁止,它是通过禁止协变类型参数T作为变量的类型. （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |