scala协变逆变上界下界---理解篇

原创 2014年04月30日 12:02:28

Scala的协变和逆变上界与下界

1. 引子:

为了弄懂scala中协变和逆变这两个概念,查阅了不少资料,但是还是要自己总结一下,会记得比较深刻。

那就从java和scala的对比说起吧。

java中:

如果你很理解java的泛型,就会知道:比如给定一个类B,和他的父类A。

那么用多态, A a = new B 编译器是允许的。

但是如果泛型B的集合直接赋给父类A的集合。List<A> aList = new ArrayList<B>(); 

举个简单的例子:

Object s = "abc";
List<Object> objects = new ArrayList<String>();
编译不通过,编译器提示:

Type mismatch: cannot convert from ArrayList<String> to List<Object>

scala中:

我们知道sting是AnyRef的子类。直接赋值是可以的。
如果是将string的集合赋值给AnyRef的集合,在scala中也是可以的。

scala> val s:AnyRef = "abc"
s: AnyRef = abc

scala> var objects : List[AnyRef] = List[String]("abc","123")
objects: List[AnyRef] = List(abc, 123)
原因就在于List其实是支持协变的。


2. 协变

[+T], covariant (or “flexible”) in its type parameter T,类似Java中的(? extends T), 即可以用T和T的子类来替换T,里氏替换原则。

可以看到List的定义:

 type List[+A] = scala.collection.immutable.List[A]

协变的符号是[+A],意味着支持泛型A的子类集合向A进行赋值。

在这个例子里是List的是支持协变的。

3.不变

[T], invariant  in its type parameter T

在scala可变集合中,MutableList是一个不变的类型。

定义:

class MutableList[A]
extends AbstractSeq[A]
......
我们还用相似的场景,将一个MutableList的string类型付给MutableList的AnyRef类型,这样的赋值是不允许的。

编译器会提示class MutableList is invariant in type A. 即在类型A中MutableList是不支持协变和逆变的。

scala> import scala.collection.mutable._
import scala.collection.mutable._

scala> val a : MutableList[AnyRef] = MutableList[String]("abc")
<console>:10: error: type mismatch;
 found   : scala.collection.mutable.MutableList[String]
 required: scala.collection.mutable.MutableList[AnyRef]
Note: String <: AnyRef, but class MutableList is invariant in type A.
You may wish to investigate a wildcard type such as `_ <: AnyRef`. (SLS 3.2.10)
       val a : MutableList[AnyRef] = MutableList[String]("abc")
                                                        ^

4. 逆变

[-T], contravariant, 类似(? supers T) 
if T is a subtype of type S, this would imply that Queue[S] is a subtype of Queue[T]

只能用T的父类来替换T。是逆里氏替换原则。

在  scala.actors.OutputChannel 这个trait是一个逆变的类型。

trait OutputChannel[-Msg] {
......

对于OutputChannel[String], 支持的操作就是输出一个string, 同样OutputChannel[AnyRef]也一定可以支持输出一个string, 因为它支持输出任意一个AnyRef(它要求的比OutputChannel[String]少) 。

但反过来就不行, OutputChannel[String]只能输出String, 显然不能替换OutputChannel[AnyRef]


5.上界与下届

Scala的上界和下界比较难理解, 因为和Java里面的界不是一个意思...

Java中, (? extends T), T称为上界, 比较容易理解, 代表T和T的子类, (? supers T), T称为下界


Scala中, 界却用于泛型类中的方法的参数类型上, 如下面的例子, 
对于Queue中的append的类型参数直接写T, 会报错 (error: covariant type T occurs in contravariant position in type T of value x) 
这个地方比较复杂, 简单的说就是Scala内部实现是, 把类中的每个可以放类型的地方都做了分类(+, –, 中立), 具体分类规则不说了 
对于这里最外层类[+T]是协变, 但是到了方法的类型参数时, 该位置发生了翻转, 成为-逆变的位置, 所以你把T给他, 就会报错说你把一个协变类型放到了一个逆变的位置上

所以这里的处理的方法就是, 他要逆变, 就给他个逆变, 使用[U >: T], 其中T为下界, 表示T或T的超类, 这样Scala编译器就不报错了

class Queue[+T] (private val leading: List[T],
                 private val trailing: List[T] ) {
  def append[U >: T](x: U) = new Queue[U](leading, x :: trailing) //使用T的超类U来替换T
}

同样对于上界也是,

trait OutputChannel[-T]
{
    def write [U<:T] (x: U) //使用T的子类U来替换T
}


可以参考:http://www.cnblogs.com/fxjwind/p/3480462.html


总结:

1. 协变

[+T], covariant (or “flexible”) in its type parameter T,类似Java中的(? extends T), 即可以用T和T的子类来替换T,里氏替换原则。

2. 不变

不支持T的子类或者父类,只知支持T本身。

3.逆变

[-T], contravariant, 类似(? supers T) 只能用T的父类来替换T。是逆里氏替换原则。

上界:

只允许T的超类U来替换T。 [U >: T]

下界:

只允许T的子类U来替代T。 [U <: T]


理解概念后,以后读源码的时候才不会不知云。

原创文章,转载请注明出自:http://blog.csdn.net/oopsoom/article/details/24773239

-EOF-

版权声明:

相关文章推荐

Scala中协变(+)、逆变(-)、上界(<:)、下界(>:)简单介绍

对于一个带类型参数的类型,比如 List[T],如果对A及其子类型B,满足 List[B]也符合List[A]的子类型,那么就称为covariance(协变) , 如果 List[A]是 Lis...

Scala List中的上界下界以及逆变、协变

package com.dt.scala.list abstract class Big_Data class Hadoop extends Big_Data class Spark extends...

Scala协变逆变上界下界

这里介绍一下关于scala中的协变逆变的有关知识,因为真的每次碰见都懵逼的感觉很难受。此处我不会对比Java中的相关协变逆变,只针对scala的进行讲解。 首先我说一下协变,所谓协变,白话文就是说让你...

Scala类型参数中协变(+)、逆变(-)、类型上界(<:)和类型下界(>:)的使用

原文地址:http://fineqtbull.iteye.com/blog/477994 有位je上的同学来短信向我问起了Scala类型参数中协变、逆变、类型上界和类型下界的使用方法和原理,自己...

一步步学spark之一scala高级特性中Lower bounds(下界)与Upper bounds(上界),View bounds(视图边界)3.7

一步步学spark之一scala高级特性中Lower bounds(下界)与Upper bounds(上界) Upper bounds(上界):我们使用一个对象或者一个类必须是什么类型的,也就是说必须...

Programming In Scala笔记-第十九章、类型参数,协变逆变,上界下界

本章主要讲Scala中的类型参数化。本章主要分成三个部分,第一部分实现一个函数式队列的数据结构,第二部分实现该结构的内部细节,最后一个部分解释其中的关键知识点。接下来的实例中将该函数式队列命名为Que...

scala进阶26-链式操作的背后

import sun.awt.AWTIcon32_java_icon24_png object Scala class Java1 /** * 当子类创建对象是,调用method1,this即...

scala中的上界、下界、协变和逆变

class Pet(val name:String){ override def toString()=name } class Dog(override val name:String) exten...

Scala进阶27-List中的上界、下界、逆变、协变

abstract class Big_Data class Hadoop extends Big_Data class Spark extends Big_Data /** * ::是中值表达式...

Indigo m2e

由于需要调试spark,需要scala ide在eclipse中。 但是最新版本的scala ide 调试spark0.81(用的是scala2.9.3),在eclipse导入会报错,因为最新版本的...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)