关于 Scala 界定、隐式转换的一些知识（一）——泛型

前言

此教程先介绍了泛型，然后介绍界定（因为隐式转换会应用在视图界定和上下文界定上，所以先引出界定，客官先对隐式转换这个美女有个朦胧的认识，先吊起大家性趣，然后...你懂得~）

本文是第一篇，介绍了 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 是如何运用的呢？且听下回分解~

关于 Scala 界定、隐式转换的一些知识（一）——泛型