龙空技术网

学习廖雪峰的JAVA教程---泛型(泛型和反射《说实话看不太懂》)

David8579 117

前言:

当前小伙伴们对“反射与泛型java”都比较珍视,你们都想要知道一些“反射与泛型java”的相关文章。那么小编同时在网摘上搜集了一些关于“反射与泛型java””的相关文章,希望姐妹们能喜欢,咱们一起来了解一下吧!

Java的部分反射API也是泛型。例如:Class<T>就是泛型:

// compile warning:Class clazz = String.class;String str = (String) clazz.newInstance();// no warning:Class<String> clazz = String.class;String str = clazz.newInstance();

调用Class的getSuperclass()方法返回的Class类型是Class<? super T>:

Class<? super String> sup = String.class.getSuperclass();

构造方法Constructor<T>也是泛型:

Class<Integer> clazz = Integer.class;Constructor<Integer> cons = clazz.getConstructor(int.class);Integer i = cons.newInstance(123);

我们可以声明带泛型的数组,但不能用new操作符创建带泛型的数组:

Pair<String>[] ps = null; // okPair<String>[] ps = new Pair<String>[2]; // compile error!(因为本来就没有这样的Pair<String>.class)

必须通过强制转型实现带泛型的数组:

@SuppressWarnings("unchecked")Pair<String>[] ps = (Pair<String>[]) new Pair[2];

上面的代码中,由于拿不到原始数组的引用,就只能对泛型数组ps进行操作,这种操作就是安全的。

带泛型的数组实际上是编译器的类型擦除:

Pair[] arr = new Pair[2];Pair<String>[] ps = (Pair<String>[]) arr;System.out.println(ps.getClass() == Pair[].class); // trueString s1 = (String) arr[0].getFirst();String s2 = ps[0].getFirst();

所以我们不能直接创建泛型数组T[],因为擦拭后代码变为Object[]:

// compile error:public class Abc<T> { T[] createArray() { return new T[5]; }}

必须借助Class<T>来创建泛型数组:

T[] createArray(Class<T> cls) { return (T[]) Array.newInstance(cls, 5);}

我们还可以利用可变参数创建泛型数组T[]:

public class ArrayHelper { @SafeVarargs static <T> T[] asArray(T... objs) { return objs; }}String[] ss = ArrayHelper.asArray("a", "b", "c");Integer[] ns = ArrayHelper.asArray(1, 2, 3);

谨慎使用泛型可变参数

在上面的例子中,我们看到,通过:

static <T> T[] asArray(T... objs) { return objs;}

似乎可以安全地创建一个泛型数组。但实际上,这种方法非常危险。以下代码来自《Effective Java》的示例:

import java.util.Arrays;public class Main { public static void main(String[] args) { String[] arr = asArray("one", "two", "three"); System.out.println(Arrays.toString(arr)); // ClassCastException: String[] firstTwo = pickTwo("one", "two", "three"); System.out.println(Arrays.toString(firstTwo)); } static <K> K[] pickTwo(K k1, K k2, K k3) { return asArray(k1, k2); } static <T> T[] asArray(T... objs) { return objs; }}

直接调用asArray(T...)似乎没有问题,但是在另一个方法中,我们返回一个泛型数组就会产生ClassCastException,原因还是因为擦拭法,在pickTwo()方法内部,编译器无法检测K[]的正确类型,因此返回了Object[]。

如果仔细观察,可以发现编译器对所有可变泛型参数都会发出警告,除非确认完全没有问题,才可以用@SafeVarargs消除警告。

如果在方法内部创建了泛型数组,最好不要将它返回给外部使用。

更详细的解释请参考《Effective Java》“Item 32: Combine generics and varargs judiciously”。

小结

部分反射API是泛型,例如:Class<T>,Constructor<T>;

可以声明带泛型的数组,但不能直接创建带泛型的数组,必须强制转型;

可以通过Array.newInstance(Class<T>, int)创建T[]数组,需要强制转型;

同时使用泛型和可变参数时需要特别小心。

【关键:

我们可以声明带泛型的数组,但不能用new操作符创建带泛型的数组:

Pair<String>[] ps = null; // okPair<String>[] ps = new Pair<String>[2]; // compile error!
必须借助Class<T>来创建泛型数组// compile error:public class Abc<T> { T[] createArray() { return new T[5]; }}T[] createArray(Class<T> cls) { return (T[]) Array.newInstance(cls, 5);}
编译器对所有可变泛型参数都会发出警告,除非确认完全没有问题,才可以用@SafeVarargs消除警告

标签: #反射与泛型java #java 泛型 反射