本节主要内容
- 协变
- 逆变
- 类型通匹符
1. 协变
协变定义形式如：trait List[+T] {} 。当类型S是类型A的子类型时，则List[S]也可以认为是List[A}的子类型，即List[S]可以泛化为List[A]。也就是被参数化类型的泛化方向与参数类型的方向是一致的，所以称为协变（covariance）。协变定
阅读背景：
第二十一节 类型参数（三）-协变与逆变
来源：互联网
分享到：
