可空类型和三元运算符：为什么是`？ 10 : null` 被禁止？ [复制]

Question

这个问题在这里已经有了答案：

Nullable<value> 类型的条件运算符赋值？ (6 个回答)

为什么这个 C# 代码不能编译？ (4 个回答)

8 年前关闭。

我刚刚遇到一个奇怪的错误：

private bool GetBoolValue()
{
    //Do some logic and return true or false
}

然后，在另一种方法中，是这样的：

int? x = GetBoolValue() ? 10 : null;

很简单，如果方法返回true，给Nullable int x赋值10。 否则，将 null 分配给可为空的int。 但是，编译器抱怨：

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

我要疯了吗？

Answer 1

编译器首先尝试计算右边的表达式：

GetBoolValue() ? 10 : null

10是一个int字面量（不是int? ），而null是null 。 这两者之间没有隐式转换，因此出现错误消息。

如果将右侧表达式更改为以下表达式之一，则它会编译，因为int? 和null (#1) 以及int和int?之间int? （#2、#3）。

GetBoolValue() ? (int?)10 : null    // #1
GetBoolValue() ? 10 : (int?)null    // #2
GetBoolValue() ? 10 : default(int?) // #3

Answer 2

尝试这个：

int? x = GetBoolValue() ? 10 : (int?)null;

基本上发生的事情是条件运算符无法确定表达式的“返回类型”。 由于编译器隐式地决定10是一个int因此它决定这个表达式的返回类型也应该是一个int 。 由于int不能为null （条件运算符的第三个操作数），因此它会抱怨。

通过将null转换为Nullable<int>我们明确地告诉编译器此表达式的返回类型应为Nullable<int> 。 您可以轻松地将10为int? 也有同样的效果。

Answer 3

顺便说一句，C# 编译器的 Microsoft 实现实际上以一种非常微妙和有趣（对我而言）的方式错误地获取了条件运算符的类型分析。 我的文章是类型推断问题，第一部分(2006-05-24)。

Answer 4

尝试这个：

int? result = condition ? 10 : default(int?);

Answer 5

尝试以下方法之一：

int? x = GetBoolValue() ? (int?)10 : null;

int? x = GetBoolValue() ? 10 : (int?)null;

Answer 6

问题是三元运算符根据您的第一个参数分配推断类型...10 在这种情况下，它是一个 int，而不是一个可以为 null 的 int。

你可能有更好的运气：

int? x = GetBoolValue() (int?)10 : null;

Answer 7

int? x = GetBoolValue() ? 10 : (int?)null;

您看到这一点的原因是因为在幕后您使用的是 Nullable，并且您需要告诉 C# 您的“null”是 Nullable 的一个空实例。

Answer 8

只需添加一个明确的演员。

int? x = GetBoolValue() ? 10 : (int?)null;

混淆的是三元运算符 - 第二个参数是一个整数，第三个参数也是一个整数，而 null 不适合。

Answer 9

这是因为编译器通过其第二个和第三个操作数来确定条件运算符的类型，而不是根据您将结果分配给什么。 编译器可以用来确定类型的整数和空引用之间没有直接转换。