简介

Java 泛型是 JDK 5 引入的一项特性，它提供了编译时类型安全检测机制，允许在编译时检测出非法的类型。泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。

泛型的好处：

• 编译期检查类型安全
• 避免强制类型转换（cast）
• 代码更通用，更易重用

泛型的基本使用

泛型类

public class Box<T> {
    private T content;

    public void set(T content) {
        this.content = content;
    }

    public T get() {
        return content;
    }
}

使用：

Box<String> stringBox = new Box<>();
stringBox.set("Hello");
String value = stringBox.get(); // 无需强转

泛型方法

public class Util {
    public static <T> void printArray(T[] array) {
        for (T element : array) {
            System.out.println(element);
        }
    }
}

使用：

String[] arr = {"A", "B", "C"};
Util.printArray(arr);

泛型接口

public interface Converter<F, T> {
    T convert(F from);
}

public class StringToIntegerConverter implements Converter<String, Integer> {
    public Integer convert(String from) {
        return Integer.parseInt(from);
    }
}

泛型中的通配符：?

? 通配符

表示任意类型：

public void printList(List<?> list) {
    for (Object item : list) {
        System.out.println(item);
    }
}

? extends T（上界通配符）

表示 T 或 T 的子类（只读，不能写）：

public void printNumbers(List<? extends Number> list) {
    for (Number num : list) {
        System.out.println(num);
    }
}

不能添加元素：

list.add(10); //  报错

? super T（下界通配符）

表示 T 或 T 的父类（可以写入，但取出只能当作 Object）：

public void addNumbers(List<? super Integer> list) {
    list.add(10); //  OK
}

类型擦除（Type Erasure）

泛型在编译后会被擦除，JVM 不知道泛型类型，全部变成 Object：

List<String> list = new ArrayList<>();
List<Integer> list2 = new ArrayList<>();
System.out.println(list.getClass() == list2.getClass()); // true

正因如此：

• 不能使用 new T()
• 不能使用 T.class
• 不能判断 instanceof T

常见的泛型类库例子

• List<T>：存储 T 类型的集合
• Map<K, V>：泛型键值对
• Optional<T>：包装返回值
• Comparable<T>：排序比较接口
• Function<T, R>：函数式接口
• Callable<T>：异步任务的返回类型
• Future<T>：异步计算的结果

进阶技巧

泛型数组不允许：

List<String>[] lists = new List<String>[10]; //  编译错误

泛型静态方法必须声明<T>：

public static <T> void print(T value) {
    System.out.println(value);
}

实际项目中 Java 泛型的用法大全

通用返回封装类（统一 API 响应格式）

public class Result<T> {
    private int code;
    private String message;
    private T data;

    public Result(int code, String message, T data) {
        this.code = code;
        this.message = message;
        this.data = data;
    }

    public static <T> Result<T> success(T data) {
        return new Result<>(200, "Success", data);
    }

    public static <T> Result<T> fail(String message) {
        return new Result<>(500, message, null);
    }

    // getter/setter omitted
}

通用分页结果类

public class PageResult<T> {
    private List<T> records;
    private long total;

    public PageResult(List<T> records, long total) {
        this.records = records;
        this.total = total;
    }
}

结合 Spring 使用泛型的示例

通用 Service 接口

public interface BaseService<T, ID> {
    T findById(ID id);
    List<T> findAll();
    T save(T entity);
    void deleteById(ID id);
}

抽象 Service 实现类

public abstract class AbstractBaseService<T, ID> implements BaseService<T, ID> {

    @Autowired
    protected JpaRepository<T, ID> repository;

    @Override
    public T findById(ID id) {
        return repository.findById(id).orElse(null);
    }

    @Override
    public List<T> findAll() {
        return repository.findAll();
    }

    @Override
    public T save(T entity) {
        return repository.save(entity);
    }

    @Override
    public void deleteById(ID id) {
        repository.deleteById(id);
    }
}

具体 Service

@Service
public class UserService extends AbstractBaseService<User, Long> {
    // 可以扩展额外业务逻辑
}

