package com.parllay.scala.type_parameterizitor

/**

* Created by richard on 15-7-28.

*/

//class Pair[T <: Comparable[T]] (val first: T, val second: T){

// def bigger = if(first.compareTo(second) > 0) first else second

//}

class Pair_Int[T <% Comparable[T]] (val first: T, val second: T){

def bigger = if(first.compareTo(second) > 0) first else second

}

class Pair_Better[T <% Ordered[T]](val first: T, val second: T){

def smaller = if(first < second) first else second

}

object View_Bound {

def main(args: Array[String]) {

/**

* 以下代码运行没有任何问题, 因为Pair[String] 是Comparable[T]的子类型, 所以String有compareTo方法

*/

val pair = new Pair_Int("Spark", "Hadoop");

println(pair.bigger)

/**

* 那么如果是下面这样的实例化,运行的时候是有问题的, 因为在Scala语言里 Int类型没有实现Comparable;

* 那么该如何解决这个问题那;

* 在scala里 RichInt实现了Comparable, 如果我们把int转换为RichInt类型就可以这样实例化了.

* 在scala里 <% 就起这个作用, 需要修改Pair里的 <: 为<% 把T类型隐身转换为Comparable[Int]

*

* 另外解决这个问题的方法是使用Ordered特质, 上一节String实现了Comparable但是没有实现Ordered, 但是有了view bound就很容易实现;

*

* String可以被转换为RichString. 而RichString是Ordered[String] 的子类.

*/

val pair_int = new Pair_Int(3 ,45)

println(pair_int.bigger)

val pair_better = new Pair_Better(39 ,5)

println(pair_better.smaller)

}

}