Ogólny interfejs przyjmuje siebie jako parametr. Cykl rekurencyjny?

Question

Zastrzeżenie: Nie mam całe mnóstwo doświadczeń z Java rodzajowych, ale moi koledzy i ja właśnie spędziliśmy stałą godzinę próbując rozszyfrować interfejs, który został zorganizowany tak:

interface HasAttributes<A extends HasAttributes<A, B>, 
         B extends HasAttributesType<B>> extends Identification<B> { 

Co dokładnie robi oznacza kiedy typowy interfejs przyjmuje parametr typu, który sam jest? Co to robi?

Answer 1

Nie jest sens tego - klasa Java Enum jest dobrym przykładem simliar sytuacji:

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

Istnieją pewne wiecania odpowiedzi w this Stack Overflow question about Enum które powinny rzucić nieco światła na to szczególne zastosowanie leków generycznych dla ciebie, a także odpowiedzieć na to bardziej elegancko niż ja.