Java Puzzle 90: It's Absurd, It's Pain, It's Superclass

Следующая программа очень простая и ничего не делает. Но к ней есть два вопроса: почему она не компилируется и как это исправить?

public class Outer {
  class Inner1 extends Outer {}
  class Inner2 extends Inner1 {}
}

Проблема в том, что при создании класса вызывается "конструктор по-умолчанию", который создаётся автоматически и содержит вызов конструктора суперкласса, а этот вызов выглядит так: this.super(). Теперь становится понятно, почему компилятор ругается "cannot reference this before supertype constructor has been called". Это запрещено согласно спецификации (JLS 8.8.7.1). А исправить можно добавив конструктор без параметров в класс Inner2:

public class Outer {
  class Inner1 extends Outer {}
  class Inner2 extends Inner1 {
    Inner2() {
      Outer.this.super();
    }
  }
}

Такая конструкция уже компилируется, хотя и выглядит очень странно. Кстати, парсер IntelliJ IDEA продолжает показывать ошибку в этом месте.
Авторы предлагают решение лучше и советуют: Когда вы пишете вложенный класс спросите себя, действительно ли нужен доступ к членам класса, в который вы его вкладываете? Если нет, то делайте вложенный класс статическим. Я вообще не люблю вложенные классы. Они усложняют работу с наследованием, а так же с generics и reflection.

Java Puzzle 89: Generic Drugs

В предыдущей задаче мы поняли, что не надо использовать raw type. Написали программу, расставив везде нужные декларации. Что напечатает следующая программа?

public class LinkedList {
  private Node head;
  private class Node {
    E value;
    Node next;
    Node(E value) {
      this.value = value;
      this.next = head;
      head = this;
    }
  }
  public void add(E e) {
    new Node(e);
  }
  public void dump() {
    for (Node n = head; n != null; n = n.next)
      System.out.print(n.value + " ");
  }
  public static void main(String[] args) {
    LinkedList list = new LinkedList();
    list.add("world");
    list.add("Hello");
    list.dump();
  }
}

А она не хочет компилиться! Дело в том, что типы E разные для класса LinkedList и класса Node. Избегайте затенения параметра типа. Авторы говорили об опасности затенения в головоломках 71, 73 и 79. После этого сразу видно, что надо добавить второй параметр конструктору класса Node и слегка изменить метод add:

public class LinkedList {
  private Node head;
  private class Node {
    F value;
    Node next;
    Node(F value, Node next) {
      this.value = value;
      this.next = next;
    }
  }
  public void add(E e) {
   this.head = new Node(e, this.head);
   }
  public void dump() {
    for (Node n = head; n != null; n = n.next)
      System.out.print(n.value + " ");
  }
  public static void main(String[] args) {
    LinkedList list = new LinkedList();
    list.add("world");
    list.add("Hello");
    list.dump();
  }
}

Блин, с этими generics, как по минному полю ходишь. Хотя с template классами в C++ тоже не так всё просто...