<? super/extends String> 在方法和变量声明中

Question

给定：

import java.util.*;

public class Hancock {
    //insert code here
        list.add("foo");
    }
}

在第 5 行独立插入的哪两个代码片段在编译时不会出现警告？ （选择两项）

A. public void addString(List list) {
B. public void addString(List<String> list) {
C. public void addString(List<? super String> list) {
D. public void addString(List<? extends String> list) {

正确答案是 B 和 C。

答案 A 和 B 对我来说很清楚。对于 C 和 D 的答案，我知道继承的方向，但是我不明白为什么答案 D 不能在 Eclipse 中编译，而所有其他答案都可以（A 警告泛型，B 和 C 没有警告）。

Eclipse 中答案 D 的错误是 The method add(capture#1-of ? extends String) in the type List<capture#1-of ? extends String> is not applicable for the arguments (String)。

另一方面，它编译：

public void addString() {
    List<? extends String> list1 = new ArrayList<String>();
    List<? super String> list2 = new ArrayList<String>();
}

为什么？为什么<? super String> 在方法声明中不编译，而在变量声明中编译。

我知道String 是最终类，不能被任何其他类扩展，但这并不能向我解释这里发生了什么。

Answer 1

首先，泛型并不关心String 是最终的。它们对最终类和非最终类的工作方式相同。

考虑到这一点，为什么不允许 D 应该是显而易见的 - 如果是，您可以这样做：

void test() {
    List<Integer> integers = new ArrayList<Integer>();
    addADouble(integers);
    int a = integers.get(0); // ????
}

void addADouble(List<? extends Number> list) {
    list.add(new Double(5.0));
}

List<? extends Number> 是一个“扩展 Number 的东西的列表，但你不知道它到底是什么的列表”。 - 它可能是List<Double>，或List<Integer>，或List<Number>，或List<YourCustomSubclassOfNumber>，所以你不能添加任何东西，因为你不知道它是否是正确的类型。

Answer 2

首先，让我们看看答案C：

public void addString(List<? super String> list) {
    list.add("foo");
}

此方法声明表示您将被允许传递 List 对象，这些对象由 String 的某个超类参数化，例如 String 或 Object。所以：

1. 如果您通过List<String>，list.add("foo") 将完全有效。
2. 如果您通过List<Object>，list.add("foo") 将完全有效，因为“foo”是String（您可以将String 添加到List<Object>）。

这意味着答案 C 是正确的。

---

现在让我们看看答案 D。

如果你有这样的方法声明：

public void addString(List<? extends String> list) {

}

这意味着您将能够传递由String 的一些未知 子类型参数化的List 对象。因此，当您执行 list.add("foo"); 时，编译器不会知道提供的对象是否具有与 String 的 unknown 子类型匹配的类型，因此会引发编译时错误。

---

当你有：

public void addString() {
    List<? extends String> list1 = new ArrayList<String>();
    List<? super String> list2 = new ArrayList<String>();
}

这个片段编译得很好，因为list1 被定义为包含List 对象，这些对象属于String 的某些未知子类型，包括String 本身，这就是它有效的原因。 问题是您将无法添加任何内容，null 除外。

对于list2，该变量可以保存List 对象，这些对象由String 的某些超类型参数化，包括String 本身。

---

更多信息：

• What is PESC?
• What is the difference between super and extends in Java wildcards?