Java核心技术对泛型设计的总结（1） 限制与约束

1 Java 泛型设计中的一些主要限制和使用方面错误。

 

1.1 不能将泛型用在创建类型对象中，原因则是因为 Java 泛型中存在类型擦除的原因，所以会导致在 Java 虚拟机执行时，所有泛型类型都会相应的变为它的原始类型，这就意味着如果创建泛型对象则 Java 虚拟机会将创建的对象改变为 Object 这肯定不会是希望所应该有的目的。

 

1.2 不能将泛型应用在基本数据类型中，原因也是因为类型擦除机制的缘故，而基本类型不属于对象，如果要将基本类型应用到泛型当中则必须使用相应的包装器来做为替代方式。

 

1.3 不能将泛型用在异常捕获和用泛型来实现 Throwable 子类，如果这样做的会导致无法通过编译。

 

1.4 泛型数组是不合法的，原因同样出于类型擦除会导致创建的数组变为 Object ，而如果需要达到这样的目的，则必须使用类型信息中的 Class 类来满足要求。如果先创建一个类型数组而后转型为 Object 或是先声明类型数组而后创建一个 Object 数组通过强制类型转换来实现类型数组都将导致失败或者是类型擦除方面的问题。

 

1.5 无法将泛型用于静态的上下文中，原因同样还是出于类型擦除，如果允许这样实现则有可能使用泛型创建一个共享 Swing 构建或者 AWT 构建等一些会出现严重错误的缺陷。

 

1.6 使用泛型时应注意覆盖 equals 等方法的问题，原因是会导致编写出的代码导致一些难于发现的错误，但是表面上却很难让进行错误的查找。

 

1.7 在使用泛型时不能同时为两个接口的子类型，而这 2 个接口是同一个接口的不同参数，

这条限制可以理解为，如果 Employee 类实现了 Comparable<Employee> 而 Manager 类继承了 Employee 类并且实现 Comparable<Manager> 接口，这样一来虽然子类和父类实现接口的约束条件是不同的，但是却是是想了同样的接口而该接口的类型参数又是父子的继承关系。则会与 Java 虚拟机合成的桥方法可能产生一些冲突。

 

Java 泛型的约束和限制的总结。经过阅读了 2 遍书籍和了解，感觉 Java 的泛型设计和 C# ， C++ ， Python （该语言经过一些了解虽然语言本身不显示包括泛型的概念，但是由于其是纯面向对象和一些语言特性，则它隐身的方法中都包含拥有泛型特点）等语言的泛型设计的不同是 Java 由于其历史原因包含了类型擦除的特点，所以导致了很多在其它同类语言中不存在的限制和要求，导致有些时候会出现很多难以发现和错误提示含糊不清或者难以理解的情况。