Ковариантность, контравариантность и устранение лишних параметров типа

Question

Учитывая следующую иерархию классов:

abstract class A {  }
abstract class B {  }
abstract class C {  }
abstract class D<TA, TB, TC>
  where TA : A
  where TB : B
  where TC : C {  }

class E : A {  }
class F : B {  }
class G : C {  }
class H : D<E, F, G> {  }

Я хочу создать простой универсальный метод для создания экземпляра объекта типа D:

void Create<TD>(string description)
  where TD : D
{
  var instance = Activator.CreateInstance<TD>();
}

Но компилятор вызываетвведите параметры для D, поэтому я должен написать следующее:

void Create<TD, TA, TB, TC>(string description)
  where TA : A
  where TB : B
  where TC : C
  where TD : D<TA, TB, TC>
{
  var instance = Activator.CreateInstance<D>();
}

Это означает, что вместо возможности писать

Create<H>("foo");

я должен написать

Create<H, E, F, G>("foo");

Мой вопрос: поскольку я указываю H в качестве конкретного экземпляра, почему компилятору требуются дополнительные параметры типа для базового класса D в сигнатуре метода?Почему он не может просто сделать вывод из H?

Answer 1

where TD : D подразумевает, что D не является родовым, где, где, где TD : D<TA, TB, TC> подразумевает, что D является родовым.