Scala学习整理[第十九章 泛型和约束系统]<Programming In Scala>

第十九章 泛型和约束系统

这章是scala的重点和难点 ,建议多找一点资料和范例理解 ,scala很多库函数都使用了这种语法 ,了解后才能更好的阅读源码 .

package SecondWithProgrammingInScala

import java.util.Comparator

/**
  * scala的泛型和约束[类型系统]
  * 书上的例子比较散 ,所以参考了其他资料来了解scala这个最强大的特性
  */

//1.泛型 (类似Java)
class Reference[T] {
   
  private var contents: T = _

  def set(value: T) {
    contents = value
  }

  def get: T = contents
}

object ReferenceApp {
   
  def main(args: Array[String]) {
    val cell = new Reference[Int]
    cell.set(13)
    println("Reference contains the half of " + (cell.get * 2))

    val cell2 = new Reference[String]
    cell2.set("33")
    println("Reference contains the number " + cell2.get)
  }
}

//2.类型变量界定 : 划定一个类型的范围
//类似java中 List<? extends Object> list = new ArrayList<String>(); ,限制类型
// <:泛型类型限定符，Comparable[T]是类型T的上界，T是Comparable[T]的下界
class Pair[T <: Comparable[T]](val first: T, val second: T) {
   
  //表示T必须是Comparable的子类 ,可以使用compareTo方法进行比较，如果大于0返回first
  def