码迷,mamicode.com
首页 > 其他好文 > 详细

Scala的泛型

时间:2019-04-07 00:25:06      阅读:190      评论:0      收藏:0      [点我收藏+]

标签:object   col   就是   str   多态   xtend   dep   extend   span   

 

类比java中的泛型:

 

上界(协变)、下界(逆变)

scala中泛型采用中括号声明

  val array = Array[Int](1,2,3,4)
    array(3)
//声明什么类型就返回什么类型
    //test[String]()

  def test[T](t: T)= { //声明什么类型就返回什么类型

  }

泛型上界

test[User2](new User3)
  def test[T <: User2](t: T) ={  //上界 从树的结构上比它小的,也就是它的子类型

  }

泛型下界

  test[User1](new User2)
  def test[T >: User2](t: T) ={  //下界 从树的结构上比它大的,也就是它的父类型
    println(t)
  }

 

class User1{

}
class User2 extends User1 {

}
class User3 extends User2 {

}

 

 

 

协变(+)(也就是上限上界):这个类型往它的子类中去找,多态的感觉;从类的关系往回推叫逆变(-)(也就是下限下界);它们主要在类声明时使用;

  java中:
        List<Object> lis = new ArrayList<Object>(); //new ArrayList<Object> 这里只能写Object,不能写其他类型
        lis.add(new Dept()); //但可添加其他类型的对象

 

    /*val user: User4[User2] = new User4[User3] //协变,+User2为上限,比它小的子类都可以,父类就不行了*/
    val user: User4[User2] = new User4[User1] //逆变,+User2为下限,比它大的父类都可以,子类就不行了
    //

  new User4[User3]
}
class User1{

}
class User2 extends User1 {

}
class User3 extends User2 {

}
/*class User4[+User2]{

}*/
class User4[-User2]{  //class User4[User2]{} 如果是+ -都不加,就是只能是这个类型

}

 

Scala的泛型

标签:object   col   就是   str   多态   xtend   dep   extend   span   

原文地址:https://www.cnblogs.com/shengyang17/p/10662681.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!