scala 高级十七 scala 泛型的定义和泛型上下文

1.泛型的定义和类型的自动推断

定义一个A接收一个T 类型 如果输入 String类型的参数，或者Int 类型的参数程序会自动推断类型

2.泛型和泛型函数

package smart.iot

//定义一个T类型的泛型
class genericity[T](var number:T){
  
  //定义一个函数接收一个R类型的参数
  def test[R](x:R)=println(x)
}

object genericity
{
   def main(args: Array[String]): Unit = {
     
   val g1=new genericity[String]("james")
   
   var g2=new genericity[Int](27)
   
   //泛型函数
   g1.test[String]("james")
   //省略[] 括号后系统系统推断类型
   g1.test("jam")
   g1.test[Int](100)
   g1.test(100)
     
   }

   
}

result:
james
jam
100
100

 3.泛型的上下文

package smart.iot

class genericClass {
  
}

//泛型的 upper bound 用来约束泛型参数的值必须是给定的上界类型的子类，符号 <:
class Pair[T<:Comparable[T]](first:T,second:T)
{
    def smaller()=if(first.compareTo(second)>0) first else second
}


//泛型的 view bound 也是用来约束泛型边界，但是里面有个的隐士转换，只要T能隐士转换成 Comparable[T]的子类就行 符号 <%
class Paira[T<%Comparable[T]](first:T,second:T)
{
    def smaller()=if(first.compareTo(second)>0) first else second
}

class Pairb[T]()

package smart.iot
{
  class A(var name:String)

  class B(name:String,var age:Int)extends A(name)
}



object genericClass
{
    def main(args: Array[String]): Unit = {
      var p=new Pair("a","b")
      //String 类型实现了 Comparable 接口所有能直接使用
      println(p.smaller())
      
      //int 类型隐士转换成 Richint类型
      var p1=new Paira(3,5)
      println(p1.smaller())
    }
}