Предположим, что
enum SomeEnum { One, Two, Three };
SomeEnum - это перечисление, поэтому он должен наследовать от Enum, поэтому, если я пишу:
Dictionary<Enum, SomeClass> aDictionary = new Dictionary<SomeEnum, SomeClass>();
Компилятор жалуется, что он не может неявно преобразовать SomeEnum в Enum?
Я считаю, что из-за covariance.
Короче:
aDictionary будет Dictionary<SomeEnum, SomeClass>, но в текущем контексте он известен как Dictionary<Enum, SomeClass>.
Если ваше объявление было разрешено, компилятор должен после этого сделать:
aDictionary.Add(someValueFromAnotherEnumUnrelatedToSomeEnum, aValue);
что явно несовместимо с фактическим типом словаря.
То почему co-дисперсия не разрешена по умолчанию, и вы должны явно включить ее в тех случаях, когда это имеет смысл.
Вывод состоит в том, что вы должны точно указать тип:
Dictionary<SomeEnum, SomeClass> aDictionary =
new Dictionary<SomeEnum, SomeClass>();
Enum в своем объявлении не является классом, который равен SomeEnum. Это должно быть
Dictionary<SomeEnum, SomeClass> aDictionary = new Dictionary<SomeEnum, SomeClass>();