Re[11]: Что должен возвращать if?
От: WolfHound  
Дата: 17.10.14 18:21
Оценка:
Здравствуйте, Evgeny.Panasyuk, Вы писали:

WH>>Не нужна информация о том, в какой ветке, какой тип. И из какой ветки мы получили управление.

EP>Почему не нужна?
По тому, что мы уже обработали информацию о ветвлении внутри самого if.

WH>>По тому, что нужно значение.

EP>И какой тип у этого значения?
Тот, к которому приводятся типы обеих веток.

EP>Что в этом плохого?

То, что это не нужно.

EP>Почему это хуже, чем вывод общей базы,

Хотя бы по тому что для того чтобы получить данные из этого варианта тебе нужен ещё один точно такой же if.

EP>которая может быть крайне "слабым" типом вроде IPrintable, а то и вовсе Object.

В немерле Object не выводится. Там специальная закладка на этот счёт есть.
Ибо это почти всегда ошибка. А когда оно нужно, нужно одну из веток явно привести к Object.

Ради интереса можешь попробовать найти хоть один язык, который ведёт себя, так как вы тут хотите.
... << RSDN@Home 1.2.0 alpha 5 rev. 62>>
Пусть это будет просто:
просто, как только можно,
но не проще.
(C) А. Эйнштейн
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.