Java 1.5 引入了泛型来保证类型安全,防止在运行时发生类型转换异常,让类型参数化,提升了代码的可读性和重用率。可是有些状况下泛型也是不容许使用的,今天就总结一下编码中不能使用泛型的一些场景。java
如下写法是错误的:数组
// error Map<int,char> wrong= new HashMap<>()
基本类型是不可以做为泛型类型的,须要使用它们对应的包装类。安全
// OK Map<Integer,Character> wrong= new HashMap<>()
泛型类型能够理解为一个抽象类型,只是表明了类型的抽象,所以咱们不能直接实例化它,下面的作法也是错误的:学习
public <E> E first(List<E> list){ // error E e = new E(); return list.get(0); }
Java 中的静态类型随着类加载而实例化,此时泛型的具体类型并无声明。同时由于静态变量做为全部对象的共享变量,只有类实例化或者方法调用时才能肯定其类型。若是是泛型类型将没法肯定其类型。一样在类上声明的泛型也没法做为返回值类型出如今类的静态方法中,下面的写法也是错误的:编码
public class Generic<T>{ // 不能将类声明的泛型类型做为静态变量 public static T t; // 也不能将类声明的泛型类型做为 静态方法的返回值 public static T rtval(List<T> list){ return list.get(0); } }
Java 中的泛型是伪泛型,在编译期会被擦除,运行的字节码中不存在泛型,因此下面的判断条件没法进行:spa
public static <E> void wrong(List<E> list) { // error if (list instanceof ArrayList<Integer>) { } }
可是泛型的无界通配符<?>
能够进行instanceof
判断,你仔细想一想为何。
首先下面这种写法是对的:code
// OK List[] arrayOfLists = new List[2];
可是加上了泛型就编译不经过了:对象
//error List<Integer>[] arrayOfLists = new List<Integer>[2];
若是不这么规定将引起如下逻辑错误:blog
// 若是上面的成立,则下面的也应该成立 Object[] stringLists = new List<String>[]; // 那么咱们能够放入 字符串 List stringLists[0] = new ArrayList<String>(); // 放入 Integer list stringLists[1] = new ArrayList<Integer>(); // 这显然不合理
下面的两种写法将引起编译错误:字符串
// 不能间接地扩展 Throwable class IndirectException<T> extends Exception {} // 不能直接地扩展 Throwable class DirectException<T> extends Throwable {}
若是成立将出现:
try { // ... } catch (T e) { // 类型不肯定 没法处理具体的异常逻辑 }
你如何才能对异常进行具体的处理,这显然不便于精确的异常处理逻辑。可是你能够抛出一个 不肯定的异常,可是一样不能在静态方法中使用类声明的泛型:
class Parser<T extends Exception> { // 这样是对的 public void okThrow(File file) throws T { // ... } // 静态方法不能出现类声明的泛型类型做为返回值和异常 public static void wrongThrow(File file) throws T { } }
因为泛型擦除的缘由,如下的不视为方法的重载且没法编译 :
public class NoReload { public void sets(Set<String> strSet) { } public void sets(Set<Integer> intSet) { } }
今天总结了 Java 泛型的一些使用误区,虽然日常 IDE 的提示会告诉咱们,可是这也是咱们常常会忽略的一些知识点。若是有不足之处,请留言指正。若是你想对泛型了解更多,可关注公众号:码农小胖哥 回复 generic 获取相关的学习笔记。
关注公众号:Felordcn 获取更多资讯