Что означает этот общий синтаксис?

Question

public final class ImmutableList<E> { 

    public final E head; 
    public final ImmutableList<E> tail; 

    public ImmutableList() { 
     this.head = null; 
     this.tail = null; 
    } 

    private ImmutableList(E head, ImmutableList<E> tail) { 
     this.head = head; 
     this.tail = tail; 
    } 

Я знаю, что public final E head объявляет атрибут из общего кончике E, этот синтаксис мне знаком, но что же это public final ImmutableList<E> tail; значит, почему объявляя этот атрибут, используя имя общего класса и то, что разница между:

public final E head; 

и это:

public final ImmutableList<E> tail; 

они похожи?

Answer 1

Этот код является типичной реализацией рекурсивного списка. В каждом списке есть голова типа E, а в виде хвоста - другой рекурсивный список, который также имеет голову типа E, а также хвост еще один рекурсивный список.

Проблема с рекурсией заключается в том, что для ее понимания вы должны сначала понять рекурсию.

Answer 2

Разница в том, что первый определяет ровно один объект типа E, названный головой. Последний определяет ImmutableList, содержащий кучу объектов E named tail. Это рекурсивное определение.