Является ли дисперсия параметров общего типа в C # 4.0 на шаг ближе для типов более высокого типа?

Question

Мы знаем, что реализующие классы по-прежнему инвариантны, несмотря на то, что их интерфейсы являются вариантами.Однако я спрашиваю, является ли cov / контрвариантность шагом ближе к параметрическому полиморфизму или это две отдельные концепции?

Answer 1

Дисперсия относится к подтипам, а не к видам.Тем не менее, я думаю, что вы могли бы использовать некоторые приемы подтипов, чтобы получить некоторые преимущества более высоких видов.Я все еще застрял с C # 3, так что я не очень экспериментировал с этим, но я, конечно, планирую.