问如果没有强制转换，两个字节变量上的C#异或将无法编译

EN

我不能给你理由，但是我可以从编译器必须遵循的规则(这可能不是你真正感兴趣的)的角度来解释为什么编译器会有这样的行为。

从C#规范的旧副本(我可能应该下载更新的版本)中，重点添加了：

14.2.6.2二进制数字促销此子句提供信息。

对预定义的+、?、*、/、%、&、|、^、==、D10、D11、D12、D13和D14二元运算符的操作数进行二进制数值提升。二进制数值提升隐式地将两个操作数转换为公共类型，对于非关系运算符，该类型也成为操作的结果类型。二进制数字升级包括按以下规则在此处出现的顺序应用这些规则：

如果其中一个操作数的类型为decimal，则为

• ；如果另一个操作数的类型为float或double，则会发生编译时错误。
• 否则，如果其中一个操作数的类型为double，则另一个操作数将转换为double类型。
• 否则，如果其中一个操作数的类型为float，则另一个操作数转换为float类型。
• 否则，如果其中一个操作数的类型为ulong，则另一个操作数将转换为ulong类型，否则，如果另一个操作数的类型为sbyte、short、int或long，则会发生编译时错误。
• 否则，如果其中一个操作数的类型为long，则另一个操作数将转换为long类型。
• 否则，如果其中一个操作数属于uint类型，而另一个操作数属于sbyte、short或int类型，则这两个操作数都将转换为long类型。
• 否则，如果其中一个操作数属于uint类型，则另一个操作数将转换为uint类型。否则，两个操作数都将转换为int.

类型

因此，对于这些运算符，小于int的操作数基本上将被转换为int (对于非关系操作，结果将是int )。

我说过我不能给你一个理由；但是，我会猜测一下-我认为C#的设计者想要确保如果缩小可能会丢失信息的操作将需要由程序员以强制转换的形式显式地缩小操作。例如：

byte a = 200;
byte b = 100;

byte c = a + b;  // value would be truncated

虽然在两个字节操作数之间执行xor操作时不会发生这种截断，但我认为语言设计者可能不希望有一组更复杂的规则，其中一些操作需要显式强制转换，而另一些则不需要。

注意:上面的引用是“参考”而不是“规范”，但它以一种易于阅读的形式涵盖了所有的案例。严格地说(在标准意义上)，^运算符如此行为的原因是因为在处理byte操作数时，该运算符的最接近重载是(来自14.10.1“整数逻辑运算符”)：

int operator ^(int x, int y); 

因此，正如信息性文本所解释的那样，操作数被提升为int并产生int结果。

来自微软的半神程序员有一个答案：http://blogs.msdn.com/oldnewthing/archive/2004/03/10/87247.aspx

也许它更多的是关于编译器设计的。它们通过泛化编译过程使编译器变得更简单，它不必查看操作数的运算符，因此它将按位运算集中在与算术运算符相同的类别中。因此，经历了类型扩展

链接已死，存档地址：

https://web.archive.org/web/20140118171646/http://blogs.msdn.com/b/oldnewthing/archive/2004/03/10/87247.aspx

FWIW字节a= 25；字节b= 60；a=a^b；不起作用。然而，字节a= 25；字节b= 60；a ^= b；确实有效。