泛型方法
一般定义如下,即方法的前面加了个
public class FTest {
public List f(T t){...};
} 三种泛型参数推断方式:
1、直接在f()前面加确定泛型
fTest.f(xxx)
2、通过输入参数确定, 下面这个推断为Integer
int number = 0; fTest.f(number)
3、可通过 返回值 确定
Listlist = fTest.f(xxx);
Q: 下面这段代码哪里有问题? 是toString()那里吗?
public class A{ public static void test(T t){ System.out.println(t.toString()); } }
A:test是static方法, 因此无法感知A
需要改成
public static
toString()那里没问题,toString就是Object的方法。
泛型参数和类型消除
Q: 泛型参数T在运行时,会变成什么?
A: 统一变成Object且不包含任何类型信息。
Q: 泛型参数T可以可以使用instanceof做比较吗?
class A{ void f(Object arg) if(arg instanceof T) { ... } }
A: 不能,编译器会报错。
Q: 泛型参数T可以进行new T()或者new T[]操作吗?
A: 不能,编译器会报错。

Q: 能调用泛型参数对象里的方法吗?
T.f();
A: 只能调用Object的方法。
Q: 可以用T做强制转化吗?
T t = (T)object;
A: 能运行, 但不会真正发生转型, 编译时会触发waring警告。
新建泛型对象时的问题
先假定有2个类, 基类Parent 和子类Child
class Parent{}
class Child extends Parent{}回答以下问题:
Q:下面这句话有问题吗?
Listlist = new ArrayList ()
A:有问题,编译就错误了。 List
Q:
List extends Parent> list = new ArrayList();
这个list有什么特点?
A:这个list可以调用A a = list.get(), 但是不能list.add(new Parent())
原因:
list.get()所做的操作是在返回时, 把内部的 extend parent> 强转成parent, 是合理的,任何parent的子类都可以转成parent
list.add(new parent())所做的操作是在输入时, 把外部的a转成内部的 extend parent>, 这是不合理的,因为我们不知道这个parent对象可以转成哪个parent的子类。
Q:
List super Child> list = new ArrayList();
这个list有什么特点?
下面谁会报错
本程序版权归作者所有不得利用本程序从事任何非法活动!本程序功能有限只能满足基础型企业网站的建站需求,无法满足更搞要求的企业站,也无法利用本程序制作门户网站,更不能建站购物站。为了克服以上技术局限,我们开发了“新坐标CMS-超级云端网站管理系统”,可以满足任何要求的企业网站,也可以制作购物网站,同时还可以制作门户型网站。其标签式调用方法让您随心所欲调用想要的结果。 使用说明:根目录包含netbox无
list.add(new Child()) list.add(new Parent()) Parent a= list.get(); Child b = list.get()
A:截图如下:

Child c = list.get() 或者Parent p = list.get()所做的操作是在返回时, 把内部的 super Child> 强转成外部的Parent或者child, 是不合理的, 因为编译器觉得child的父类 不一定 能转成parent或者child,所以禁止了这种行为( 比如parent的父类是object, 但object不一定就能转成parent或者child)。*list.add(new Child())所做的操作是在输入时, 把外部的child或者parent转成内部的 super Child>, 这是合理的,因为child和parent一定能转成child的父类。
Q:
List> list = new ArrayList();
这个list有什么特点?
A:get和add都不行,只能做remove等无返回值无输入A的操作。
PS: 注意,不是说不能调用get或add方法, 而是调用get或add时,不能使用A这个对象去操作。
即无法做add(A) 或者 A a = get(0)
但是可以做add(object) 或者Object o = get(0)
因为?可以转为Object, 但是无法转为A。
Q:下面这个代码会报错吗?
ListfruitList = new ArrayList<>(); fruitList.add(new Fruit()); List appleList = new ArrayList<>(); appleList.add(new Apple()); fruitList.addAll(appleList); System.out.println(fruitList);
A:不会报错。会正常打印结果。

PECS原则
注意PECS原则和上面的区别!
上面之前提到的? extend或者? supert, 都是在声明对象的时候用的。
而PECS原则是用于泛型对象的方法输入参数!
假设有一个类定义如下:
public static class MyList{ List list = new ArrayList<>(); // 把输入参数塞给自己,类似于生产操作 public void pushList(List t) { list.addAll(t); } // 把自己的内容塞给输入参数,类似于让输入参数做消费。 public void pollList(List t) { t.addAll(list); } }
则T就是泛型参数。
Q:下面代码能正常运行吗?
MyListmyList = new MyList<>(); List intList = new ArrayList<>(); myList.pushList(intList); List
A:不能正常运行, pushList和pollList都会报错
因为编译器检查后,认为 List
Q: 如果上文要支持pushList,应该怎么修改pushList方法的定义?
A:改成这样:
// 把输入参数塞给自己,类似于生产操作
public void pushList(List extends T> t) {
list.addAll(t);
}即编译器认为,List
Q: 如果要支持pollList,怎么修改定义?
A:
// 把自己的内容塞给输入参数,类似于让输入参数做消费。
public void pollList(List super T> t) {
t.addAll(list);
}因为是把自己的东西塞给输入参数, 而想要能塞进去,必须保证自己这个T,是输入参数的子类,反过来说,输入参数必须是T的父类,所以用super
于是编译器认为,List
PECS原则出自Effective Java, 注意只是一个编程建议而已!
如果有一个类A,泛型参数为T
如果他一般只用于接收输入容器List后,塞入自己内部的T容器, 则类A就叫生产者, 因此输入参数最好定义为 extend T>最好, 以便能接收任何T子类的容器。
-
如果他一般只用于接收输入容器后List, 把自己内部的T元素塞给它, 那么这个类A就叫消费者, 输入参数最好定义为 super T>\ 最好, 以便自己的T元素能塞给任何T元素的父类容器。
立即学习“Java免费学习笔记(深入)”;










