泛型2（Java）

1.泛型类的使用–通配符

• 通配符，和类型边界有点像，也是限制泛型参数传入的条件，是在泛型类的使用的时候涉及的，尤其是泛型类作为某个方法的参数的时候涉及的。

1.1基本

• ？用于泛型的使用，即为通配符

public class MyArray<E>{}

//可以传入任意类型的MyArray
public static void printAll(MyArray<?> m){
}

//以下调用都是正确的
printAll(new MyArray<String>());
printAll(new MyArray<Integer>());
printAll(new MyArray<Double>());
printAll(new MyArray<Number>());
printAll(new MyArray<Object>());

1.2 通配符-上界

语法

<? extebds 上界>

示例：

//传入的类型实参是Animal子类的任意类型的MyArray
public static void printAll(MyArray<? extends Animal> m){
}

//以下的调用都是正确的
printAll(new MyArray<Cat>());
printAll(new MyArray<Dog>());
printAll(new MyArray<Animal>());

//以下的调用是编译错误的
printAll(new MyArray<String>());
printAll(new MyArray<Object>());

注意： 需要区分泛型使用中的通配符上界和泛型定义中类型的上界。

1.3通配符–下界

语法

<? super 下界>

**示例： **

//可以传入类型实参Cat父类的任意类型的MyArray
public static void printAll(MyArray<? super Cat> list>{
}

//以下的调用都是正确的
printAll(new MyArrayList<Cat>());
printAll(new MyArrayList<Animal>());
println(new MyArrayList<Object>());
//以下的调用是编译错误的
printAll(new MyArrayList<String>());
printAll(new MyArrayList<Dog>());

2 泛型中的父子类型

public class MyArray<E>{}

//Object是Animal的父类，Animal是Cat Dog的父类
//MyArray<Object>不是MyArray<Animal>的父类型
//MyArray<Animal>也不是MyArray<Cat>的父类型

//需要使用通配符来确定父子关系
MyArray<?>是MyArray<? extends Animal>的父类型
MyArray<? extends Animal>是MyArrayList<Dog>的父类型

示例：

public class Mian{
	public static void main(String [] args){
		func3(new MyArray2<cat>());
	}
	public static void func1(MyArray2<?> a1){
	//啥也不用干
	}
	public static void func2(MyArray<? extends Animal> a2){
	MyArray2<?> a1=a2;
	func1(a2);
	}
	public static void func3(MyArray2<Cat> a3){
	//此处方法的调用，就相当于
	//符合向上转型的要求
	MyArray2<? extends Animal> a2=a3;
	func2(a3);
	}
}

3.泛型方法

3.1语法格式

方法限定符 <类型形参列表> 返回值类型 方法名称（形参列表){}

3.2示例

public class Main{
	public static <E> void swap (E [] arr,int i,int j){
		E t = arr[i];
		arr[i] = arr[j];
		arr[j] = t;
	}
}

//没有显示指定类型，编译期间需要进行类型推导
Integer [] a={...};
swap(a,0,9);
//显式的指定类型，编译期间不需要进行类型推导
String [] b={};
Main.<String>swap(b,0,9);

4.泛型的优缺点

泛型的优点：

• 提高代码的复用性

• 提高开发效率

• 可以实现一些通用类型的容器或算法
  泛型的缺点：

• 泛型类型的参数不支持基本数据类型的

• 无法实例化泛型类型的对象

• 无法使用泛型类型声明静态的属性

• 无法使用instanceof判断带参数类型的泛型类型

• 无法创建泛型数组

• 无法create catch throw 一个泛型类异常（异常不支持泛型)

• 泛型类型不是形参的一部分，无法重载。