Java Unit -- Generic

泛型的概念及作用

泛型这个术语本身的意思是：适用于很多很多类型。但是Java中的泛型并没有完美的诠释这个概念。在Java中，泛型是为编译器的类型检查提供服务的

泛型是一种编译期的信息替换技术，在通过类型检查之后，实际运行时并不存在任何泛型信息，这种设计保证了Java的向后兼容，这种现象也叫做擦除

泛型类与泛型方法

类型参数是用尖括号括住的虚拟参数，其本质是一种占位符，在使用时需要用具体的类型进行替换

泛型类：类名+<类型参数>
泛型方法：<类型参数>+返回值

边界

边界用于在泛型的参数类型上设置限制条件，Java泛型重用了extends和super关键字来支持边界

由于擦除现象的存在，任何在运行时需要知道确切类型信息的操作都无法工作（编译错误），但边界的概念可以解决这个问题

泛型替换原理

1. <T>会被替换为Object2. <T extends Clazz & Interface1 & Interface2 ...>会被替换为Clazz，在使用到Interface1等的地方会进行强制类型转换

通配符

通配符：？，表示匹配任何类型

无界通配符：<?>，表示匹配任意一种类型上界通配符：<? extends Clazz>，表示Clazz的子类下界通配符：<? super Clazz>，表示Clazz的父类

无界通配符存在的意义
有无界通配符表示需要匹配一种确切的类型，没有无界通配符表示可以匹配任意的类型，区别在于，无界通配符会有编译器的类型检查

元组(tuple)

元组是泛型的一种应用，它将一组对象打包在一个单一的对象中，从而提供一种新的数据传输方式

元组也可以看作是一种容器类，不同于标准容器的地方在于，元组可以同时存储不同类型的数据

元组语法：class Tuple<K,V>