Java泛型是如何工作的

Java泛型（Generics）是一种编程语言特性，它允许在编译时定义和检查类、接口和方法的类型参数化。泛型的主要目标是提高代码的可重用性和类型安全。

以下是Java泛型的工作原理：

1. 类型参数化：泛型允许你在类、接口和方法中使用类型参数。这些类型参数在实际使用时才会被具体的类型替换。例如，你可以创建一个泛型类Box<T>，其中T是一个类型参数，表示盒子可以容纳任何类型的对象。

public class Box<T> {
    private T content;

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

    public T getContent() {
        return content;
    }
}

2. 类型擦除：Java泛型是在编译时实现的，而不是在运行时。这意味着泛型信息在运行时是不可用的。为了实现这一点，Java使用类型擦除（Type Erasure）技术。类型擦除会将泛型类型参数替换为其限定类型（通常是Object或者其他具体类型）。因此，在运行时，所有的泛型实例都被视为原始类型。

3. 边界：你可以为泛型类型参数设置边界（Bounds），以限制它可以接受的类型。这有助于确保类型安全并提高代码的可读性。例如，你可以创建一个只能容纳Number或其子类的Box：

public class Box<T extends Number> {
    // ...
}

4. 通配符：Java泛型还提供了通配符（Wildcard）的概念，用于表示未知类型。通配符用?表示，可以用于限制泛型参数的类型范围。例如，你可以使用Box<?>来表示一个可以接受任何类型对象的盒子。

public void printBox(Box<?> box) {
    System.out.println(box.getContent());
}

总之，Java泛型通过类型参数化、类型擦除、边界和通配符等概念，实现了编译时的类型检查和代码重用。虽然泛型信息在运行时不可用，但它们仍然有助于提高代码的可读性和安全性。