JDK1.5泛型.rar

**Java泛型是JDK1.5引入的一个重要特性，极大地提高了代码的类型安全性和重用性。在泛型出现之前，程序员需要在运行时进行强制类型转换，这可能导致ClassCastException。泛型通过在类、接口和方法声明中引入类型参数，实现了编译时类型检查，从而减少了错误并增强了代码的可读性。** 1. **泛型的基本概念**：泛型允许在定义类、接口和方法时使用类型参数，这些参数在实际使用时会被具体的类型替换。例如，ArrayList<T>中的T就是一个类型参数，代表某种未知的类型。 2. **泛型类**：泛型类是在类声明中使用类型参数的类。例如，`public class Box<T>{...}`，这里的Box是一个泛型类，T是它的类型参数，可以代表任何引用类型。 3. **泛型接口**：与泛型类类似，泛型接口也包含类型参数，例如`public interface Generator<T>{...}`，Generator接口的实现者必须指定T的具体类型。 4. **泛型方法**：在方法声明中使用类型参数，如`public <T> void copy(List<T> from, List<T> to){...}`。这个方法可以复制两个类型相同的列表。 5. **通配符**：在泛型中，通配符用于表示类型的不确定性。例如，"? extends Number"表示任何Number的子类型，而"? super Number"表示任何能接受Number作为参数的类型。 6. **边界限制**：可以为类型参数设置边界，如`public class Box<T extends Comparable<T>> {...}`，这样T就必须是Comparable的实例。 7. **类型擦除**：Java的泛型是通过类型擦除实现的，这意味着在运行时，所有的泛型信息都会被擦除，生成的字节码并不包含泛型信息。因此，泛型主要是为了提供编译时的类型检查。 8. **野指针异常**：由于类型擦除，不能创建泛型数组，如`T[] array = new T[10];`会编译错误，但可以创建Object数组然后强制转换，但这可能导致运行时错误。 9. **Erasure和类型安全**：尽管存在类型擦除，但泛型仍能提供类型安全，因为编译器会在编译期间进行类型检查。 10. **多态和泛型**：泛型与多态相结合，可以编写出更加灵活且类型安全的代码。例如，可以定义一个接受任何集合类型的方法，只要它们的元素类型遵循特定的约束。 11. **实例化泛型类**：泛型类的实例化有两种方式，一种是明确指定类型参数，如`Box<String> box = new Box<String>();`，另一种是隐式类型推断，如`Box<String> box = new Box<>();`（Java7及以后版本）。 12. **协变和逆变**：在泛型中，类型参数的位置决定了其是否具有协变或逆变性质。例如，`List<Number>`是`List<Object>`的子类型，这是协变；而`Comparator<Number>`不是`Comparator<Object>`的子类型，这是逆变。 通过深入理解并熟练应用这些泛型概念，开发者能够编写出更高效、更安全的Java代码，减少类型转换错误，并提高代码的可读性和可维护性。在JDK1.5提供的泛型例子中，你可以找到各种泛型的使用场景，通过实践加深对泛型的理解。