B22 - 047、协变、逆变、非变表达方式及案例

初学耗时：0.5h

注：CSDN手机端暂不支持章节内链跳转，但外链可用，更好体验还请上电脑端。

一、协变、逆变、非变表达方式及案例
  1.1  表达方式。
  1.2  案例。

---

记忆词：

  逆变、协变、非变

---

 B22 - 999、大数据组件学习⑲ - Scala

---

 ギ 舒适区ゾ || ♂ 累觉无爱 ♀

一、协变、逆变、非变表达方式及案例

  1.1 ~ 表达方式。

• C[+T]：如果A是B的子类，那么C[A]是C[B]的子类。
• C[-T]：如果A是B的子类，那么C[B]是C[A]的子类。
• C[T]： 无论A和B是什么关系，C[A]和C[B]没有从属关系。

  1.2 ~ 案例。

package cn.zrk.scala.enhance.covariance

class Super
class Sub extends Super
//协变
class Temp1[+A](title: String)
//逆变
class Temp2[-A](title: String)
//非变
class Temp3[A](title: String)

object Covariance_demo{
  def main(args: Array[String]) {
    //支持协变 Temp1[Sub]还是Temp1[Super]的子类
    val t1: Temp1[Super] = new Temp1[Sub]("hello scala!!!")
    //支持逆变 Temp1[Super]是Temp1[Sub]的子类
    val t2: Temp2[Sub] = new Temp2[Super]("hello scala!!!")
    //支持非变 Temp3[Super]与Temp3[Sub]没有从属关系，如下代码会报错
    //val t3: Temp3[Sub] = new Temp3[Super]("hello scala!!!")
//val t4: Temp3[Super] = new Temp3[Sub]("hello scala!!!")
    println(t1.toString)
    println(t2.toString)
  }
}

狗咬对头人，雷打三世冤。

- - - - - - - - - - - - - - - - - - - - - - - - - - - -

＾ 至此，协变、逆变、非变表达方式及案例完成。

- - - - - - - - - - - - - - - - - - - - - - - - - - - -

※ 世间诱惑何其多，坚定始终不动摇。

在安装GDB时，将gdb、 exe解压后安装的文件夹是：

…
A、Lib
B、bin
C、share
D、doc
…
B

狗咬对头人，雷打三世冤。

- - - - - - - - - - - - - - - - - - - - - - - - - - - -

注：CSDN手机端暂不支持章节内链跳转，但外链可用，更好体验还请上电脑端。

我知道我的不足，我也知道你的挑剔，但我就是我，不一样的烟火，谢谢你的指指点点，造就了我的点点滴滴：）！

狗咬对头人，雷打三世冤。