Scala高阶编程之协变、逆变和不变

1、Scala的协变（+），逆变（-）,协变covariant、逆变contravariant、不可变invariant

2、对于一个带类型参数的类型，比如List[T],如果对A极其子类型B，满足List[B]也符合List[A]的子类型，那么久称为convariance(协变)，如果List[A]是List[B]的子类型，即与原来的父子关系正相反，则称为contravariance（逆变）.如果一个类型支持协变或逆变，则称这个类型为variance(翻译为可变的或变型)，否则称为invariance（不可变的）

3、在java里，泛型类型都是invariant, 比如List<String>并不是List<Object>的子类型。而scala支持，可以在定义类型时声明（用加号表示为协变，减号表示为逆变），如 trait List【+T】 在类型定义时声明为协变这样会把List[String]作为List[Any]的子类型

在这里引入关于这个符号的说明，在声明Scala的泛型类型时，"+"表示协变，而"-"表示逆变

C[+T]：如果A是B的子类，那么C[A]是C[B]的子类，称为协变

C[-T]： 如果A是B的子类，那么C[B]是C[A]的子类，称为逆变

C[T]：  无论A和B是什么关系，C[A]和C[B]没有从属关系，称为不变

示例如下：

 

package sparkgraphx

/**
 * Scala 协变、逆变
 */

object Demo {
  def main(args: Array[String]): Unit = {
    val t1: T1[Animal] = new T1[Dog]("汪汪汪") //ok
    println(t1)
    println()
    val t1Sub: T1[Dog] = new T1[Dog]("汪汪汪") //ok
    println(t1Sub)
    println()
    val t2: T2[Dog] = new T2[Dog]("汪汪汪") //ok
    println(t2)
    println()
    val t2Sub: T2[Dog] = new T2[Animal]("汪汪汪") //ok
    println(t2Sub)
    println()
    val t3: T3[Dog] = new T3[Dog]("汪汪汪") //ok
    println(t3)
    println()
    //error Error:(25, 26) type mismatch;
    // found   : sparkgraphx.T3[sparkgraphx.Animal]
    // required: sparkgraphx.T3[sparkgraphx.Dog]
    //Note: sparkgraphx.Animal >: sparkgraphx.Dog, but class T3 is invariant in type A.
    //You may wish to define A as -A instead. (SLS 4.5)
    //    val t3Sub: T3[Dog] = new T3[Animal]("汪汪汪")
    val t3Sub: T3[Dog] = new T3[Animal]("汪汪汪")
    println(t3Sub)
    println()

  }
}

class Animal

class Dog extends Animal

class T1[+A](sound: String) {
  override def toString: String = {
    sound
  }
}

class T2[-A](sound: String) {
  override def toString: String = {
    sound
  }
}

class T3[A](sound: String) {
  override def toString: String = {
    sound
  }
}