Scala学习笔记--上界(<:)、视图界定(<%)、上下文界定(T:M)

上界 下界 视界

 

object Test{
  def main(args:Array[String]):Unit={
    def mulBy(factor:Double)=(x:Double)=>factor*x
    val triple =mulBy(3);
    println(triple(10))
    println(mulBy(3)(5))
    
    val p1 = new Pair("dd","ee");
    println(p1.smaller)
    
    //val p2 = new Pair(1,2); //不可以这么用    
    val p2 = new Pair2(1,2); //使用视图界定，可以
    println(p2.smaller)
    
    val p3 = new Pair3(1,2);
    println(p3.smaller)
  }
}

//-----------------上界----------------
class Pair[T<:Comparable[T]] (val first:T,val second :T){
  def smaller = if(first.compareTo(second)<0) first else second
} 


//---------------视图界定---------------
/*
 * 如果试着new一个Pair(4,2)，编译器会提示Int不是Comparable[Int]的子类型。
 * 和java.long.Integer包装类型不同，Scala的Int类型没有实现Comparable。
 * 不过，RichInt实现了Comparable[Int],同时还有一个从Int到RichInt的隐式转换
 */
//视图界定
class Pair2[T<% Comparable[T]](val first:T,val second:T){
  def smaller = if(first.compareTo(second)<0) first else second
}
/*
 * 用Ordered特质会更好，它在Comparable的基础上额外提供了关系操作符
 * */
class Pair22[T<% Ordered[T]](val first:T,val second:T){
  def smaller = if(first<second) first else second
}
/*上界没有这样做因为java.lang.String实现了Comparable[String]，
 * 但没有实现Ordered[String]。有了视图界定，这就不是问题。
 * 字符串可以被隐式转换成RichString，而RichString是Ordered[String]的子类型
 * */

//--------------------上下文界定----------------------
/*
 * 视图界定T<%V 要求必须存在一个从T到V的隐式转换。
 * 上下文界定的形式为T:M, 其中M是另一个泛型类，它要求必须存在一个类型为M[T]的“隐形值”
 * 例如 class Pair[T: Ordering]
 * 上述定义要求必须存在一个类型为Ordering[T]的隐式值。 该隐式值可以被用在该类的方法中
 * 当你声明一个使用隐式值的方法时，需要添加一个"隐式参数" * 
 */
class Pair3[T:Ordering](val first:T,val second : T){
  def smaller(implicit ord: Ordering[T])=
    if(ord.compare(first,second)<0) first else second
}