三元语句中没有隐式 int -> 短转换

Question

short s;
s = (EitherTrueOrFalse()) ? 0 : 1;

这失败了：

错误 CS0266：不能隐式 将类型“int”转换为“short”。一个 存在显式转换（你是 缺少演员表？）

谁能解释为什么会这样？我唯一能想到的是编译器不看第二个值，也不知道两者之间的范围，在这种情况下我写了类似

short s;
s = (EitherTrueOrFalse()) ? 0 : 65000;

对吗？ 唯一的解决办法是使用丑陋的演员表？

此外，C# 似乎没有短类型的类型后缀。这是一个非常严重的监督 IMO。否则，这将是一个解决方案......

Answer 1

编译器有一个从 constant 表达式到各种原始类型的隐式转换（只要值在适当的范围内），但这里的表达式不是常量 - 它只是一个 int表达。它几乎与以下内容相同：

short s;
s = CallSomeMethodReturningInt32();

就编译器而言。

有两个选项 - 您可以转换整个表达式，或转换后两个操作数中的每一个：

short s = (EitherTrueOrFalse()) ? (short) 0 : (short) 1;

使整体表达式类型为short。在这种特殊情况下，很遗憾没有数字文字后缀来显式声明 short 文字。显然语言设计者确实考虑到了这一点，但认为这是一种相对罕见的情况。 （我想我可能会同意。）

关于隐式常量转换的部分来自 C# 3.0 规范第 6.1.8 节：

6.1.8 隐式常量表达式转换

隐式常量 表达式转换允许 以下转换：

• 一个 constant-expression (§7.18) 类型 int 可以转换为 sbyte 类型， byte，short，ushort，uint，或ulong， 提供的价值 constant-expression 在 目标类型的范围。
• 一个 long 类型的 constant-expression 可以 被转换为类型ulong，提供 常量表达式的值 不是负数。

Answer 2

因为转换是由编译器完成的，而不是在运行时，所以我不会称其为丑陋的转换，我会称其为复杂的语法：

s = (EitherTrueOrFalse()) ? (short)0 : (short)1;

我的意思是，这就是它用 C# 编写的方式，即使它看起来很丑。

看到这个blog article。 有关该问题，请参阅 Marc Gravell's answer。

Answer 3

我猜这与无法编译的原因相同：

short s1 = GetShort1();
short s2 = GetShort2();
short s3 = s1 + s2;

即每当 short 用于某事时，它都会被提升为 int。