class Food { }
class Fruit extends Food { }
class Apple extends Fruit { }
class Banana extends Fruit { }
class Plate{
private T item;
public Plate(T t){item=t;}
public void set(T t){item=t;}
public T get(){return item;}
}
?通配符 T参数类型
上界通配符,表示参数类型是T或者T的子类
不能存只能取,set()方法失效,但get()方法有效并且读取出来得东西只能是T或者T的父类甚至Object
//只能存放Fruit或者Fruit的子类
Plate extends Fruit> plate=new Plate<>(new Fruit());
Plate extends Fruit> plate1=new Plate<>(new Apple());
Plate extends Fruit> plate2=new Plate<>(new Food());//报错,不能存放Fruit的父类
//set方法失效
plate.set(new Fruit());//报错 不兼容的类型: Fruit无法转换为CAP#1(CAP#1从? extends Fruit的捕获扩展Fruit)
plate.set(new Apple());//报错 不兼容的类型: Apple无法转换为CAP#1(CAP#1从? extends Fruit的捕获扩展Fruit)
plate.set(null);
//get只能是Fruit或Fruit的父类
Object object= plate.get();
Food food=plate.get();
Fruit fruit=plate.get();
Apple apple=plate.get();//报错 不兼容的类型
//集合
//同理 存放元素只能是Fruit或Fruit的子类
List extends Fruit> list;
list = new ArrayList(); //报错
list = new ArrayList();
list = new ArrayList();
//get 只能是Fruite或Fruit的父类
List extends Fruit> list = new ArrayList();
Object item1 = list.get(0);
Food item2 = list.get(0);
Fruit item3 = list.get(0);
Apple item4 = list.get(0); //报错
add()/set():编译器只知道类型是 Fruit 或 Fruit 的子类,所以有可能是 Fruit Apple Banana 其中一个类型,为保证类型安全不能添加除了 null 以外的任何元素,即使是 Fruit 本身也不行。
get():既然编译器不知道此时集合中的元素是Fruit Apple Banana 的哪一个,返回类型只能是他们共同父类 Fruit 或者父类Food类甚至Object。
下界通配符,表示参数类型是T或者T的超类型(父类型)
set()方法正常,但get()只能存放Object对象里
//赋值元素只能是Fruit或者Fruit父类
Plate super Fruit> plate =new Plate<>(new Fruit());
Plate super Fruit> plate1=new Plate<>(new Apple());//报错,不能存放Fruit的子类
Plate super Fruit> plate2=new Plate<>(new Food());
//set正常
plate.set(new Food());//报错 不兼容的类型: Food无法转换为CAP#(CAP#1从? super Fruit的捕获扩展Object 超 Fruit)
plate.set(new Fruit());
plate.set(new Apple());
plate.set(null);
//get只能只能存放Object类
Object object= plate.get();
Food food=plate.get(); //报错
Fruit fruit=plate.get();//报错
Apple apple=plate.get();//报错
//集合
//同理 存放元素只能是Fruit或Fruit的父类
List super Fruit> list;
list = new ArrayList
add()/set():编译器只知道类型是 Fruit 或者 Fruit 的父类,所以有可能是 Fruit Object其中一个类型。编译器知道下界是 Fruit ,根据类型向上兼容所以可以添加的元素是 Fruit 以及 Fruit 的子类
get():既然编译器不确定集合类型是 Fruit Object 的哪一种,返回类型只能是他们的共同父类 Object 。
原则:
总结
extend SomeClass>:通配符类型,?表示后续使用操作时可以是任意(SomeClass 或者它的子类)
如下demo,遍历list,
public static void print(List list){
for(T item:list){} //只能使用T
}
public static void print2(List extends Fruit> list){
for(Food item:list){} //Fruit或者Fruit的父类
for(Fruit item:list){}
}
List
List
List> —- 无限制通配符类型
List extends SomeClass>—- 有限制通配符类型
static
static List asList(E[] a)
拷贝:https://www.cnblogs.com/iyangyuan/archive/2013/04/09/3011274.html
Java中泛型类的定义也比较简单,例如:public class Test
但是Java中的泛型方法就比较复杂了。
泛型类,是在实例化类的时候指明泛型的具体类型;泛型方法,是在调用方法的时候指明泛型的具体类型。
定义泛型方法语法格式如下:
调用泛型方法语法格式如下:
说明一下,定义泛型方法时,必须在返回值前边加一个
Class
为什么要用变量c来创建对象呢?既然是泛型方法,就代表着我们不知道具体的类型是什么,也不知道构造方法如何,因此没有办法去new一个对象,但可以利用变量c的newInstance方法去创建对象,也就是利用反射创建对象。
泛型方法要求的参数是Class
当然,泛型方法不是仅仅可以有一个参数Class
为什么要使用泛型方法呢?因为泛型类要在实例化的时候就指明类型,如果想换一种类型,不得不重新new一次,可能不够灵活;而泛型方法可以在调用的时候指明类型,更加灵活。