Java дженериков расширение

Question

Я смотрел на дифф и увидел этот код:

public interface Vector<T extends Vector> 

который был заменен этим кодом:

public interface Vector<T extends Vector<T>> 

У меня проблемы оберточной мою голову вокруг него, что является разница? Как они работают по-другому?

Answer 1

Разница между этими двумя объявлениями заключается в том, что первый создает предупреждение о компиляторе, а второй - нет. Это связано с тем, что общие типы всегда должны использоваться с параметрами.

Эта декларация гарантирует, что если X реализует Vector он должен быть вектор X:

class X implements Vector<X> { 
... 

Все остальное будет производить ошибку компилятора.

На самом деле такая конструкция используется в JDK:

public abstract class Enum<E extends Enum<E>> implements Comparable<E>, Serializable { 
... 

это означает, что, когда мы заявляем перечислимую X оно (неявно) продолжается Enum<X>