为什么不编译？

int? number = true ? 5 : null;

无法确定条件表达式的类型，因为'int'和<null>之间没有隐式转换

该规范（§7.14）说，对于条件表达式b ? x : y，有三种可能，要么x和y都有一个类型和某些良好的条件得到满足，只有一个x和y有型和某些良好的条件得到满足，或者编译时错误发生。在这里，“一定的良好条件”意味着某些转换是可能的，我们将在下面详细介绍。

现在，我们来看一下规范的相关部分：

如果只有一个x与y具有类型，都x和y是隐式转换为这种类型，那么这是条件表达式的类型。

这里的问题是

int? number = true ? 5 : null;

条件结果中只有一个具有类型。这里x是一个int文字，并且y是null其中没有不具有类型和null不隐式转换为一个int¹。因此，不满足“某些良好条件”，并且会发生编译时错误。

有是解决此两种方法：

int? number = true ? (int?)5 : null;

在这里，我们仍然只有x和y类型之一。请注意，null 仍然没有一个类型尚未编译器不会有任何问题，这一点，因为(int?)5和null都是隐式转换为int?（第6.1.4节和第6.1.5节）。

另一种方法显然是：

int? number = true ? 5 : (int?)null;

但现在我们必须阅读规范中的其他条款，以了解为什么可以这样：

如果x有类型X和y具有类型Y，然后

• 如果一个隐式转换（第6.1节）从存在X于Y，但不能从Y到X，然后Y是条件表达式的类型。

• 如果一个隐式转换（第6.1节）从存在Y于X，但不能从X到Y，然后X是条件表达式的类型。

• 否则，将无法确定表达式类型，并且会发生编译时错误。

这x是类型的int，y也是类型的int?。没有从int?到的隐式转换int，但是有从到的隐式转换int，int?因此表达式的类型为int?。

¹：进一步注意，在确定条件表达式的类型时忽略了左侧的类型，这是此处常见的混淆源。

null 没有任何可识别的类型-它只需要一点点刺激就可以使其高兴：

int? number = true ? 5 : (int?)null;

正如其他人提到的，5是一个int，null不能隐式转换为int。

以下是解决此问题的其他方法：

int? num = true ? 5 : default(int?);
int? num = true ? 5 : new int?();

int? num = true ? 5 : null as int?;
int? num = true ? 5 : (int?)null;

int? num = true ? (int?)5 : null;
int? num = true ? 5 as int? : null;

int? num = true ? new int?(5) : null;

另外，在您看到的任何地方int?，都可以使用Nullable<int>。

C# 9现在允许在此博客

目标类型？和？

有时有条件 和？：表达式在分支之间没有明显的共享类型。这种情况今天失败了，但是如果两个分支都转换为以下目标类型，C＃9.0将允许它们：

Person person = student ?? customer; // Shared base type
int? result = b ? 0 : null; // nullable value type

或您的示例：

// Allowed in C# 9.
int? number = true ? 5 : null;