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 一个泛型类异常(异常不支持泛型)
-
泛型类型不是形参的一部分,无法重载。