`

scala中的variance

 
阅读更多
定义:
两个泛型类
class A[type_a]
class B[type_b]
如果 type_a是type_b 的 父类 那么A也是B的父类,那么就称之为 convariance(协变);
如果 type_a是type_b 的 父类 A是B的子类,那么就称之为 contravariance(逆变);

如果一个类型支持协变或逆变,则称这个类型为variance(翻译为可变的或变型),否则称为invariant(不可变的)。
在Java里,泛型类型都是invariant,比如 List<String> 并不是 List<Object> 的子类型。不过Java支持使用点变型(use-site variance),所谓“使用点“,也就是在声明变量时:
List<? extends Object> list = new ArrayList<String>();
//scala中的写法
scala> val a : List[_ <: Any] = List[String]("A")


有一点要注意:父类是variance,如果子类继承父类,需要声明为协变,不然默认不是协变类型。
例如
class A[+type_a] 是convariance

声明 class B extends class A 
那么 class B 默认是 不可变的(invariance)
class A[T+]
class B[T] extends A[T]
class C
class D extends C
//这种写法是错误的因为B[C] 不是B[D]的父类
val b:B[C] = new B[D]

class A[+T]
class B[+T] extends A[+T]
class C
class D extends C
//这种写法是正确的
val b:B[C] = new B[D]


里氏替换原则中说,任何基类可以出现的地方,子类一定可以出现。
class A[+T]{
def fun(x:A){.....}
}

我们来分析下上面的代码
例如
class A(String){def fun(x:String)}
class A(Object){def fun(x:Object)}

可以看到 A(Object) 是 A(String) 的父类 那么问题来了,里氏替换原则说fun方法中子类能替换父类,但是如果Object是一个具体的对象,并不是String类型,则就会报错。因为父类做的事情,子类不能完全胜任,只能部分满足,是无法代替父类型的。

怎么解决呢
class A[-T]{
def fun(x:T){.....}
}

如此定义之后 A(Object) 是 A(String) 的子类,这样String 就可以用 object替换了。

同理我们再定义一个类
class A[+T]{
def fun:T{.....}
}


我们来分析下上面的代码
例如
class A(String){def fun:String=...}
class A(Object){def fun:Object=...}

可以看到 A(Object) 是 A(String) 的父类,里氏替换原则说fun方法中子类能替换父类.子类方法得到的结果比父类更“具象”一些,也就是说子类方法的处理能力更强一些。
综上所述
方法中的参数类型声明时必须符合逆变(或不变),以让子类方法可以接收更大的范围的参数(处理能力增强);而不能声明为协变,子类方法可接收的范围是父类中参数类型的子集(处理能力减弱)。
方法返回值的位置称为协变点(covariant position)。同理,A类型声明协变(或不变),编译时符合要求;

0
2
分享到:
评论

相关推荐

    glicko2-scala:Scala中实现的Glicko2排名系统

    在Scala中实现Glicko2排名系统,开发者可以利用这门多范式编程语言的特性,如函数式编程、面向对象编程和强大的类型系统,来构建高效且可维护的代码。以下是对Glicko2系统的关键概念和Scala实现的详细解释: 1. **...

    Scala By Example(2009_5)

    Scala中的代码主要由表达式构成,它们可以计算出一个值。简单函数是定义函数的基本方式,可以接受参数并返回结果。参数传递时,Scala支持传值和传名两种方式。条件表达式(如`if-else`)允许根据条件执行不同的代码...

    Scala By Example 2014.11

    在 Scala 中,表达式和简单函数是编程的基础。表达式可以产生值,而不仅仅是执行操作。例如,4 + 3 是一个表达式,它的结果是7。函数定义可以用`def`关键字,参数用圆括号括起来,如`def add(x: Int, y: Int): Int =...

    scalabyexample

    以上只是《Scala By Example》中部分知识点的概述,全书深入浅出地讲解了Scala语言的各个方面,对于想要学习或深化理解Scala的读者来说,是一份极好的资源。随着技术的发展,掌握Scala这样的多范式语言,将有助于...

    《Spark编程基础及项目实践》试卷及答案2套.pdf

    2. **Scala List定义**:Scala中,List可以通过::运算符构建,如选项A、B和D所示。C选项的错误在于使用了List()而不是::运算符,并且将字符串直接放入了列表。 3. **图的创建方法**:Spark GraphX库提供了创建图的...

    《Spark编程基础及项目实践》课后习题及答案1.pdf

    选项D的Variance(变化)并不是大数据的典型特征,因此是正确答案。 2. **大数据技术**:大数据技术包括数据采集、存储管理、分析挖掘等多个方面。财务报表分析技术虽然与数据处理有关,但并不直接属于大数据技术...

    matlab导入excel代码-utl_proc_expand_in_wps_base_wps_r_sas_ets:计算从顶层公寓到街道的三层

    matlab导入excel代码utl_...Scala Perl CC#Excel MS Access JSON图形映射NLP自然语言处理机器学习igraph DOSUBL DOW循环stackoverflow SAS社区。 SAS / ETS Proc在基本WPS,WPS Proc R和SAS / ETS中进行扩展 github ...

    SparkMLlib-DecisionTree源码分析

    源代码的实现细节在`org.apache.spark.mllib.tree.DecisionTree.scala`文件中,`trainRegressor`方法是整个训练过程的入口。它会进行特征选择、节点分裂、树构建等一系列操作。特征选择通常是基于信息增益或增益比等...

Global site tag (gtag.js) - Google Analytics