Является ли S расширяет ArrayList из S полезной конструкцией на языке или просто побочным эффектом грамматики

Question

Нельзя добавить к этому s1 значение, отличное от нуля? (И безопасно назначены температуры)

ли

<S extends ArrayList<S>> 

полезная конструкция в языке или только грамматического побочный эффект? Правильно ли я интерпретирую S как ArrayList, который может содержать только объекты, которые являются ArrayLists из ArrayLists из ArrayLists и т. Д.?

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 объявляется только в этой области. Именно поэтому считается неправильной практикой определять параметр универсального типа для метода в случае, если вы не используете его более чем в одном месте в сигнатуре метода.