印象中java泛型多用在容器类中,所以在其他场合的应用就没怎么注意。最近在读某个项目代码时,看到Hibernate存储数据的方法被写成泛型参数,恍然大悟。这是编程中的常用技巧,可以用于精简代码数量。于是为了深入理解,做了一些小例子,记录一下。
在容器中使用泛型的常见格式,如:
List<?> 表示接受任意类型
List<? extends AClass> 表示接受AClass及其子类型
List<? super BClass> 表示接受BClass及其父类型
除了?这种全能替代符,我们往往还有这种需求——虽然我现在还不知道使用哪种类型,但我并非是任意类型都接受。等以后一旦确定下来,就需要编译器帮我把关。
看看,这才是现实的复杂性。那么编译器有没有办法理解这一点呢?有的,就是使用通配符。
我们对一个类或接口声明中使用了泛型标记,就可以在变量、方法、参数中来约束它。下面是示例代码:
package com.gen.zjc;//泛型学习import java.util.ArrayList;import java.util.List;//通配符可以用任意字符,但习惯上使用单个大写字母public class GenericClass{ private static final Class innerA = InnerA.class; private List l1; //容器使用泛型 private List l2; //普通变量使用泛型 private Ha varh; public Ha getValue(){ return varh; } public void setValue(Ha h){ varh=h; } public GenericClass(){ //容器类使用前要初始化 l1=new ArrayList (); l2=new ArrayList (); } //参数使用泛型“类” public void test(Class clazz){ System.out.println(clazz.getName()); } static class InnerA{ //xxx内部静态类 } public static void main(String[] args){ //情况1:不对GenericClass做类型限定,其内部容器也不做类型检查 //GenericClass gc=new GenericClass (); //情况2:对GenericClass做类型限定,l1的类型也定为List ,编译器做类型检查 GenericClass gc=new GenericClass (); gc.setValue("hello"); //情况1:所以List 类型的l1竟然也接受"abc" //gc.l1.add("abc"); //情况2:List 类型的l1就只能接受Integer了 gc.l1.add(5); gc.l2.add("Must be a String"); gc.test(innerA); test(gc); } public static void test(GenericClass gc){ System.out.println(gc.getValue()); System.out.println(gc.l1.get(0)); System.out.println(gc.l2.get(0)); }}
在使用泛型中经常出现的编译器错误:
capture#XXX of ?) cannot be applied当编译器遇到一个在其类型中带有通配符的变量时,为该类型创建一个占位符来指代 T 的类型。占位符被称为这个特殊通配符的捕获(capture)。错误消息通常是不能检验实参类型与其形参类型是否兼容。