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 :: elementselements 放到了一个将元素 x 添加到 elements 的头部而生成的新列表中)。

使用

要使用一个泛型类,将一个具体类型放到方括号中来代替 A

val stack = new Stack[Int]stack.push(1)stack.push(2)println(stack.pop) println(stack.pop)

实例对象 stack 只能接受整型值。然而,如果类型参数有子类型,子类型可以被传入:

class Fruitclass Apple extends Fruitclass Banana extends Fruit
val stack = new Stack[Fruit]val apple = new Appleval banana = new Banana
stack.push(apple)stack.push(banana)

Apple 和类 Banana 都继承自类 Fruit,所以我们可以把实例对象 applebanana 压入栈 Fruit 中。

注意:泛型类型的子类型是*不可传导*的。这表示如果我们有一个字母类型的栈 Stack[Char],那它不能被用作一个整型的栈 Stack[Int]。否则就是不安全的,因为它将使我们能够在字母型的栈中插入真正的整型值。结论就是,只有当类型 B = A 时, Stack[A]Stack[B] 的子类型才成立。因为此处可能会有很大的限制,Scala 提供了一种 类型参数注释机制 用以控制泛型类型的子类型的行为。

推荐阅读:




以上是关于17.scala的泛型类的主要内容,如果未能解决你的问题,请参考以下文章

受保护的泛型类 - 是不是支持?

卡在 clojure 中的泛型类类型提示

无法将X类型转换为T.泛型类中的泛型委托

只能采用某些类型的泛型类

将泛型值推送到 Typescript 中泛型类中的泛型列表

在 Typescript 的泛型类中初始化泛型类型