Ад Generic Restriction Hell: Bound Mismatch

Я работаю над проектом, в котором есть обширное дерево общего наследования и зависимостей. Перейдите в раздел редактирования, чтобы увидеть лучший пример. Основы выглядят примерно так:

class A {
  ...
}

class B {
  ...
}

class C extends B {
  ...
}

class D<T extends B> extends A {
  ...
}

class StringMap<T extends A> {
   HashMap<String, T> _elements;
   ...
}

Итак, теперь я собираюсь написать класс, содержащий определенный тип StringMap .

class X {
  StringMap<D<C>> _thing = new StringMap<D<C>>;
  ... 
}

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

class DC extends D<C> {

}

//and go to update X
class X {
  StringMap<D<C>> _thing = new StringMap<D<C>>(); //still works fine
  StringMap<DC> _thing = new StringMap<DC>(); //error
  ... 
}

Eclipse выдает ошибку

Несоответствие привязки: Тип DC не является допустимой заменой ограниченного параметра type StringMap

Итак, вопрос в том, почему это просто не работает? DC ничего не делает, кроме расширения D и повторения конструкторов. Почему StringMap видит DC как другой, если это просто дочерний класс того, что он исключает?

РЕДАКТИРОВАТЬ:
ОК, пример переработан, чтобы быть ближе к тому, что я на самом деле делаю. Я протестировал его, и он действительно выдает ошибку. Я здесь использую общий тип, чтобы гарантировать, что clone () вернет правильный класс для всех, кто реализует его в дереве наследования. Затем в подклассах я использую B > , чтобы гарантировать, что подклассы B передаются в подкласс B как общий тип T .

public abstract class Undoable<T> implements Comparable<T> {
  public abstract T clone();
  public abstract void updateFields(T modified);
}

abstract public class A<T extends A<T, U>, U extends Comparable<U>>
    extends Undoable<T> {
  abstract U getKey();

  @Override
  public int compareTo(T element)
  {
    return getKey().compareTo(element.getKey());
  }
}

public class B<T extends B<T>> extends A<T, String> {
  @Override
  public T clone()
  {
    // TODO Auto-generated method stub
    return null;
  }

  @Override
  public void updateFields(T modified)
  {
    // TODO Auto-generated method stub
  }

  @Override
  String getKey()
  {
    // TODO Auto-generated method stub
    return null;
  }
}

public class C extends B<C> {

}

public class D<T extends B<T>> extends A<D<T>, String> {
  @Override
  String getKey()
  {
    // TODO Auto-generated method stub
    return null;
  }

  @Override
  public D<T> clone()
  {
    // TODO Auto-generated method stub
    return null;
  }

  @Override
  public void updateFields(D<T> modified)
  {
    // TODO Auto-generated method stub
  }
}

public class DC extends D<C> {

}

public class StringMap<T extends Undoable<T>> {
  HashMap<String, T> _elements;

}

public class Main {
  public static void main(String[] args)
  {
    StringMap<D<C>> _thing = new StringMap<D<C>>(); //works
    StringMap<DC> _thing1 = new StringMap<DC>(); //error
//Bound mismatch: The type DC is not a valid substitute for
//the bounded parameter <T extends Undoable<T>> of the type StringMap<T>

  }
}