java 捕获转换
通常情况下,使用原生类型和<?>并没有什么区别,但是有一种情况特别需要使用<?>而不是原生类型,即捕获转换(因为未指定的通配符类型被捕获,并被转换为确切类型)。
例如:
class Holder<T>{ private T value; public Holder(){} public Holder(T val){ value = val;} public void set(T val){value = val;} public T get(){ return value;} public boolean equals(Object obj){ return value.equals(obj); } } public class CaptureConversion{ static <T> void f1(Holder<T> holder){ T t = holder.get(); System.out.println(t.getClass().getSimpleName()); } static void f2(Holder<?> holder){ f1(holder); } //@SuppressWarnings("unchecked") public static void main(String[] args){ Holder raw = new Holder<Integer>(1); f1(raw);//Unchecked invocation f1(Holder) of the generic method f1(Holder<T>) of type f2(raw); Holder rawBasic = new Holder(); rawBasic.set(new Object());//Type safety: The method set(Object) belongs to the raw type Holder. References to generic type Holder<T> should be parameterized f2(rawBasic);//No warnings //Upcast to Holder<?>, still figures out: Holder<?> wildcarded = new Holder<Double>(1.0); f2(wildcarded); } }
捕获转换允许我们在处理通配符时绕开编译器的限制。当f2() 调用 f1() 时,它知道这么做是安全的,因为它自身的 holder 参数对一些未知的 V 而言一定是Holder<V>。同时类型参数 T 被引入到方法签名中并且没有绑定到其他任何类型参数,它也可以表示任何未知类型,因此,某些未知 T 的 Holder<T> 也可能是某些未知 V 的 Box<V>。
f1()中的类型参数都是确切的,没有通配符或者边界。在f2()中,Holder参数是一个无界通配符,因此它看起来是未知的。但是,在f2()中,f1()被调用,参数类型在调用f2()的过程中被捕获,因此它可以在对f1()的调用中被使用。
捕获转换只有在这样的情况下可以工作:即在方法内部,你需要使用确切的类型。
注意:不能从f2()中返回T,因为T对于f2()来说是未知的。
一般来说,带有通配符的 API 比带有泛型方法的 API 更简单,在更复杂的方法声明中类型名称的增多会降低声明的可读性。因为在需要时始终可以通过专有的捕获转换来恢复名称,这个方法可以保持 API 整洁,同时不会删除有用的信息。