Dv
Тут не требуется никакой вывод.
Size: a a a
2020 March 21
Dv
(под локальным я тут имею в виду — вывод типов в пределах выражения)
Dv
И, кажется, других примеров такого вывода, кроме тернарочки, у нас вообще и нету вовсе?
AH
Тут не требуется никакой вывод.
Пример неудачный так как все является обжектом
Animal Foo{
return Cat()
}
Animal Bar{
return ""
}
Animal Foo{
return Cat()
}
Animal Bar{
return ""
}
AH
Второе не скомпилится по тайп чеку.
Dv
Мне больше добавить нечего.
Dv
Пиши пропозал в спеку, делай референс имплементацию, na zdorovie.
AH
Пиши пропозал в спеку, делай референс имплементацию, na zdorovie.
👌
Dv
На самом-то деле этот момент и правда бывает бесячим, особенно с nullable-типами. Будешь делать — заодно запили, чтоб работало
int? x = cond ? 1 : null;NT
Дело в том, что в общем случае у тебя может быть несколько одинаково общих типов в разных ветках тернарного оператора (например, общий базовый класс и общий базовый интерфейс). Поэтому компилятор действительно в общем случае не может этого угадать.
Может, но не хочет
Dv
Может, но не хочет
В общем случае не может.
NT
Может
Dv
Ну и как?
Dv
void Foo() {
var x = cond ? a : b;
}Какой из общих супертипов
a и b вот тут нужно вывести?Dv
Если у них есть три общих интерфейса и общий базовый класс.
AH
void Foo() {
var x = cond ? a : b;
}Какой из общих супертипов
a и b вот тут нужно вывести?Не, ну тут недостаточно констрейнов
AH
а вот тут достаточно
Animal x = cond ? cat : dog;
Animal x = cond ? cat : dog;
Dv
Не, ну тут недостаточно констрейнов
Именно поэтому я говорю, что в общем случае задача в сегодняшнем языке не решается.
Dv
Но её вполне можно решить в большинстве частных случаев.
NT
void Foo() {
var x = cond ? a : b;
}Какой из общих супертипов
a и b вот тут нужно вывести?Из использования x