类型变量的界定:
类型变量的上界,类型变量的下界。
上界就是类型必须是界定类型的子类,看如下示例:
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) } }
免责声明:本站发布的内容(图片、视频和文字)以原创、转载和分享为主,文章观点不代表本网站立场,如果涉及侵权请联系站长邮箱:is@yisu.com进行举报,并提供相关证据,一经查实,将立刻删除涉嫌侵权内容。