Java 泛型通配符扩展最终类

Question

为什么 Java 在编译我的 TestGenerics class 时不抛出任何警告，考虑到 String class 是 final 并且不能扩展？

import java.util.*;
    public class TestGenerics { 
        public void addStrings(List<? extends String> list) {
          // some code here
        }
    }
}

Answer 1

假设我有这样的方法:

public List<? extends T> filterOutNulls(List<T> input) { ...

诚然，这不是世界上最好的签名，但仍然完全合法。如果我通过 List<String> 会发生什么那个方法？根据签名，它返回一个 List<? extends String> .如果 Java 不允许该类型，则不可能将此方法用于 List<String> (或者至少，不可能使用返回值)。

其次，extends在这种情况下语法仍然有用，因为 List<String>和 List<? extends String>有不同的限制——具体来说，除了 null 之外你不能添加任何东西直译为 List<? extends String> .我有时会使用 ? extends表示一个集合是只读的(因为您可以传入的唯一 T 是 null )和 ? super表示只写(因为你只能将 T 作为 Object 输出)。这并非完全万无一失(您仍然可以调用 remove 方法、传入 null、向下转换等)，但可以作为一个温和的提醒，提醒您可能打算如何使用该集合。