在C＃中，为什么条件运算符不能隐式转换为可空类型

Question

我很好奇为什么隐式强制转换失败...

int? someValue = SomeCondition ? ResultOfSomeCalc() : null;

以及为什么我必须执行显式强制转换

int? someValue = SomeCondition ? ResultofSomeCalc() : (int?)null;

在我看来，编译器具有做出隐式强制转换决策所需的所有信息，不是吗？

Answer 1

C＃3.0规范的相关部分是7.13，条件运算符：

？：运算符的第二和第三操作数控制条件表达式的类型。 令X和Y为第二和第三操作数的类型。 然后，

如果X和Y是同一类型，则这是条件表达式的类型；否则，如果存在从X到Y的隐式转换（第6.1节），但不存在从Y到X的隐式转换，则Y是条件表达式的类型。 否则，如果存在从Y到X的隐式转换（第6.1节），而不是从X到Y的隐式转换，则X是条件表达式的类型。 否则，将无法确定表达式类型，并且会发生编译时错误。

Answer 2

我也很生气，它不能基于赋值来推断类型，尤其是当它是值类型时。 但是，当您进入对象层次结构时，有一些原因。

如果“ ResultOfSomeCalc（）”返回“ int？”，则此方法有效 。 C＃需要弄清楚类型，无论赋值左侧是什么。 因此，您告诉它将返回null或int-编译器中的逻辑不存在，无法将其替换为Nullable作为公共分母。

请注意，这些变体确实可以工作，并且可以帮助您理解：

object someValue = true ? new Nullable<int>(ResultOfSomeCalc()) : null;

object someValue = true ? (int?)ResultOfSomeCalc() : null;

希望这可以帮助。

Answer 3

看起来这似乎是编译器应该能够自己解决的问题，但是使用default关键字还有另一种方法可以做到这一点。 它可能比演员表中的丑陋程度要小得多：

int? someValue = SomeCondition ? ResultofSomeCalc() : default(int?);

似乎没有很好地记录这种默认用法，但确实可以。 至少，它使您不必再用魔术值填充代码（我认为null / zero / false / etc实际上是魔术值）。

Answer 4

另请参见为什么此代码在C＃中无效？

Answer 5

如果您的函数ResultofSomeCalc（）返回int？ 然后这将工作。

如果函数返回int，则编译器会发出警告：无法确定条件表达式的类型，因为'int'和''之间没有隐式转换。
我猜这就是您所看到的。 条件运算符“？：”中的两个表达式必须具有相同的类型，或者必须可以通过隐式强制转换为相同的类型。

将ResultOfSomeCalc的返回类型更改为int ?，否则您将需要对null表达式进行强制类型转换。

Answer 6

使函数ResultOfSomeCalc（）的返回类型为nullabel int，如（int？）
诠释？ someValue =（int？）SomeCondition吗？ ResultofSomeCalc（）：（int？）null;