S 扩展 S 的 ArrayList 是语言中有用的构造还是只是语法的副作用

Question

可以在这个 s1 中添加除 null 之外的任何内容吗？ （并安全地分配给 temp ）

是

<S extends ArrayList<S>>

语言中的有用构造还是只是语法副作用？我将 S 解释为只能包含 ArrayLists 的 ArrayLists 的 ArrayLists 的 ArrayLists 等对象的 ArrayList 是否正确？

public class Foo{
    public static <S extends ArrayList<S>> void f1() {
        S s1 = (S) new ArrayList<S>();

        // s1.add( ???? );  // can anything be added here other than null?
        S temp = s1.get(0);
    }
}

Answer 1

您只能将 s1 和 null 添加到其中，而不能将 s1 或其他对象强制转换为 S：

s1.add(s1);
s1.add(s1.get(0));

您知道范围内没有其他满足S extends ArrayList<S> 约束的对象，因为类型参数 S 仅在此范围内声明。 这就是为什么在方法签名中没有在多个地方使用泛型类型参数的情况下，为方法定义泛型类型参数被认为是不好的做法。