17.scala的泛型类
Posted 大数据群英萃
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了17.scala的泛型类相关的知识,希望对你有一定的参考价值。
泛型类指可以接受类型参数的类。泛型类在集合类中被广泛使用。
定义一个泛型类
泛型类使用方括号 []
来接受类型参数。一个惯例是使用字母 A
作为参数标识符,当然你可以使用任何参数名称。
class Stack[A] {
private var elements: List[A] = Nil
def push(x: A) { elements = x :: elements }
def peek: A = elements.head
def pop(): A = {
val currentTop = peek
elements = elements.tail
currentTop
}
}
上面的 Stack
类的实现中接受类型参数 A
。这表示其内部的列表,var elements: List[A] = Nil
,只能够存储类型 A
的元素。方法 def push
只接受类型 A
的实例对象作为参数(注意:elements = x :: elements
将 elements
放到了一个将元素 x
添加到 elements
的头部而生成的新列表中)。
使用
要使用一个泛型类,将一个具体类型放到方括号中来代替 A
。
val stack = new Stack[Int]
stack.push(1)
stack.push(2)
println(stack.pop)
println(stack.pop)
实例对象 stack
只能接受整型值。然而,如果类型参数有子类型,子类型可以被传入:
class Fruit
class Apple extends Fruit
class Banana extends Fruit
val stack = new Stack[Fruit]
val apple = new Apple
val banana = new Banana
stack.push(apple)
stack.push(banana)
类 Apple
和类 Banana
都继承自类 Fruit
,所以我们可以把实例对象 apple
和 banana
压入栈 Fruit
中。
注意:泛型类型的子类型是*不可传导*的。这表示如果我们有一个字母类型的栈 Stack[Char]
,那它不能被用作一个整型的栈 Stack[Int]
。否则就是不安全的,因为它将使我们能够在字母型的栈中插入真正的整型值。结论就是,只有当类型 B = A
时, Stack[A]
是 Stack[B]
的子类型才成立。因为此处可能会有很大的限制,Scala 提供了一种 类型参数注释机制 用以控制泛型类型的子类型的行为。
推荐阅读:
以上是关于17.scala的泛型类的主要内容,如果未能解决你的问题,请参考以下文章