C# Преобразование типа термического выражения

Question

Почему компилятор не может автоматически преобразовать значения в это выражение правильно?

var input = "Hello"; 
object x = string.IsNullOrEmpty(input) ? input : DBNull.Value; 

//could try this too and get similar compile time error 
object x2 = string.IsNullOrEmpty(input) ? 1 : input; 

Я понимаю, что DBNull.Value нельзя отнести к строке; Тем не менее, мне любопытно, почему он не может быть объединен с объектом, потому что результат просто сохраняет ссылку. Если вы разместите (object) перед DBNull.Value, он будет компилироваться и работать просто отлично.

Answer 1

Фикс его:

string x = string.IsNullOrEmpty(input) ? 
             input : 
             DBNull.Value.ToString(); 

---

Я нашел это отличные объяснения в Эрик Липпертblog:

спецификация для ?: оператора состояний следующие:

Второй и третий операнды оператора?: управляет типом условным выражением. Пусть X и Y - типы второго и третьих операндов. Затем

• Если X и Y имеют одинаковый тип, то это тип условного выражения .

• В противном случае, если неявное преобразование существует от X до Y, , но не от Y до X, то Y является типом условного выражения.

• В противном случае, если неявное преобразование существует от Y до X, но не от от X до Y, то X является типом условного выражения.

• В противном случае не может быть определен тип выражения, и возникает ошибка времени компиляции.

В этом случае:

• string и DBNull не тот же тип.
• string не имеет неявное преобразование в DBNull
• DBNull не имеет неявное преобразование в string

Таким образом, мы в конечном итоге с ошибкой времени компиляции.

Компилятор не проверяет, что такое тип, который может «удерживать» эти два типа.

Answer 2

Это потому, что string не подлежит замене на DbNull и наоборот. При использовании тернарного оператора оба результирующих операнда должны быть совместимы.

Answer 3

Помощь компилятор найти общий базовый тип вы хотите, как это:

object x = string.IsNullOrEmpty(input) ? (object)input : DBNull.Value;