第43讲：Scala中类型变量Bounds代码实战及其在Spark中的应用源码解析

类型变量的界定：

类型变量的上界，类型变量的下界。

上界就是类型必须是界定类型的子类，看如下示例：

package com.dt.scala.type_parameterization

// 我们需要定义一个泛型类Pair，泛型类中有一个bigger方法，用来比较传入的参数
// 此时泛型类型必须是Comparable的子类，我们可以使用 <: 符号来限定传入的类型

class Pair[T <: Comparable[T]](first: T,second:T){
  def bigger ={
    if (first.compareTo(second)>=0) first else second 
  }
}

object Type_variables_Bounds {
  def main(args: Array[String]): Unit = {
    val pair = new Pair("Spark","Hadoop")
    println(pair.bigger)
  }
}

下届：类型必须是界定类型的父类

// 我们使用 >: 符号来做下届限定
class Pair_Lower_Bounds[T](first: T,second:T){
  def replace[R >: T](newFirst: R) = { //R必须是T的父类
      new Pair_Lower_Bounds(newFirst,second)
  }
}