C# XOR на двухбайтовых переменных не скомпилирует без броска [дубликат]

Я не могу дать вам объяснение, но могу сказать, почему компилятор имеет такое поведение с точки зрения правил, которым компилятор должен следовать ( что может быть не совсем то, что вам интересно знать).

Из старой копии спецификации C # (мне, вероятно, следует загрузить более новую версию) добавлено выделение:

14.2.6.2 Двоичные числовые рекламные предложения Этот пункт является информативным.

Двоичное числовое повышение происходит для операндов предопределенных + , ? , * , / , % , & , | , ^ , == , ! = , > , <, > = и <= бинарные операторы. Двоичное числовое продвижение неявно преобразует оба операнда в общий тип, который в случае нереляционных операторов также становится результатом {{1} } тип операции. Двоичное числовое продвижение состоит из применения следующих правил в том порядке, в котором они появляются здесь:

• Если один из операндов имеет десятичный тип, другой операнд будет {{1} }} преобразуется в тип 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 между двумя байтовыми операндами, я думаю, что разработчики языка, вероятно, не хотели иметь более сложный набор правил, где некоторые операции потребуют явного слепки и прочее нет.

Небольшое примечание: приведенная выше цитата является «информационной», а не «нормативной», но она охватывает все случаи в удобной для чтения форме.Строго говоря (в нормативном смысле), причина того, что оператор ^ ведет себя таким образом, заключается в том, что ближайшая перегрузка для этого оператора при работе с операндами байтом является (из 14.10.1 "Целое число логические операторы "):

int operator ^(int x, int y); 

Поэтому, как объясняется в информативном тексте, операнды повышаются до int , и получается результат int .