Здравствуйте, night beast, Вы писали:

NB>Здравствуйте, eric.av, Вы писали:

NB>>>>во втором неоднозначность преобразования (возможно и к String и к Nullable<String>).
EA>>А что в инструкции A = (...) ? B : C; типы B и C не должны приводится к типу A? Просто не совсем понятно в чем смысл преодразования типа B в С или С в B.

NB>Конструкции (...) ? B : C нет.
NB>есть конструкция (...) ? T : T. (то есть или B должно приводиться к С или С к B)
NB>К чему потом будет приводиться T -- это уже второй вопрос.

Ещё можно добавить, что конструкции A = (...) ? T : T тоже нет. Т.е. full-expression вполне может быть просто вида:

С ? E1 : E2;

без всяких дальнейших преобразований и использований результата вычисления E1 (или E2).
Но даже тут E1 и E2 всё равно должны однозначно приводится к одному типу.