面向对象程序设计(泛型)

2023-12-25 12:32:32

泛型

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

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

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

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 等。这让我们可以创建一个可以存放各种类型的盒子。

类型擦除

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

c1和 c2 满足 c1==c2

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

通配符

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

1. **`?` 通配符:**
? ?- `?` 表示未知类型,通常用于声明泛型方法或接口中的参数类型。
? ?- 例如,你可以声明一个接受任意类型的 List 的方法:
? ? ?```java
? ? ?public void printList(List<?> list) {
? ? ? ? ?for (Object item : list) {
? ? ? ? ? ? ?System.out.print(item + " ");
? ? ? ? ?}
? ? ? ? ?System.out.println();
? ? ?}
? ? ?```
? ? ?在这里,`List<?>` 表示可以接受任何类型的 List。

2. **`<? 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。

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

?

文章来源:https://blog.csdn.net/hhxxttx_/article/details/135193756
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。