& lt; E расширяет Enum & lt; E & gt; в Java [дубликат]

Это можно проиллюстрировать простым примером и техникой, которая может быть использована для реализации цепных вызовов методов для подклассов. В примере ниже setName возвращается значение Node, поэтому цепочка City не будет работать:

class Node {
    String name;

    Node setName(String name) {
        this.name = name;
        return this;
    }
}

class City extends Node {
    int square;

    City setSquare(int square) {
        this.square = square;
        return this;
    }
}

public static void main(String[] args) {
    City city = new City()
        .setName("LA")
        .setSquare(100);    // won't compile, setName() returns Node
}

. Таким образом, мы могли бы ссылаться на подкласс в общем объявлении, City теперь возвращает правильный тип:

abstract class Node<SELF extends Node<SELF>>{
    String name;

    SELF setName(String name) {
        this.name = name;
        return self();
    }

    protected abstract SELF self();
}

class City extends Node<City> {
    int square;

    City setSquare(int square) {
        this.square = square;
        return self();
    }

    @Override
    protected City self() {
        return this;
    }

    public static void main(String[] args) {
       City city = new City()
            .setName("LA")
            .setSquare(100);                 // ok!
    }
}

Если вы посмотрите на исходный код Enum, он имеет следующее:

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

    public final int compareTo(E o) {
        Enum<?> other = (Enum<?>)o;
        Enum<E> self = this;
        if (self.getClass() != other.getClass() && // optimization
            self.getDeclaringClass() != other.getDeclaringClass())
            throw new ClassCastException();
        return self.ordinal - other.ordinal;
    }

    @SuppressWarnings("unchecked")
    public final Class<E> getDeclaringClass() {
        Class<?> clazz = getClass();
        Class<?> zuper = clazz.getSuperclass();
        return (zuper == Enum.class) ? (Class<E>)clazz : (Class<E>)zuper;
    }

    public static <T extends Enum<T>> T valueOf(Class<T> enumType,
                                                String name) {
        T result = enumType.enumConstantDirectory().get(name);
        if (result != null)
            return result;
        if (name == null)
            throw new NullPointerException("Name is null");
        throw new IllegalArgumentException(
            "No enum constant " + enumType.getCanonicalName() + "." + name);
    } 
}

Прежде всего, что означает E extends Enum<E>? Это означает, что параметр типа является чем-то, что простирается от Enum и не параметризуется с необработанным типом (он сам параметризуется).

Это актуально, если у вас есть перечисление

public enum MyEnum {
    THING1,
    THING2;
}

, который, если я правильно знаю, переведен на

public final class MyEnum extends Enum<MyEnum> {
    public static final MyEnum THING1 = new MyEnum();
    public static final MyEnum THING2 = new MyEnum();
}

Таким образом, это означает, что MyEnum получает следующие методы:

public final int compareTo(MyEnum o) {
    Enum<?> other = (Enum<?>)o;
    Enum<MyEnum> self = this;
    if (self.getClass() != other.getClass() && // optimization
        self.getDeclaringClass() != other.getDeclaringClass())
        throw new ClassCastException();
    return self.ordinal - other.ordinal;
}

И что еще более важно,

    @SuppressWarnings("unchecked")
    public final Class<MyEnum> getDeclaringClass() {
        Class<?> clazz = getClass();
        Class<?> zuper = clazz.getSuperclass();
        return (zuper == Enum.class) ? (Class<MyEnum>)clazz : (Class<MyEnum>)zuper;
    }

Это делает getDeclaringClass() отличным от соответствующего объекта Class<T>.

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

Вы не единственный, кто задается вопросом, что это значит; см. Хаотический Java-блог .

«Если класс расширяет этот класс, он должен передать параметр E. Оценки параметра E для класса, который расширяет этот класс с тем же параметром E».

Ниже приведен модифицированный вариант объяснения из книги Java Generics and Collections : у нас есть Enum объявленный

enum Season { WINTER, SPRING, SUMMER, FALL }

, который будет расширен до class

final class Season extends ...

, где ... должен быть как-то параметризованным базовым классом для Enums. Давайте выясним, что это должно быть. Ну, одним из требований для Season является то, что он должен реализовывать Comparable<Season>. Итак, нам понадобится

Season extends ... implements Comparable<Season>

. Что вы могли бы использовать для ..., который позволил бы этому работать? Учитывая, что он должен быть параметризацией Enum, единственным выбором является Enum<Season>, так что вы можете иметь:

Season extends Enum<Season>
Enum<Season> implements Comparable<Season>

Таким образом, Enum параметризуется в таких типах, как Season. Реферат из Season и вы получите, что параметр Enum - это любой тип, который удовлетворяет

 E extends Enum<E>

Морис Нафталин (соавтор, Java Generics and Collections)

В случае Enum это бесполезно. Все будет работать одинаково, если оно было объявлено как

class Enum<E>

Этот пост полностью разъяснил мне эту проблему «рекурсивных родовых типов». Я хотел бы добавить еще один случай, когда эта конкретная структура необходима.

Предположим, что у вас есть общие узлы в общем графике:

public abstract class Node<T extends Node<T>>
{
    public void addNeighbor(T);

    public void addNeighbors(Collection<? extends T> nodes);

    public Collection<T> getNeighbor();
}

Тогда вы можете иметь графики специализированных типов:

public class City extends Node<City>
{
    public void addNeighbor(City){...}

    public void addNeighbors(Collection<? extends City> nodes){...}

    public Collection<City> getNeighbor(){...}
}