scala的泛型类
2020-06-01 13:21
3140
楼主#
更多
泛型类指可以接受类型参数的类。泛型类在集合类中被广泛使用。
定义一个泛型类
泛型类使用方括号 [] 来接受类型参数。一个惯例是使用字母 A 作为参数标识符，当然你可以使用任何参数名称。
图片：1.png
上面的 Stack 类的实现中接受类型参数 A。这表示其内部的列表，var elements: List[A] = Nil，只能够存储类型 A 的元素。方法 def push 只接受类型 A 的实例对象作为参数(注意：elements = x :: elements 将 elements 放到了一个将元素 x 添加到 elements 的头部而生成的新列表中)。
使用
要使用一个泛型类，将一个具体类型放到方括号中来代替 A。
图片：2.png
实例对象 stack 只能接受整型值。然而，如果类型参数有子类型，子类型可以被传入：
图片：3.png
类 Apple 和类 Banana 都继承自类 Fruit，所以我们可以把实例对象 apple 和 banana 压入栈Fruit 中。
注意：泛型类型的子类型是*不可传导*的。这表示如果我们有一个字母类型的栈Stack[Char]，那它不能被用作一个整型的栈 Stack[Int]。否则就是不安全的，因为它将使我们能够在字母型的栈中插入真正的整型值。结论就是，只有当类型 B = A 时， Stack[A]是 Stack 的子类型才成立。因为此处可能会有很大的限制，Scala 提供了一种 类型参数注释机制 用以控制泛型类型的子类型的行为。
本文源自浪勺子 大数据群英萃，转载目的在于传递更多信息，版权归原作者所有。
