1.泛型是一种编译期的代码模板技术,具有存入时类型检查和取出时自动转型的优点。
2.Java并不能直接实现泛型数组。ArrayList内部实际上仍然沿用了之前的Object[]。
3.(1)泛型是JDK专门为编译器创造的语法糖,只在编译期,由编译器负责解析,虚拟机不知情
(2)存入:普通类继承泛型类并给变量类型T赋值后,就能强制让编译器帮忙进行类型校验
Java在编译期引入了泛型检测机制,对容器的使用进行了强制约束,但容器本身并没有发生实质性的改变。利用反射绕过编译器对泛型的检查:
4.代码模板的本质就是:用Object接收一切对象,用泛型+编译器限定特定对象,用多态支持类型强转。
自己的理解多态才是核心,型更像是对多态做出了限制,如果说没有限制之前的多态是花花公子,可能今天爱一个女人明天爱另一个女人,但经泛型约束后的多态就是一位丈夫,他必须全心全意去爱一个女人
抽取代码模板:代码复用并且可以通过指定类型参数与编译器达成约定
类型校验:编译时阻止不匹配元素进入Object[]
类型强转:根据泛型自动强转(多态,向下转型)
泛型-》泛型擦拭为0bject-》obeject可以进行向下强转
5.泛型的指向(边界问题)
对于简单泛型而言:
- List<Number>指向:只能指向List<Number>,左右两边泛型必须一致(所以简单泛型解决不了print(List<???> list)的通用性问题)
- List<Number>存入:可以存入Integer/Long/BigDecimal...等Number子类元素
- List<Number>取出:自动按Number转(存在多态,不会报错
6.通配符
7.泛型类和泛型方法
静态方法无法使用泛型类的类型参数,换言之,静态方法如果想要使用泛型,只能是静态泛型方法,此时类型参数是自己声明的
静态方法无法使用泛型类的类型参数,换言之,静态方法如果想要使用泛型,只能是静态泛型方法,此时类型参数是自己声明的