Java 泛型可行与不可行
泛型基础
理解
一般情况,一个类的属性,或者一个方法的参数/返回值都需要在编写代码时声明基本类型或者自定义类型,但有时候无法在编写代码时使用现有的类来表达参数类型或者返回值类型,这时候就需有一种方式可以表达下面的意思:这里需要一个类,它满足这些要求就可以了,具体是什么类可以在使用这个类或方法时指定。Java 中这种方式就是泛型。但是 java 泛型在使用上有很多限制,使用时要注意,同时注意泛型主义上的理解,Java 中泛型的声明使用更多
作用
一定程序上继承与接口就可以完成上面的功能,但泛型有很多额外的作用
泛型可以更安全
使用泛型就是告诉编译器想使用什么类型,在使用泛型时编译器会对代码进行类型检查,让错误暴露在编译期,而不是运行期,更安全
可以快速创建复杂的类型
因为在编写时没有指定具体类型,所以在使用时就可以更随意的指定类型,这个功能可以完成类似 js 中对象的功能,对象的属性规定好,具体是什么类型你随便,但是没能像 js 那样随意添加属性
public class TupleTest<T, R> { public final T t; public final R r; public TupleTest(T t, R r) { this.t = t; this.r = r; } public static <A, B> TupleTest<A, B> make(A a, B b) { return new TupleTest<>(a, b); } /** * 如果返回值声明里声明了泛型,那么在方法返回值 new 时就要有尖括号,不然会警告 * jdk1.5中返回值声明时的泛型去掉,也会有编译警告 * * @return tupleTest */ public TupleTest<String, String> make() { return new TupleTest<>("a", "b"); } public R getR() { return r; } }
可以自动完成类型的转换
在泛型出现之前,如果一个方法不能确定方法的返回值类型,或者根据入参可以确定多种类型返回值类型,那么这个方法就只能返回 Object ,有了泛型之后,在方法返回正确的值后,会自动转为具体的类型,而这在代码上没有额外的代码,而且这种转换很安全
上面例子编译之后再反编译回来 make 方法是这样的
再看一个调用时的代码
反编译之后
可以看到自动对参数进行了转型,所以编译器不会产生转型警告
还有一些更高级的用法,比如 泛型自限定
困难之处
书写泛型代码的主要困难是因为泛型在运行时被擦除,所以在运行期没有泛型类的具体信息,这意味着泛型参数看上去就借一个 Object 类,什么都干不了,需要注意以下方法
同样的类型,不同的泛型参数在编译期代表着不同类型,在运行期就没有差别了
public class EraseMain { public static void main(String[] args) { List<String> list1 = new ArrayList<>(); List<Integer> list2 = new ArrayList<>(); // list1 = list2; // 编译期是不同的 System.out.println(list1.getClass().getName()); System.out.println(list2.getClass().getName()); // 运行期类型是相同的 System.out.println(list1.getClass() == list2.getClass()); } }
不能使用 new 来创建泛型类型的具体对象,最好的方案是使用 Class.newInstance()或者使用工场模式
public T getNewInstance() { // return new T(); // Error:(12, 20) java: 意外的类型 // 需要: 类 // 找到: 类型参数T try { return t.newInstance(); } catch (Exception e) { throw new RuntimeException(e); } }
不能使用 instanceof 操作符了,但可以用 Class.isInstance(Object)方法
public class EraseEntity<T> { Class<T> tClass; public EraseEntity(Class<T> tClass) { this.tClass = tClass; } public boolean instanceOf(Object t) { // return t instanceof T; // 这样就不可以了 return tClass.isInstance(t); // 这样是可以的 } }
不能 new 一个泛型数组,而且要产生泛型数组非常麻烦,可以使用 Array.newInstance(Class<?>,int)
public T[] createArray(){ return (T[]) Array.newInstance(t,5); }
但是这样也会有警告,需要压制
除非设定边界,否则不能调用任何自定义的方法
基本类型不能作为泛型参数,但是其包装类型可以,并可以自动包装
// List<int> list2 = new ArrayList<>(); List<Integer> list2 = new ArrayList<>();
一个类不能实现同一个泛型接口的两种变体,但去掉泛型实现可以;
public class ImplTest extends AbstractA implements InterfaceA<Integer> { //public class ImplTest extends AbstractA implements InterfaceA<String> { // ImplTest类实现InterfaceA接口时声明的泛型参数是String,AbstractA实现InterfaceA时声明的泛型参数是 Integer,这时就不可以了, // 如果可以会导致类型冲突,比如 get方法,在AbstractA中返回值是Integer,但是在ImplTest中就变成了String,无论重载或重写都不能解决这个问题 } interface InterfaceA<T> { T get(T t); } abstract class AbstractA implements InterfaceA<Integer> { public Integer get(Integer integer) { return 0; } }
不能通过不同的泛型参数进行方法重载,但是可以使用
<R extends List<?>>
给泛型参数添加边界重载方法public class OverLoadTest { public <T> void test(T t) { } // 因为T与R没有设置边界在运行时 T与R 都是类似Object,所以不能通过方法签名区分这两个方法 // public <R> void test(R r) { } // 这样是可以的 因为R一定会是一个List的子类,List与Object(T)是有区别的,就可以通过方法签名区分了 public <R extends List<?>> void test(R r) { } }
泛型边界
可以使用 extends 限定泛型类型的边界,可以是多个(&连接),类写在前面,限定边界之后在泛型方法或者类的内部就可以使用边界类上的方法了
通配符
通配符在泛型中的应用是为了解决下面的问题:有一个容器的泛型是基类的变量,想要将一个泛型是子类的容器赋值给这个变量,编译器是不允许的;因为运行时会将泛型擦除,一旦将一个泛型是子类的容器赋值给泛型是基类的容器变量,在运行时就可以将一个这个基类的其他子类对象放入这个窗口,java培训造成在取出对象时的类型不安全,所以编译期不允许这样赋值;
容器的这一特点与数组不同,子类数组对象可以赋值给基类数组变量(类似向上转型),但是在运行期 jvm 可以知道数组元素中的对象类型是哪个具体子类,所以如果将数组中元素赋值时,如果不是原数组中的类型,会报错(ArrayStoreException)
为了保证类型安全,又可以将子类泛型容器赋值给基类泛型变量,可以使用通配符(单一边界,extends 后面只能有一个类型)
通配符的困难之处
当一个类在声明时使用了<? extends Fruit> 这种泛型,而这个类的写法如同下面这样
在使用时
这样写会出现的问题是不能调用test(T)
方法了,因为 test 需要的是一个具体的 Fruit 的子类,例子中应该是 Applie,但 ? extends Fruit
代表的不仅仅是 Apple 这一种子类,也可能是 orange 。如果调用时真的用 orange 类型实例做为能数,类型就不安全,所以 test(T)
方法不能用了;但是 test2(Object)
还可以用
逆变
逆变指的是 < ? super Apple>
这种写法,这种写法的特性与 <? extends Apple>
的写法的特性是相反的。上面的例子,泛型入参方法不能用了,而逆变的特性是入参可以是任何 Apple 的子类,注意是子类,不是基类,因为 Apple 的基类有多种,如果编译器允许传入基类,就会存在风险,但是传入子类就不会有风险,因为子类可以转型为 Apple 类,Apple 类可以算是 Apple 的基类;
逆变的困难之处在于方法的返回值,它的返回值只能用 Object 类型的变量接受
无界通配符
两个功能
这里想用泛型代码来编写,这里并不是要用原生的类型,但是当前情况下,泛型参数可以持有任何类型
当有个地方需要多个泛型参数,但你只能确定一部分时可以使用无界通配符
?
例:Map<String, ?>
当一个地方要求泛型,如果你没有给出泛型,会有警告,但使用无界通配符会消除警告
无界通配符与原生类型是不一样的,以List
和List<?>
为例,List
代表持有任何 Object 类型的 List,List<?>
代表具有某种特定类型的的非原生 List,但目前不确定是什么类型;
下面例子显示这种区别
评论