泛型上限和下限的用法

泛型上限和下限是Java中泛型的一种限制方式，用于限定泛型类型的范围。

上限通配符（extends）：
当我们使用泛型上限时，可以指定一个类型参数的上界，表示该类型参数必须是指定的类型或其子类。语法如下：

public class MyClass<T extends SomeClass> {
    // ...
}

在上面的示例中，`T`是一个类型参数，它必须是`SomeClass`类或其子类。

下限通配符（super）：
当我们使用泛型下限时，可以指定一个类型参数的下界，表示该类型参数必须是指定的类型或其父类。语法如下：

public class MyClass<T super SomeClass> {
    // ...
}

在上面的示例中，`T`是一个类型参数，它必须是`SomeClass`类或其父类。

使用泛型上限和下限可以提供更灵活的类型约束，使得代码更加安全和可复用。

相关问题

什么是类型通配符，如何定义类型通配符的上限和下限？

类型通配符是Java中的一个特殊符号“？”，它可以用来表示任何类型。在定义泛型类、泛型方法、泛型接口时，如果我们不确定要使用什么具体类型，就可以使用类型通配符。

类型通配符可以有上限和下限，其定义格式为：

- 上限通配符：<? extends T>，表示通配符代表的类型必须是T类型或T的子类。
- 下限通配符：<? super T>，表示通配符代表的类型必须是T类型或T的父类。

例如：

public void printList(List<? extends Number> list) {
    for (Number n : list) {
        System.out.print(n + " ");
    }
}

public void addList(List<? super Integer> list) {
    list.add(1);
    list.add(2);
    list.add(3);
}

在这个例子中，printList方法的参数类型通配符是<? extends Number>，表示只要是Number类型或其子类都可以作为参数传入该方法。而addList方法的参数类型通配符是<? super Integer>，表示只要是Integer类型或其父类都可以作为参数传入该方法。

java泛型extend和super

### 回答1：
Java泛型中的extend和super是用于限制泛型类型参数的关键字。

extend用于限制泛型类型参数的上界，表示泛型类型参数必须是指定类型的子类或实现类。例如，List<? extends Number>表示泛型类型参数必须是Number类或其子类。

super用于限制泛型类型参数的下界，表示泛型类型参数必须是指定类型的父类或超类。例如，List<? super Integer>表示泛型类型参数必须是Integer类或其父类。

使用extend和super可以使泛型类型参数更加灵活，可以适应不同的场景需求。但是需要注意的是，使用过多的extend和super可能会导致代码可读性降低，因此需要根据实际情况进行选择和使用。

### 回答2：
Java中可以通过泛型实现更强大的类型安全和代码的复用性。在使用泛型时，我们常常需要了解泛型的extend和super关键字，以便更好地理解和使用。

泛型的extend关键字

泛型的extend关键字用于限定泛型类型参数的上限，表示泛型类型参数必须是继承了某个类或实现了某个接口才能被使用。例如：

public class GenericClass<T extends Number> {
    private T data;
    public GenericClass(T data) {
        this.data = data;
    }
    public T getData() {
        return data;
    }
}

在上面的泛型类中，使用了T extends Number语法，表示泛型类型参数T必须是继承了Number类的某个子类，否则编译会报错。这样可以保证data属性的类型一定是Number或其子类类型。

泛型的super关键字

泛型的super关键字用于限定泛型类型参数的下限，表示泛型类型参数必须是某个类的父类或某个接口的实现类。例如：

public class GenericClass<T super Number> {
    private T data;
    public GenericClass(T data) {
        this.data = data;
    }
    public T getData() {
        return data;
    }
}

在上面的泛型类中，使用了T super Number语法，表示泛型类型参数T必须是Number类的父类，即可以是Number类本身或其父类类型。这样可以保证data属性的类型一定是Number类或其父类类型。

需要注意的是，泛型的extend和super关键字只能用于泛型类型参数，而不能用于普通类型。在实际使用中，我们需要根据具体的情况来灵活地使用泛型的extend和super关键字，以便在代码中实现更好的类型安全和更高的代码复用性。

### 回答3：
Java中的泛型是一种非常强大的语言特性，允许我们使用一种类型来表示多种类型，在编写类型安全且可重用的代码时经常用到。在泛型的使用中，我们有时需要约束所能使用的泛型类型，使得代码更加类型安全。在这种情况下，我们可以使用泛型的 extend 和 super 关键字。

在 Java 中，使用 extends 关键字可以为泛型类型参数添加上限限制。通过 extends 关键字，我们可以指定泛型类型参数必须是某个类或接口的子类。这样做的好处是能够防止代码中使用无效的类型参数，从而保证代码的类型安全性。值得注意的是，我们只能使用 extends 关键字来添加上限限制，而不能添加下限限制。

下面是一个例子，演示如何使用 extends 关键字：

public class Box<T extends Number> {
    private T t;

    public Box(T t) {
        this.t = t;
    }

    public T get() {
        return t;
    }

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

可以看到，Box 类使用了 extends 关键字，将泛型类型参数 T 限制为 Number 类型或其子类型。在此之后，我们就可以在 Box 类中安全地使用 Number 类型或其子类型，如 Integer、Double 等。

除了上限限制之外，Java 还提供了另一种泛型类型参数的约束方式：super 关键字。使用 super 关键字，我们可以限制泛型类型参数必须是某个类或接口的父类。这个约束通常用于需要消费泛型对象的情况中，例如集合类的 add 方法。通过为泛型类型参数添加 super 关键字，我们可以保证只能添加某个类的子类到集合中，从而防止集合中出现无效的元素。类似地，我们也只能使用 super 关键字添加下限限制，而不能添加上限限制。

这里是一个例子，演示如何使用 super 关键字：

public class Box<T> {
    private List<? super T> list;

    public Box() {
        list = new ArrayList<>();
    }

    public void add(T t) {
        list.add(t);
    }

    public void addAll(List<? extends T> otherList) {
        list.addAll(otherList);
    }
}

可以看到，Box 类使用了 super 关键字来限定集合中存储的类型，只能是 T 的父类或其本身。这样做的好处是，保证添加到集合中的元素都是类型安全的，避免了程序运行时出现错误。

总之，泛型类型参数的 extend 和 super 关键字是 Java 中泛型使用的重要工具，能够帮助我们实现类型安全的代码。在实际使用中，根据具体场景灵活运用这两个关键字，能够提高代码的可读性和可维护性。