Java泛型：类型安全与代码复用的核心技术-代码聚汇网

Java泛型：类型安全与代码复用的核心技术

光慢光慢

1. 泛型基础：从类型混乱到类型安全

2004年Java 5发布时引入的泛型特性，彻底改变了Java开发者的编码方式。记得我刚接触Java时，经常需要这样处理集合：

java复制List list = new ArrayList();
list.add("Hello");
String str = (String) list.get(0);  // 必须强制类型转换

这种写法存在两个致命问题：首先，编译时无法发现类型错误，比如不小心放入Integer对象；其次，到处都需要显式类型转换，代码变得冗长。泛型的出现完美解决了这些问题：

java复制List<String> list = new ArrayList<>();
list.add("Hello");
String str = list.get(0);  // 自动类型推断

1.1 泛型核心概念解析

泛型的本质是参数化类型，即在定义类、接口或方法时，将类型作为参数使用。这种设计带来了三大优势：

编译时类型检查：编译器能在编码阶段发现类型不匹配的错误
消除强制类型转换：使代码更加简洁易读
代码复用：同一套逻辑可以适用于多种数据类型

类型参数通常使用单个大写字母表示，常见约定有：

E：Element（集合元素）
K：Key（键）
V：Value（值）
T：Type（类型）
N：Number（数字）

注意：虽然可以使用任意标识符作为类型参数，但遵循这些约定能让代码更易理解

2. 泛型深度应用：从基础到高级

2.1 自定义泛型类与接口

创建泛型类时，需要在类名后声明类型参数。下面是一个简单的泛型Box示例：

java复制public class Box<T> {
    private T content;
    
    public void setContent(T content) {
        this.content = content;
    }
    
    public T getContent() {
        return content;
    }
}

使用时可以指定具体类型：

java复制Box<String> stringBox = new Box<>();
stringBox.setContent("Generic Box");
String value = stringBox.getContent();  // 无需类型转换

泛型接口的定义方式类似，常用于定义通用操作规范：

java复制public interface Repository<T, ID> {
    T findById(ID id);
    void save(T entity);
}

2.2 泛型方法详解

泛型方法允许在方法级别使用类型参数，即使所在类不是泛型类。语法是在返回类型前声明类型参数：

java复制public class ArrayUtils {
    public static <T> T getMiddle(T... a) {
        return a[a.length / 2];
    }
}

调用时编译器可以推断类型：

java复制String middle = ArrayUtils.getMiddle("John", "Q.", "Public");

技巧：当类型推断不明确时，可以显式指定类型参数：
ArrayUtils.<String>getMiddle(...)

2.3 类型擦除与运行时限制

Java泛型是通过类型擦除实现的，这意味着泛型信息只在编译时存在，运行时会被擦除。例如：

java复制List<String> strings = new ArrayList<>();
List<Integer> integers = new ArrayList<>();
// 运行时两者类型相同，都是原始List

这种设计带来了几个重要限制：

不能创建泛型数组：new T[size] 是非法的
不能使用instanceof检查泛型类型
不能直接创建泛型实例：new T() 是非法的

3. 高级泛型特性：边界与通配符

3.1 有界类型参数

通过extends关键字可以限制类型参数的范围：

java复制public class NumberBox<T extends Number> {
    private T number;
    
    public double getDoubleValue() {
        return number.doubleValue();
    }
}

这样NumberBox就只能使用Number及其子类作为类型参数：

java复制NumberBox<Integer> intBox = new NumberBox<>();  // 合法
NumberBox<String> strBox = new NumberBox<>();   // 编译错误

3.2 通配符的三种形式

通配符?提供了更灵活的类型匹配方式：

无界通配符：List<?> 表示未知类型的List
上界通配符：List<? extends Number> 表示Number或其子类的List
下界通配符：List<? super Integer> 表示Integer或其父类的List

使用示例：

java复制public static double sum(List<? extends Number> list) {
    double sum = 0;
    for (Number n : list) {
        sum += n.doubleValue();
    }
    return sum;
}

重要原则：PECS（Producer Extends, Consumer Super）

当需要从集合获取元素（生产者）时，使用extends

当需要向集合添加元素（消费者）时，使用super

4. 泛型实战：设计模式中的应用

4.1 泛型工厂模式

传统工厂方法需要为每种类型创建单独方法，使用泛型可以大大简化：

java复制public interface Factory<T> {
    T create();
}

public class StringFactory implements Factory<String> {
    @Override
    public String create() {
        return "Default String";
    }
}

4.2 泛型策略模式

策略接口可以定义为泛型，使同一策略能处理不同类型：

java复制public interface Validator<T> {
    boolean validate(T input);
}

public class EmailValidator implements Validator<String> {
    @Override
    public boolean validate(String email) {
        return email.matches("^[\\w-]+@[\\w-]+\\.[\\w-]+$");
    }
}

4.3 类型安全的异构容器

有时我们需要一个容器能存储多种类型但保持类型安全：

java复制public class TypeSafeContainer {
    private Map<Class<?>, Object> map = new HashMap<>();
    
    public <T> void put(Class<T> type, T instance) {
        map.put(Objects.requireNonNull(type), instance);
    }
    
    public <T> T get(Class<T> type) {
        return type.cast(map.get(type));
    }
}