Java中泛型总结

Java 泛型（generics）是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。
泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。

泛型类
范例：泛型类的基本语法

class MyClass<T> {
	T value1;
}

尖括号 <> 中的 T 被称作是类型参数，用于指代任何类型。实际上这个T你可以任意写，但出于规范的目的，Java还是建议我们用单个大写字母来代表类型参数。常见的如：
T 代表一般的任何类。
E 代表 Element 的意思，或者 Exception 异常的意思。
K 代表 Key 的意思
V 代表 Value 的意思，通常与 K 一起配合使用。
S 代表 Subtype 的意思，文章后面部分会讲解示意。
范例：泛型类引入多个类型参数以及使用

class MyClass<T,E> {
	T value1;
	E value2;
}
public class Test {
	public static void main(String[] args) {
		MyClass<String,Integer> myClass1 = new MyClass<String,Integer>();
	}
}

当开发的程序可以避免向下转型，也就意味着安全隐患被消除了。尽量不要去使用向下转型。
泛型的出现彻底改变了向下转型的需求。引入泛型后，如果明确设置了类型，则为设置类型；如果没有设置类型，
则默认为Object类型。

泛型方法
泛型不仅可以用于定义类，还可以单独来定义方法。如下所示:
范例：泛型方法定义

class MyClass{
	public <T> void testMethod(T t) {
		System.out.println(t);
	}
}

泛型方法与泛型类稍有不同的地方是，类型参数也就是尖括号那一部分是写在返回值前面的。 中的 T 被称为类型参数，而方法中的 T 被称为参数化类型，它不是运行时真正的参数。
当然，声明的类型参数，其实也是可以当作返回值的类型的。
范例：使用类型参数做返回值的泛型方法

class MyClass{
	public <T> T testMethod(T t) {
		return t;
	}
}

在程序类中追加了泛型的定义后，避免了ClassCastException 的问题，但是又会产生新的情况：参数的统一问
题。
范例：观察程序

public class TestDemo {
	public static void main(String[] args) {
		Message<Integer> message = new Message() ;
		message.setMessage(99);
		fun(message); // 出现错误，只能接收String
	}
	public static void fun(Message<String> temp){
		System.out.println(temp.getMessage());
	}
}

范例：使用通配符

public class TestDemo {
	public static void main(String[] args) {
		Message<Integer> message = new Message() ;
		message.setMessage(55);
		fun(message);
	}
	// 此时使用通配符"?"描述的是它可以接收任意类型，但是由于不确定类型，所以无法修改
	public static void fun(Message<?> temp){
		//temp.setMessage(100); 无法修改！
		System.out.println(temp.getMessage());
	}
}

泛型接口
泛型除了可以定义在类中，也可以定义在接口里面，这种情况我们称之为泛型接口。
范例：定义一个泛型接口

interface IMessage<T> {
	// 在接口上定义了泛型
	public void print(T t) ;
}

范例：在子类定义时继续使用泛型

interface IMessage<T> {
	 // 在接口上定义了泛型
	public void print(T t) ;
}
class MessageImpl<T> implements IMessage<T> {
	@Override
	public void print(T t) {
		System.out.println(t);
	}
}
public class TestDemo {
	public static void main(String[] args) {
		IMessage<String> msg = new MessageImpl() ;
		msg.print("Hello World");
	}
}

以后我们编写的程序一定会使用泛型接口，要求大家一定要掌握。

类型擦除
泛型是 Java 1.5 版本才引进的概念，在这之前是没有泛型的概念的，但显然，泛型代码能够很好地和之前版本的代
码很好地兼容。
这是因为，泛型信息只存在于代码编译阶段，在进入 JVM 之前，与泛型相关的信息会被擦除掉，专业术语叫做类
型擦除。
通俗地讲，泛型类和普通类在 java 虚拟机内是没有什么特别的地方。