为什么 C# 的条件运算符 (?:) 有时会导致隐式类型转换失败？

C# 条件运算符(?:) 的隐式类型转换限制

C# 的条件运算符(?:) 提供了一种简洁的条件分支语法。但是，在隐式类型转换方面，它有时会表现出异常行为。

考虑以下代码片段：

<code class="language-csharp">bool aBoolValue;
byte aByteValue;

// 这段代码可以成功编译
if (aBoolValue) 
    aByteValue = 1; 
else 
    aByteValue = 0;

// 这段代码编译失败，并出现错误：“无法将类型“int”隐式转换为“byte”。
aByteValue = aBoolValue ? 1 : 0;</code>

为什么第一个代码片段可以编译，而第二个代码片段却失败了呢？

C# 中类型推断的作用

编译器分析代码时，会根据变量和表达式的使用上下文来确定它们的类型。这个过程称为类型推断。通常，类型推断是从表达式向外推断，而不是向内推断。

在第一个代码片段中，编译器根据 if-else 语句每个分支上的赋值来推断 aByteValue 的类型：aByteValue 被赋值为 1 或 0，它们都是字节。因此，编译器推断 aByteValue 是一个字节。

条件表达式的含义

条件运算符评估两个表达式：结果表达式和备选表达式。条件表达式的类型是这两个表达式中更通用的类型。

在第二个代码片段中，结果表达式和备选表达式都计算为整数（分别为 1 和 0）。因此，编译器推断条件表达式的类型为 int。

转换为兼容类型

由于条件表达式计算结果为 int，因此无法将其隐式转换为 byte。要解决此问题，需要显式地将表达式转换为 byte，如下面的代码所示：

<code class="language-csharp">aByteValue = aBoolValue ? (byte)1 : (byte)0;</code>

以上是为什么 C# 的条件运算符 (?:) 有时会导致隐式类型转换失败？的详细内容。更多信息请关注PHP中文网其他相关文章！