Java面试题系列 - 第14天

题目：Java中的泛型与类型安全

背景说明：泛型是Java SE 5引入的重要特性，它允许在编译时检查类型安全，并且所有的强制转换都是自动和隐式的，提高了代码的重用率和类型安全性。掌握泛型的使用，对于编写高效、可维护的Java代码至关重要。

问题要求：

1. 解释Java泛型的基本概念和语法。
2. 描述泛型类型擦除的含义及其影响。
3. 讨论泛型通配符的使用，包括?、? extends T和? super T的区别。
4. 分析如何利用泛型实现类型安全的集合操作。

答案批注：

1. Java泛型的基本概念和语法：泛型允许在类、接口和方法中使用类型参数，这些类型参数在编译时被具体类型替换。泛型语法通常使用尖括号<>来表示类型参数，例如：

   Java

   浅色版本

   1public class Stack<T> {
   2    private List<T> list = new ArrayList<T>();
   3    
   4    public void push(T item) {
   5        list.add(item);
   6    }
   7    
   8    public T pop() {
   9        return list.remove(list.size() - 1);
   10    }
   11}

2. 泛型类型擦除的含义及其影响：类型擦除意味着在运行时，泛型信息被擦除，所有的类型参数都被替换为其原始类型（通常是Object）。这意味着泛型类型在运行时与非泛型类型没有区别，这简化了JVM的实现，但同时也意味着运行时无法获得泛型类型的信息，如不能使用instanceof检查泛型类型。

3. 泛型通配符的使用：泛型通配符?用于表示未知的类型，它允许在不知道具体类型的情况下使用泛型方法或对象。? extends T表示类型参数是T或其子类型，? super T则表示类型参数是T或其父类型。例如：

   Java

   浅色版本

   1public void printCollection(Collection<?> collection) {
   2    for (Object obj : collection) {
   3        System.out.println(obj);
   4    }
   5}
   6
   7public void addElementToCollection(Collection<? super Number> collection, Number num) {
   8    collection.add(num);
   9}

4. 利用泛型实现类型安全的集合操作：通过使用泛型，可以确保集合中只存储特定类型的对象，从而避免了运行时的类型转换错误。例如，如果我们有一个Number类型的集合，那么只能向其中添加Number或其子类的实例，这确保了类型安全：

   Java

   浅色版本

   1List<Number> numbers = new ArrayList<>();
   2numbers.add(10); // OK, Integer is a subclass of Number
   3numbers.add(20.5); // OK, Double is a subclass of Number
   4// numbers.add("Not a number"); // Error, String is not a Number

通过深入理解泛型的使用，开发者可以编写出更安全、更通用、更易于维护的代码，特别是在处理集合和其他容器类时，泛型能够提供强有力的类型检查，避免运行时错误，提高代码的健壮性。