摘要:当某个类型变量只在整个参数列表的所有参数和返回值中的一处被应用了,那么根据调用方法时该处的实际应用类型来确定。即直接根据调用方法时传递的参数类型或返回值来决定泛型参数的类型。
标签: java
[TOC]
本文对泛型的基本知识进行较为全面的总结,并附上简短的代码实例,加深记忆。
泛型将集合中的元素限定为一个特定的类型。
术语ArrayList
ArrayList -- 原始类型
E -- 类型参数
<> -- 读作"typeof"
ArrayList
Integer -- 实际类型参数
几点注意:
参数化类型和原始类型相互兼容
ArrayList collection1 = new ArrayList();//通过,无warning ArrayList collection2 = new ArrayList();//通过,有warning
参数化类型不考虑类型参数的继承关系
ArrayListcollection3 = new ArrayList
但是
ArrayList collection5 = new ArrayList"?"通配符(); ArrayList collection6 = collection5;//编译通过
"?"表示任意类型,使用"?"通配符可以引用各种参数化的类型,可以调用与参数化无关的方法(如size()方法),不能调用与参数化有关的方法(如add()方法)
通配符的扩展限定通配符的上边界
ArrayList extends Number > collection1= new ArrayList();//编译通过 ArrayList extends Number > collection2= new ArrayList ();//编译不通过
限定通配符的下边界
ArrayList super Integer > collection3= new ArrayList自定义泛型方法();//编译通过 ArrayList super Integer > collection4= new ArrayList ();//编译不通过
C++模板函数
templateT add(T x, T y){ return (T)(x+y); }
而java的泛型基本上完全在编译器中实现,用于编译器执行类型检查和类型判断,然后生成普通的非泛型的字节码,这种实现技术为“擦除”(erasure)。
"擦除"实例泛型是提供给javac编译器使用的,限定集合的输入类型,编译器编译带类型说明的集合时会去掉“类型”信息。
public class GenericTest { public static void main(String[] args) { new GenericTest().testType(); } public void testType(){ ArrayListcollection1 = new ArrayList (); ArrayList collection2= new ArrayList (); System.out.println(collection1.getClass()==collection2.getClass()); //两者class类型一样,即字节码一致 System.out.println(collection2.getClass().getName()); //class均为java.util.ArrayList,并无实际类型参数信息 } }
输出
true java.util.ArrayList
使用反射可跳过编译器,往某个泛型集合加入其它类型数据。
只有引用类型才能作为泛型方法的实际参数
例子:
public class GenericTest { public static void main(String[] args) { swap(new String[]{"111","222"},0,1);//编译通过 //swap(new int[]{1,2},0,1); //编译不通过,因为int不是引用类型 swap(new Integer[]{1,2},0,1);//编译通过 } /*交换数组a 的第i个和第j个元素*/ public staticvoid swap(T[]a,int i,int j){ T temp = a[i]; a[i] = a[j]; a[j] = temp; } }
但注意基本类型有时可以作为实参,因为有自动装箱和拆箱。
例子(编译通过了):
public class GenericTest { public static void main(String[] args) { new GenericTest().testType(); int a = biggerOne(3,5); //int 和 double,取交为Number Number b = biggerOne(3,5.5); //String和int 取交为Object Object c = biggerOne("1",2); } //从x,y中返回y public staticT biggerOne(T x,T y){ return y; } }
同时,该例还表明,当实参不一致时,T取交集,即第一个共同的父类。
另外,如果用Number b = biggerOne(3,5.5);改为String c = biggerOne(3,5.5);则编译报错:
Error:(17, 29) java: 不兼容的类型: 推断类型不符合上限 推断: java.lang.Number&java.lang.Comparable extends java.lang.Number&java.lang.Comparable>> 上限: java.lang.String,java.lang.Object
但是有一点没搞清楚,我在IDEA里面单步调试,发现结果如下图:
不知道b为什么是Double类型的(但直接Double b接收返回值会编译报错)。不知道跟IDE有没有关系,是不是IDE在debug时会显示这个对象最精确的类型?
编译器判断泛型方法的实际类型参数的过程称为类型推断。
当某个类型变量只在整个参数列表的所有参数和返回值中的一处被应用了,那么根据调用方法时该处的实际应用类型来确定。即直接根据调用方法时传递的参数类型或返回值来决定泛型参数的类型。
例如:
swap(new String[3],1,2) -> static
当某个类型变量在整个参数列表的所有参数和返回值中的多处被应用了,如果调用方法时这么多处的实际应用类型都 对应同一种类型,则泛型参数的类型就是该类型。
例如:
add(3,5) -> static
当某个类型变量在整个参数列表的所有参数和返回值中的多处被应用了,如果调用方法时这么多处的实际应用类型 对应不同的类型,且没有返回值*,则取多个参数中的最大交集类型,即第一个公共父类。
例如:
fill(new Integer[3],3.5) -> static
该例子实际对应的类型就是Number,编译通过,运行出问题。
当某个类型变量在整个参数列表的所有参数和返回值中的多处被应用了,如果调用方法时这么多处的实际应用类型对应不同的类型,且使用有返回值,则优先考虑返回值的类型
例如:
int x = add(3,3.5) -> static
上例编译报错,x类型改为float也报错,改为Number成功。
参数类型的类型推断具有传递性
例子:
copy(new Integer[5],new String[5]) -> static
该例推断实际参数类型为Object,编译通过.
copy(new ArrayList
该例则根据参数化的ArrayList类实例将类型变量直接确定为String类型,编译报错。
自定义泛型类例子
public class GenericDao{ public void add(T x){ } public T findById(int id){ return null; } public void delete(T obj){ } public void delete(int id){ } public void update(T obj){ } public T findByUserName(String name){ return null; } public Set findByConditions(String where){ return null; } }
注意:当一个变量被声明为泛型时,只能被实例变量和方法调用(还有内嵌类型),而不能被静态变量和静态方法调用。因为静态成员是被所参数化的类所共享的,所以静态成员不应该有类级别的类型参数。
泛型方法和泛型类的比较例子:
public class A(){ //泛型类的成员方法,该T受A后面的T的限制 public T memberFunc(){ return null; } //泛型方法,这里的T和和类A的T是不同的 public static T genericFunc(T a){ return null; } public static void main(String[] args) { //编译不通过 //Integer i = A ().findByUserName("s"); //编译通过 Set set= A ().findByConditions("s"); } }
这里Integer i = A
Error:(35, 61) java: 不兼容的类型: java.lang.String无法转换为java.lang.Integer
由这个例子可知,泛型方法的T和和类A的T是不同的。
泛型和反射 通过反射获得泛型的实际类型参数把泛型变量当成方法的参数,利用Method类的getGenericParameterTypes方法来获取泛型的实际类型参数
例子:
public class GenericTest { public static void main(String[] args) throws Exception { getParamType(); } /*利用反射获取方法参数的实际参数类型*/ public static void getParamType() throws NoSuchMethodException{ Method method = GenericTest.class.getMethod("applyMap",Map.class); //获取方法的泛型参数的类型 Type[] types = method.getGenericParameterTypes(); System.out.println(types[0]); //参数化的类型 ParameterizedType pType = (ParameterizedType)types[0]; //原始类型 System.out.println(pType.getRawType()); //实际类型参数 System.out.println(pType.getActualTypeArguments()[0]); System.out.println(pType.getActualTypeArguments()[1]); } /*供测试参数类型的方法*/ public static void applyMap(Mapmap){ } }
输出结果:
java.util.Mapinterface java.util.Map class java.lang.Integer class java.lang.String
作者更多文章:@brianway
文章版权归作者所有,未经允许请勿转载,若此文章存在违规行为,您可以联系管理员删除。
转载请注明本文地址:https://www.ucloud.cn/yun/65360.html
摘要:我的学习笔记汇总标签笔记分为两大部分和笔记内容主要是对一些基础特性和编程细节进行总结整理,适合了解基础语法,想进一步深入学习的人如果觉得不错,请给,这也是对我的鼓励,有什么意见欢迎留言反馈目录基础巩固笔记反射基础巩固笔记泛型基础巩 我的java&javaweb学习笔记(汇总) 标签: java [TOC] 笔记分为两大部分:javase和javaweb javase javawe...
摘要:前言想要进入等一线互联网公司,以下是你必需具备的技能。包由解释程序自动加载,不需要显示说明。包包括许多具有特定功能的类,有日期向量哈希表堆栈等,其中类支持与时间有关的操作。包定义了应用程序编程接口,是应用程序环境的中性平台组件结构。 前言 想要进入BAT等一线互联网公司,以下是你必需具备的技能。如果你掌握的不牢固,那就赶快巩固,如果你还没有涉及,现在就立马学习起来吧。 1.Java语言...
摘要:内部类的使用场景上面介绍了中种内部类的定义,接着我们介绍这些内部类的一些使用场景。成员内部类的使用场景普通内部类可以访问外部类的所有成员和方法,因此当类需要使用类,同时需要访问的成员方法时,可以将作为的成员内部类。 文章出自:安卓进阶学习指南 主要贡献者: Cloud9527 Alex_赵 Struggle shixinzhang 读完本文你将了解: [TOC] 通过反编译...
阅读 2707·2021-11-22 15:22
阅读 1608·2021-11-22 14:56
阅读 3593·2021-09-22 15:12
阅读 2383·2021-09-02 15:41
阅读 2102·2021-08-27 16:26
阅读 1089·2019-08-30 15:55
阅读 2116·2019-08-29 17:30
阅读 629·2019-08-29 16:26