Следующий код не компилируется:
//int a = ...
int? b = (int?) (a != 0 ? a : null);
Для компиляции его необходимо изменить на
int? b = (a != 0 ? a : (int?) null);
Поскольку оба b = null и b = a являются законными, для меня это не имеет смысла.
Почему нам нужно отбрасывать null в int? и почему мы не можем просто предоставить явный тип для всего выражения (что, как я знаю, возможно в других случаях)?
Из раздела 7.13 Спецификации языка С#:
Второй и третий операнды оператора?: управляют типом условного выражения. Пусть X и Y - типы второго и третьего операндов. Тогда,
- Если X и Y являются одним и тем же типом, то это тип условного выражения.
- В противном случае, если неявное преобразование (§6.1) существует из X в Y, но не от Y до X, то Y является типом условного выражения.
- В противном случае, если неявное преобразование (§6.1) существует от Y до X, но не от X до Y, то X является типом условного выражения.
- В противном случае тип выражения не может быть определен, и возникает ошибка времени компиляции.
В вашем случае нет никакого неявного преобразования из int в null или наоборот. Ваш бросок решает проблему, int преобразуется в int?
Обе альтернативы оператора ?: должны быть одного типа.
В противном случае компилятор не может вывести тип всего условного выражения.
null не является int, поэтому вам нужно дать подсказку компилятору, что результирующий тип int?.
Изменить: как указывали другие, два типа не обязательно должны быть одинаковыми, но один из них должен быть привязан к другому (другой будет типом результата). Подробнее см. спецификации.
Вы можете спасти себя от кастинга, если вы используете default(int?) вместо null.
int a = 42;
int? b = (a != 0 ? a : default(int?));
потому что, когда вы используете такую нотацию, оба члена должны быть одного типа, поэтому вам нужно явно сказать "этот член является int?".
ясно?
Когда вы используете условный оператор с операндами разных типов, компилятор проверяет, может ли один из типов быть неявным образом преобразован в другой тип.
Если ни один из типов не может быть неявно преобразован в другой, он выдаст ошибку, даже если есть третий тип, который они могут как неявно преобразовать. Компилятор не будет вставлять неявное преобразование с обеих сторон сразу.
В вашем случае как int, так и null требуется, чтобы неявные преобразования стали int?, поэтому он не работает.
Вам нужно изменить код, чтобы одна сторона была int?, а другая сторона была неявно преобразована в int?. Простейший способ сделать это - заменить null на new int?() следующим образом:
int? b = (a != 0 ? a : new int?());
Для этого требуется только одно неявное преобразование (int to int?).
Это почти дубликат одного моих вопросов относительно условного оператора. Это не нуль, это действительно :.
Ответ, принятый там, довольно хорош, не кто иной, как Эрик Липперт, который находится в команде компилятора С#.