Почему в java enum объявлен как Enum < E расширяет Enum < E > > [Дубликат]

(Без этого трюка с рекурсивными обобщениями единственным другим вариантом было бы определение compareTo как public final int compareTo (Enum o) . Это не совсем то же самое, поскольку тогда можно было бы сравнить java.math.RoundingMode против java.lang.Thread.State без жалоб компилятора, что опять же не очень полезно.)

Хорошо, давайте уйдем от ] Enum , поскольку мы, кажется, зацикливаемся на нем. Вместо этого вот абстрактный класс:

public abstract class Manipulator<T extends Manipulator<T>>
{
    /**
     * This method actually does the work, whatever that is
     */
    public abstract void manipulate(DomainObject o);

    /**
     * This creates a child that can be used for divide and conquer-y stuff
     */
    public T createChild()
    {
        // Some really useful implementation here based on
        // state contained in this class
    }
}

У нас будет несколько конкретных реализаций этого - SaveToDatabaseManipulator, SpellCheckingManipulator, что угодно. Кроме того, мы также хотим позволить людям определять свои собственные, поскольку это очень полезный класс. ; -)

Теперь вы заметите, что мы используем рекурсивное универсальное определение, а затем возвращаем T из метода createChild . Это означает, что:

1) Мы знаем и компилятор знает , что если я позвоню:

SpellCheckingManipulator obj = ...; // We have a reference somehow
return obj.createChild();

, то возвращаемое значение определенно будет SpellCheckingManipulator , даже если он использует определение из суперкласса. Рекурсивные обобщения здесь позволяют компилятору знать, что для нас очевидно, поэтому вам не нужно постоянно приводить возвращаемые значения (как, например, вам часто приходится делать с clone () ).

2) Обратите внимание, что я не объявлял метод final, поскольку, возможно, некоторые конкретные подклассы захотят заменить его более подходящей версией для себя.Определение дженериков означает, что независимо от того, кто создает новый класс или как он определен, мы все равно можем утверждать, что возврат, например, BrandNewSloppilyCodedManipulator.createChild () по-прежнему будет экземпляром BrandNewSloppilyCodedManipulator . Если неосторожный разработчик попытается определить, что он возвращает только Манипулятор , компилятор им не позволит. И если они попытаются определить класс как BrandNewSloppilyCodedManipulator , он им тоже не позволит.

По сути, можно сделать вывод, что этот трюк полезен, когда вы хотите предоставить некоторую функциональность в суперклассе, которая каким-то образом становится более специфичной в подклассах. Объявляя суперкласс таким образом, вы блокируете общий параметр для любых подклассов, чтобы они были самим подклассом. Вот почему вы можете написать общий метод compareTo или createChild в суперклассе, чтобы он не стал излишне расплывчатым, когда вы имеете дело с конкретными подклассами.