Scala 入门-泛型，上界，下界

本文主要是介绍Scala 入门-泛型，上界，下界，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

专栏原创出处：github-源笔记文件 ，github-源码 ，欢迎 Star，转载请附上原文出处链接和本声明。

Scala 编程语言专栏系列笔记，系统性学习可访问个人复盘笔记-技术博客 Scala 编程语言

什么是泛型类

泛型类指可以接受类型参数的类，在 类名 后 + [类型参数 ],例如：class Stack[A]。
泛型类在集合类中被广泛使用，例如 Scala 集合的 List、Map、Seq 等等。

如何定义泛型类

泛型类使用方括号 [] 来接受类型参数。
一个惯例是使用字母 A 作为参数标识符，当然你可以使用任何参数名称。

  class Stack[A] {private var elements: List[A] = scala.collection.immutable.Nil // 只可以存放 A 类型的元素def push(x: A) { elements = x :: elements } // 将 A 类型元素添加到 elements 头部，生成新的集合def peek: A = elements.headdef pop(): A = {val currentTop = peekelements = elements.tailcurrentTop}}

如何使用泛型类

要使用一个泛型类，将一个具体类型放到方括号中来代替 A。
如果类型参数有子类型，泛型类中的方法也可以接受类型参数子类型的数据。

  class Stack[A] {private var elements: List[A] = scala.collection.immutable.Nil // 只可以存放 A 类型的元素def push(x: A) { elements = x :: elements } // 将 A 类型元素添加到 elements 头部，生成新的集合def peek: A = elements.headdef pop(): A = {val currentTop = peekelements = elements.tailcurrentTop}}// stack 可以接受 Int 类型数据val stack = new Stack[Int]stack.push(1)stack.push(2)println(stack.pop)  // prints 2println(stack.pop)  // prints 1// stack1 可以接受 Fruit 类型数据，Fruit 子类型数据同样也可以接受class Fruitclass Apple extends Fruitclass Banana extends Fruitval stack1 = new Stack[Fruit]()val apple = new Appleval banana = new Bananastack1.push(apple)stack1.push(banana)

什么是类型上界

类型上界是将类型声明为另一种类型的子类型。

• 声明类型上界：B <: A,表示类型参数 B 或抽象类型 B 是类型 A 的子类型。

abstract class Animal {def name: String
}
abstract class Pet extends Animal {}class Cat extends Pet {override def name: String = "Cat"
}class Dog extends Pet {override def name: String = "Dog"
}class Lion extends Animal {override def name: String = "Lion"
}
// PetContainer 接收的参数 p 必须是 Pet 的子类型 P。
class PetContainer[P <: Pet](p: P) {def pet: P = p
}
// Cat 和 Dog 都是 Pet 的子类型，所以可以作为参数传入 PetContainer 中。
val dogContainer = new PetContainer[Dog](new Dog)
val catContainer = new PetContainer[Cat](new Cat)
// Lion 不是 Pet 的子类型，因此不可以传入 PetContainer
// 假如 PetContainer[P <: Animal] 这样定义，下面的初始化是可以的。
val lionContainer = new PetContainer[Lion](new Lion) // 编译报错

什么是类型下界

类型下界是将类型声明为另一种类型的超类型。

• 声明类型下界：B >: A,表示类型参数 B 或抽象类型 B 是类型 A 的超类型。

// 这个程序不能编译，因为方法 prepend 中的参数 elem 是协变的 B 类型。 
// 这会出错，因为函数的参数类型是逆变的，而返回类型是协变的。
trait Node[+B] {def prepend(elem: B): Node[B]
}case class ListNode[+B](h: B, t: Node[B]) extends Node[B] {def prepend(elem: B): ListNode[B] = ListNode(elem, this)def head: B = hdef tail: Node[B] = t
}case class Nil[+B]() extends Node[B] {def prepend(elem: B): ListNode[B] = ListNode(elem, this)
}// 我们需要将方法 prepend 的参数 elem 的型变翻转。 
// 我们通过引入一个新的类型参数 U 来实现这一点，该参数具有 B 作为类型下界
trait Node[+B] {def prepend[U >: B](elem: U): Node[U]
}case class ListNode[+B](h: B, t: Node[B]) extends Node[B] {def prepend[U >: B](elem: U): ListNode[U] = ListNode(elem, this)def head: B = hdef tail: Node[B] = t
}case class Nil[+B]() extends Node[B] {def prepend[U >: B](elem: U): ListNode[U] = ListNode(elem, this)
}trait Bird
case class AfricanSwallow() extends Bird
case class EuropeanSwallow() extends Birdval africanSwallowList= ListNode[AfricanSwallow](AfricanSwallow(), Nil())
// 可以为 Node[Bird] 赋值 africanSwallowList，然后再加入一个 EuropeanSwallow。
val birdList: Node[Bird] = africanSwallowList
birdList.prepend(EuropeanSwallow())

这篇关于Scala 入门-泛型，上界，下界的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！

---