Использование рекурсивных границ типа

Question

Мой друг нашел эту пикантную в Java API (https://docs.oracle.com/javase/7/docs/api/java/lang/Enum.html),

Class Enum<E extends Enum<E>> 

и читая следующую статью https://docs.oracle.com/javase/tutorial/java/generics/genTypes.html я мог понять, что вышеупомянутая линия влечет за собой синтаксически, но из примеров учитывая, что я не мог определить прецедент для этого за пределами класса Enum (рассмотрел источник).

Я хотел бы узнать больше о возможных проблемах, когда вышеприведенное может представить решение.

Answer 1

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

Представьте себе класс, как

class Node { 
    Node next; 
} 

, если продлить этот класс, вы застряли с Node.

class SpecialNode extends Node { 
    void foo() { 
     // euwww 
     SpecialNode nextNode = (SpecialNode) this.next; 
    } 
} 

Вы также не можете просто определить его как

class Node<T> { 
    T next; 
} 

потому, что позволило бы что-нибудь для T. Вы действительно хотите T, что extends Node или вы больше не можете использовать T как Node с точностью до Node без литья. Тем не менее, это работало бы на детские классы.

С помощью рекурсивных оценок как

class Node<T extends Node<T>> { 
    T next; 
} 

Вы ограничить T для себя или подклассов себя, который затем позволяет сделать

class SpecialNode extends Node<SpecialNode> { 
    void foo() { 
     SpecialNode nextNode = this.next; // type-safe! 
    } 
} 

Таким образом, как родитель и ребенок класс может получить доступ ко всему на их Уровень абстракции полностью типичен.

Answer 2

Обычно он полезен для определения некоторого поведения в суперклассе (например, в Enum), который зависит от информации о типе, относящейся к подтипу рассматриваемого класса (I actually asked a similar question a wee while ago).

Answer 3

Эта идиома почти всегда означает 'E должен быть типом подкласса. Например, вы можете заметить, что Enum implements Comparable<E>.

Когда класс расширяется, вы получите что-то вроде:

//   E extends Enum<E> ┐ 
class AnEnum extends Enum<AnEnum> {...} 

Теперь AnEnum также Comparable<AnEnum> и getDeclaringClass возвращает Class<AnEnum>.

Я видел эту идиому, связанную с curiously recurring template pattern. Цель состоит в том, что суперкласс может ссылаться на подкласс в целом.

(В связи с тем, что подкласс Enum генерируется компилятором, я не думаю, что есть на самом деле причина Enum, в частности, необходимо объявлять этот путь. Он мог бы просто был Enum<E>.)