类型变量的界定:
类型变量的上界,类型变量的下界。
上界就是类型必须是界定类型的子类,看如下示例:
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)
}
}