AT
Size: a a a
2020 March 20
AH
AT
If x has type X and y has type Y then
If an implicit conversion (Implicit conversions) exists from X to Y, but not from Y to X, then Y is the type of the conditional expression.
If an implicit conversion (Implicit conversions) exists from Y to X, but not from X to Y, then X is the type of the conditional expression.
Otherwise, no expression type can be determined, and a compile-time error occurs.
If an implicit conversion (Implicit conversions) exists from X to Y, but not from Y to X, then Y is the type of the conditional expression.
If an implicit conversion (Implicit conversions) exists from Y to X, but not from X to Y, then X is the type of the conditional expression.
Otherwise, no expression type can be determined, and a compile-time error occurs.
IC
If x has type X and y has type Y then
If an implicit conversion (Implicit conversions) exists from X to Y, but not from Y to X, then Y is the type of the conditional expression.
If an implicit conversion (Implicit conversions) exists from Y to X, but not from X to Y, then X is the type of the conditional expression.
Otherwise, no expression type can be determined, and a compile-time error occurs.
If an implicit conversion (Implicit conversions) exists from X to Y, but not from Y to X, then Y is the type of the conditional expression.
If an implicit conversion (Implicit conversions) exists from Y to X, but not from X to Y, then X is the type of the conditional expression.
Otherwise, no expression type can be determined, and a compile-time error occurs.
👍
AH
If x has type X and y has type Y then
If an implicit conversion (Implicit conversions) exists from X to Y, but not from Y to X, then Y is the type of the conditional expression.
If an implicit conversion (Implicit conversions) exists from Y to X, but not from X to Y, then X is the type of the conditional expression.
Otherwise, no expression type can be determined, and a compile-time error occurs.
If an implicit conversion (Implicit conversions) exists from X to Y, but not from Y to X, then Y is the type of the conditional expression.
If an implicit conversion (Implicit conversions) exists from Y to X, but not from X to Y, then X is the type of the conditional expression.
Otherwise, no expression type can be determined, and a compile-time error occurs.
нихуя себе, нашлося.
AT
более того, если есть два типа с implicit cast друг в друга, то их использовать низзя
IC
более того, если есть два типа с implicit cast друг в друга, то их использовать низзя
ну хоть кто то меня понимает
AT
там есть ещё одна прикольная фишка
AT
int a = test() ? 1 : throw new ArgumentException();
bool test()
{
return false;
}
так тоже можно
AH
короче, тут недоработка. Ясно что компилятор пытается вывести тип выражения только по внутренностям экспрешна.
Но есть тонна примеров когда рослин может применять внешние констрейны для вывода типов (например учитывать возвращаемый тип)
Или когда мы присваиваем в перемнную другого типа, рослин может сделать имплисит каст
Даже вот такое не скомпилится
object a = true? “” : new List<int>();
Но есть тонна примеров когда рослин может применять внешние констрейны для вывода типов (например учитывать возвращаемый тип)
Или когда мы присваиваем в перемнную другого типа, рослин может сделать имплисит каст
Даже вот такое не скомпилится
object a = true? “” : new List<int>();
AH
то есть тут все ограничения есть, рослин умеет это делать
AH
Но здесь - не делает
AH
поэтому рослин тупой
AH
Не потому что это по спеке
AH
по спеке ебаный рослин умеет делать так
object a = SomeExpressionOfTypeString()
object a = SomeExpressionOfTypeString()
AH
или атк
Animal Foo() {
return Cat()
}
Animal Foo() {
return Cat()
}
AT
зато это поведение не ломает рефакторинги, при которых внезапно может появиться неоднозначность или информация для вывода потеряется
AH
и нихуя себе, тайпчеки проходят
AH
наверное потому что рослин таки знает о констрейнах метода в строчке return
AH
Короче, рослин умеет налагать констрейны на экспрешн и имплист каст для него это bread & butter
Но тут внезапно НЕТ
Но тут внезапно НЕТ