Здравствуйте, Evgeny.Panasyuk, Вы писали:
WH>>Не нужна информация о том, в какой ветке, какой тип. И из какой ветки мы получили управление.
EP>Почему не нужна?
По тому, что мы уже обработали информацию о ветвлении внутри самого if.
WH>>По тому, что нужно значение.
EP>И какой тип у этого значения?
Тот, к которому приводятся типы обеих веток.
EP>Что в этом плохого?
То, что это не нужно.
EP>Почему это хуже, чем вывод общей базы,
Хотя бы по тому что для того чтобы получить данные из этого варианта тебе нужен ещё один точно такой же if.
EP>которая может быть крайне "слабым" типом вроде IPrintable, а то и вовсе Object.
В немерле Object не выводится. Там специальная закладка на этот счёт есть.
Ибо это почти всегда ошибка. А когда оно нужно, нужно одну из веток явно привести к Object.
Ради интереса можешь попробовать найти хоть один язык, который ведёт себя, так как вы тут хотите.
... << RSDN@Home 1.2.0 alpha 5 rev. 62>>