面向对象程序设计（泛型）

泛型

泛型的核心思想就是参数化类型，也就是说，我们可以编写出适用于多种类型的代码，而不必为每种类型都重复编写相似的代码。

比如，我们可以定义一个泛型类或方法，让它可以处理不同类型的数据，而不需要针对每种类型都写一份代码。这不仅提高了代码的重用性，还使得我们在编写代码时更容易发现和避免类型相关的错误。

假设我们要定义一个简单的泛型类，比如一个盒子，可以放入不同类型的物品。我们可以这样写：

java 复制代码

public class Box<T> {
    private T content;

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

    public T get() {
        return content;
    }
}

这里的 <T> 就表示这是一个泛型类，T 是类型参数。我们可以用不同的类型替代 T，比如 Integer、String 等。这让我们可以创建一个可以存放各种类型的盒子。

类型擦除

java 复制代码

Class c1 = new ArrayList<String>().getClass();
Class c2 = new ArrayList<int>().getClass();

c1和 c2 满足 c1==c2

c1 和 c2 是否相等取决于泛型的类型。在 Java 中，泛型的类型信息在运行时会被擦除，所以 ArrayList<String> 和 ArrayList<int> 的运行时类型都是 ArrayList

通配符

通配符是 Java 泛型中的一种用法，用于增加泛型类型的灵活性。通配符有两种：`?` 和 `<? extends T>`。

**`?` 通配符：**

`?` 表示未知类型，通常用于声明泛型方法或接口中的参数类型。
例如，你可以声明一个接受任意类型的 List 的方法：

```java

public void printList(List<?> list) {

for (Object item : list) {

System.out.print(item + " ");

}

System.out.println();

}

```

在这里，`List<?>` 表示可以接受任何类型的 List。

**`<? extends T>` 通配符：**

`<? extends T>` 表示类型的上界，通常用于限制泛型的范围。
例如，你可以声明一个接受类型为 `Number` 或其子类的 List 的方法：

```java

public void printNumberList(List<? extends Number> list) {

for (Number item : list) {

System.out.print(item + " ");

}

System.out.println();

}

```

在这里，`<? extends Number>` 表示可以接受类型为 `Number` 或其子类的 List。

使用通配符能够增加方法或接口的灵活性，使其能够处理更广泛的数据类型。但需要注意的是，在使用通配符时，你无法往带有通配符的集合中添加元素，因为无法确定要添加的元素的确切类型。