JAVA泛型（泛型方法和泛型类）

JAVA泛型
泛型提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。
泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数
你定义了一个泛型（类、接口），那么Java规定，你不能在所有的静态方法、静态初块等所有静态内容中使用泛型的类型参数！

泛型方法
该方法在调用时可以接收不同类型的参数。根据传递给泛型方法的参数类型，编译器适当地处理每一个方法调用
泛型方法有一个类型参数声明部分（由尖括号分隔）表示参数的类型， 该类型参数声明部分放在在方法返回类型之前
格式：
访问修饰符 <类型参数列表> 返回类型 方法名(形参列表) {
}
例如: public void set(T t) { }

避免歧义
泛型方法 void test(T t1, T t2);
调用泛型方法test(“1”,1);编译不出错，存在歧义，T是String还是Integer类型存在歧义

void test(List l1, List l2);test(new List(), new List()); 编译报错

每一个类型参数声明部分包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。
类型参数能被用来声明返回值类型，并且能作为泛型方法得到的实际参数类型的占位符。
泛型方法体的声明和其他方法一样。注意类型参数只能代表引用型类型，不能是原始类型（像int,double,char的等）

有界的类型参数:

可能有时候，你会想限制那些被允许传递到一个类型参数的类型种类范围。例如，一个操作数字的方法可能只希望接受Number或者Number子类的实例。这就是有界类型参数的目的。

要声明一个有界的类型参数，首先列出类型参数的名称，后跟extends关键字，最后紧跟它的上界。
*
*
泛型类**
在类名后面添加了类型参数声明部分
格式
public class A {
}

类型通配符
1、类型通配符一般是使用?代替具体的类型参数。例如 List<?> 在逻辑上是List,List 等所有List<具体类型实参>的父类。
泛型都可以解决通配符的问题
void func(List<? extends A> list); list不可修改
void func(List list); list可修改
?泛型对象是只读的，不可修改，因为?类型是不确定的，可以代表范围内任意类型；
ii. 而泛型方法中的泛型参数对象是可修改的，因为类型参数T是确定的（在调用方法时确定），因为T可以用范围内任意类型指定；

！！注意，前者是代表，后者是指定，指定就是确定的意思，而代表却不知道代表谁，可以代表范围内所有类型；

泛型和Object的区别

public Object func(Object obj) {
}
返回类型可以和obj类型不同，类型只能是Object类型，若要返回指定类型，必须强转

public <T> T func(T t) {
}
返回类型可以必须和obj类型相同，返回类型指定，无需强转

下面例子

public class ClassA<T> {
	public <T> T func(T t) {
	}
}

ClassA classA = new ClassA();
Foo foo = new foo();
Foo newFoo = classA.func(foo);

如果是Object,必须强转

Foo newFoo = (Foo) classA.func(foo);

总结：
泛型有如下优点：
1、无须类型强转，提高效率，避免了强转出错。
2、通配符"?"的使用提高了程序的阅读性。
3、限制通配符(<? extends T>、<? super T>)提高了程序的健壮性。
所以，可以使用泛型就尽量使用泛型吧！