前言
此教程先介绍了 泛型,然后介绍 界定(因为 隐式转换会应用在 视图界定 和 上下文界定上,所以先引出界定,客官先对隐式转换 这个美女有个朦胧的认识,先吊起大家性趣,然后...你懂得~)
本文是第一篇,介绍了 scala 的泛型,因为 界定、隐式 是以泛型做基础的,所以先打好基础,地基打好的朋友可以移步后面…也赏下脸看一下,又看不怀孕!话不多说,下面开始介绍
正文
泛型用于指定方法或类可以接受任意类型参数,参数在实际使用时才被确定,泛型可以有效地增强程序的适用性,使用泛型可以使得类或方法具有更强的通用性。泛型的典型应用场景是集合及集合中的方法参数,可以说同java一样,scala中泛型无处不在。
Scala 泛型与Java泛型基本相同,只是Java泛型语法格式为 <>,scala为 [],Java泛型语法为List<T>,在Scala中为List[T]。
1. 泛型类
Scala泛型示例如下:
package cn.scala.chapter10
//Person[T] 中的 [T] 为指定的泛型T
class Person[T](var name:T)
class Student[T](name:T) extends Person(name)
object GenericDemo {
def main(args:Array[String]): Unit = {
//在使用时将泛型参数具体化,这里为String类型
println(new Student[String]("张大博").name)
}
}
上面的例子是单个泛型参数的使用,泛型参数当然也可以有多个,代码如下:
class Person[T](var name: T)
//多个泛型参数
class Student[T, S](name: T, var age: S) extends Person(name)
object GenericDemo {
def main(args:Array[String]): Unit = {
//使用时指定 T 为 String类型、S 为 Int类型
println(newStudent[String,Int]("张大博",26).name)
}
}
2. 泛型接口与泛型方法
除泛型类外,Scala同Java一样,也可以有泛型接口和泛型方法,Java的泛型接口、泛型方法示例:
//泛型接口
public interface Map<K,V> {
//泛型方法
V put(K key, V value);
}
下列代码给出的是scala.collection.Map 接口的定义:
//泛型接口
//Scala 通过 trait 替代 Java interface 来实现泛型接口
//想更多的了解 trait?可以的!菜品已经准备好,趁热吃:https://www.jianshu.com/p/63ea0db585ce,满意请给好评~
trait Map[A, B] ... {
//泛型方法
override def empty: Map[A, B] = Map.empty
}
3. 类型通配符
泛型用于指定方法或类可以接受任意类型参数,上面提到的 List[T],这个 T 即是指 泛型的 类型通配符。
我们先介绍下 Java 的通配符:
List<String> 和 List<Integer> 对象的类型是不一样的,但我们的类都为List,String 和 Integer 都是 Object 类的子类,但 List<String> 和 List<Integer> 与 List<Object> 并不具备父子类的关系,下面的代码可以对此进行验证:
List<Integer>listInteger = new ArrayList<>();
//下面的代码会报错 不兼容的类型
List<Object>listObj = listInteger;
由于其这种关系导致在实际应用时会遇到不少问题,如
public static void main(String[] args) {
List<String>listStr = new ArrayList<>();
List<Integer>listInteger = new ArrayList<>();
//下面两行代码会出错,是因为List<String>、List<Integer>与 List<Object> 不是父子类关系
printAll(listInteger);
printAll(listStr);
}
//泛型为 Object 类型
public static void printAll(List<Object> listObj) {
//具体代码逻辑
}
由于这一限制,在使用时不可能定义若干个printAll 方法,因为如果这样的话便背离了Java语言引入泛型的初衷,解决上述问题的方法是通过类型通配符,具体代码如下:
//引入类型通配符?,List<?>可以视为List<String>、List<Integer>所有类的父类
//可以通过任意其他大写字母来表示通配符,譬如 T、S 等
public static void printAll(List<?> list) {
//具体代码逻辑
}
Java 的通配符有三种:
- 无限定通配符 形式:<?>
- 上边界限定通配符 形式:< ? extends String>
- 下边界限定通配符 形式:< ? super String>
对应 Scala 的通配符则为:
- [T]
- [T <: String]
- [T >: String
第二、三 种表示方法,在Scala 中是有名字的,分别称为上界(Upper Bounds)与下界(Lower Bounds)。
那 上界 和 下界 在 scala 是如何运用的呢?且听下回分解~