Java 泛型 与 C#.net 泛型比较

Java 泛型 与 C# (.NET) 泛型有很多相似之处，C# 泛型的设计部分参考了 Java。但它们在类型擦除、协变/逆变、约束、运行时行为等方面有显著的不同。

类型擦除 vs 保留类型

• Java

List<String> list = new ArrayList<>();
List<Integer> intList = new ArrayList<>();
System.out.println(list.getClass() == intList.getClass()); // true

Java 在编译时擦除了泛型信息，List<String> 和 List<Integer> 其实是同一个字节码类。

• C#

List<string> list = new List<string>();
List<int> intList = new List<int>();
Console.WriteLine(list.GetType() == intList.GetType()); // false

C# 会为不同泛型参数生成不同的类实例，因此保留类型信息。

泛型约束

• Java

public class Repository<T extends BaseEntity> {
    public void save(T entity) { }
}

• C#

public class Repository<T> where T : BaseEntity, new() {
    public void Save(T entity) { }
}

C# 支持更丰富的泛型约束，例如要求是引用类型 class、值类型 struct、必须有无参构造函数 new() 等。

协变与逆变（Covariance & Contravariance）

• Java 使用通配符

List<? extends Number> numbers;  // 只能读取，不能添加
List<? super Integer> integers;  // 只能添加 Integer

• C# 使用 in / out

interface ICovariant<out T> { }
interface IContravariant<in T> { }

C# 在接口中用 in/out 明确支持协变逆变，且更强大、更类型安全。

泛型数组

• Java

T[] array = new T[10]; // 编译错误

• C#

T[] array = new T[10]; // 合法

基本类型泛型

• Java

List<int> list = new ArrayList<>(); // 编译错误
List<Integer> list = new ArrayList<>(); // 正确

• C#

List<int> list = new List<int>(); // 正确，泛型支持值类型

总结

协变逆变详解

协变（Covariance）和逆变（Contravariance）是泛型类型系统中用于处理子类和父类之间的泛型关系的重要机制。

Java 的协变（Covariant）与逆变（Contravariant）

Java 使用 通配符（wildcards） 来支持：

协变（? extends T） — 只读

• 意思是：某个未知类型是 T 的子类
• 常用于“只能读”的场景

public void readAnimals(List<? extends Animal> animals) {
    for (Animal animal : animals) {
        System.out.println(animal);
    }
}

可以传入 List<Cat>、List<Dog> 或 List<Animal>，但不能添加新元素。

animals.add(new Cat()); //  编译错误

逆变（? super T） — 只写

• 意思是：某个未知类型是 T 的父类
• 常用于“只能写”的场景

public void addCats(List<? super Cat> cats) {
    cats.add(new Cat());     //  合法
    // cats.add(new Animal()); //  不安全
}

可以传入 List<Cat>、List<Animal>、List<Object>，但不能安全地读取具体类型：

Object obj = cats.get(0); // 只能作为 Object 使用

C# 中的协变与逆变

• C# 协变（out）

interface IReadOnlyList<out T> {
    T Get(int index);
}

IReadOnlyList<Animal> animals = new List<Cat>(); //  协变成功

• C# 逆变（in）

interface IWriter<in T> {
    void Write(T value);
}

IWriter<Cat> writer = new AnimalWriter(); //  逆变成功

完整示例：协变 & 逆变

import java.util.*;

class Animal { }
class Cat extends Animal { }
class Dog extends Animal { }

public class VarianceDemo {

    public static void main(String[] args) {
        List<Cat> cats = new ArrayList<>();
        cats.add(new Cat());

        readAnimals(cats); //  协变
        addCats(cats);     //  逆变
    }

    // 协变：读取
    public static void readAnimals(List<? extends Animal> animals) {
        for (Animal a : animals) {
            System.out.println("Animal: " + a);
        }
        // animals.add(new Dog()); //  编译错误
    }

    // 逆变：写入
    public static void addCats(List<? super Cat> animals) {
        animals.add(new Cat()); // 
    }
}

总结