类型变量的界定:
类型变量的上界,类型变量的下界。
上界就是类型必须是界定类型的子类,看如下示例:
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)
}
}
亿速云「云服务器」,即开即用、新一代英特尔至强铂金CPU、三副本存储NVMe SSD云盘,价格低至29元/月。点击查看>>
免责声明:本站发布的内容(图片、视频和文字)以原创、转载和分享为主,文章观点不代表本网站立场,如果涉及侵权请联系站长邮箱:is@yisu.com进行举报,并提供相关证据,一经查实,将立刻删除涉嫌侵权内容。