Условный оператор запутывается, но почему? [дубликат] ⇐ C#

[Anonymous]

Предположим, что два класса являются потомками одного и того же суперкласса, например:

Код: Выделить всё

class MySuperClass{}
class A : MySuperClass{}
class B : MySuperClass{}

Тогда это задание не пройдет компилятор:

Код: Выделить всё

MySuperClass p = myCondition ? new A() : new B();

Компилятор сообщает, что A и B несовместимы (Тип условного выражения не может быть определен, поскольку не существует неявного преобразования между 'A' и 'B' [CS0173]). Но они оба типа MySuperClass, так что, по моему мнению, это должно сработать. Не то чтобы это имело большое значение; простое приведение — это все, что нужно, чтобы просветить компилятор. Но наверняка это загвоздка в компиляторе C#? Вы не согласны?

Подробнее здесь: https://stackoverflow.com/questions/408 ... ed-but-why