Scala的那些奇怪的符号 [+T]和[-T]

Posted 2021-04-25 河北凝讯科技订阅号

看到这个例子就得说说逆变和协变。众所周知，一般面向对象的语言中都有“继承”的概念：A继承于B，那么B就是A的父类，A就是B的子类，B的引用可以直接指向A的实例，而A的引用指向B的实例需要强制类型转化……不拉不拉可以延伸一堆内容。但是，一般的语言，Java也好C#也好……A类型的集合和B类型的集合两个集合是没有关系的；可是，Scala中却可以有关系：

[+T]

A是B的子类，如果想让Container[A]是Container[B]的子类，那么只需在定义Container的时候加上“[+T]”就好了；但是注意，如果只加了“[+T]”，只可以实例化从父类到子类的引用（当然咯，面向对象本来也是这个样子），下面看一个例子：

还是上篇的那三个类：Earth、Animal、Bird

除此之外，我们还定义一个Container类：“Space”

} 这个类的函数的意思就是，定义一个“Space”类，这个类带一个类型参数；然后这个类的主构造函数打印一句话：“hello space”

现在我们开始调用：

输出：

hello space
hello space

完美！首先定义一个Space的实例，传的参数是Animal类型的，也就是说，现在这个实例的类型是：Space[Animal]；而Animal是Bird的父类，Space上又加上了“[+T]”，所以，函数可以准确无误的运行“a = new Space(new Bird)”。但是如果运行：

输出：

type mismatch

因为Earth是Animal的父类，子类无法调用父类的引用，正确！

[-T]

但是有些人喜欢逆着面向对象的方向，想让子类也可以指向父类的引用，在正常情况下，通过强制类型转换，是可以实现的，但是在有集合类的情况下如何实现呢？这就是“协变” [-T]了，只需在定义集合类的时候在集合类上加上“[-T]”即可。

然后我们开始调用

输出：

hello space
hello space

完美！但是这个时候我们如果用正常的思维：父类指向子类的引用会怎样呢？

输出：

type mismatch

可见，协变和逆变，只要定义了其中的任意一条，就得按照协变或逆变的规则来进行，普通面向对象中的规则已经失效了。对于协变和逆变的定义，可以这么来记：对于面向对象世界的规则，顺着为协变，即为“正”！记为“[+T]”！逆着为逆变，即为“负”，即为“[-]T”

*   版权声明：转载文章和图片均来自公开网络，版权归作者本人所有，推送文章除非无法确认，我们都会注明作者和来源。如果出处有误或侵犯到原作者权益，请与我们联系删除或授权事宜