Почему преобразование с параметрами другого типа НЕ допускается?

Question

Я просто не понимаю, как было бы так полезно преобразовать один универсальный контейнер в другой?

Stack <IType> stack = new Stack<SomeType>();

Answer 1

Вы говорите о таких конверсиях?

IFoo<Child> child = ...;
IFoo<Parent> parent = child;

Если так, то это то, что известно как ковариация. Обычно это в паре с контравариантом. Эта функция действительно недоступна в текущей версии C #. Но он будет доступен в следующей версии C # и VB.Net.

Некоторые статьи о готовящемся выпуске

• http://blogs.msdn.com/ericlippert/archive/2007/10/16/covariance-and-contravariance-in-c-part-one.aspx
• http://www.leading -edge-dev.de /? Р = 246

Answer 2

Хотя то, что говорит @JaredPar, является правдой, есть некоторые обходные пути для коллекций, которые доступны сегодня. Например, вы можете использовать расширение Cast IEnumerable, если есть допустимое приведение типов от одного типа к другому.

List<Foo> list = barList.Cast<Foo>().ToList();

Или вы можете явно конвертировать из одного типа в другой, используя Select.

List<double> dList = intList.Select( i => Convert.ToDouble( i ) ).ToList();

Обратите внимание, что оба эти метода создадут новую коллекцию соответствующего типа, а не просто назначат коллекцию переменной другого типа, которая будет доступна при определенных условиях в следующих версиях C # / VB.

Answer 3

Что касается приведенного вами примера:

Stack <IType> stack = new Stack<SomeType>();

Что бы произошло, если бы мы сделали это:

stack.Add(new SomeOtherTypeNotDerivedFromSomeType());

Это основная причина, почему ковариация не разрешена в .Net, я думаю, потому что базовая коллекция для универсального контейнера не обязательно соответствует объявленному типу. Статьи Эрика Липперта детализированы (больше, чем я могу).