C# XOR on two byte variables will not compile without a cast [duplicate]

by

I can’t give you the rationale, but I can tell why the compiler has that behavior from the stand point of the rules the compiler has to follow (which might not really be what you’re interesting in knowing).

From an old copy of the C# spec (I should probably download a newer version), emphasis added:

14.2.6.2 Binary numeric promotions This clause is informative.

Binary numeric promotion occurs for
the operands of the predefined +, ?,
*, /, %, &, |, ^, ==, !=, >, <, >=, and <= binary operators. Binary
numeric promotion implicitly converts
both operands to a common type which,
in case of the non-relational
operators, also becomes the result
type of the operation. Binary numeric
promotion consists of applying the
following rules, in the order they
appear here:

  • If either operand is of type decimal, the other operand is
    converted to type decimal, or a
    compile-time error occurs if the other
    operand is of type float or double.
  • Otherwise, if either operand is of type double, the other operand is
    converted to type double.
  • Otherwise, if either operand is of type float, the other operand is
    converted to type float.
  • Otherwise, if either operand is of type ulong, the other operand is
    converted to type ulong, or a
    compile-time error occurs if the other
    operand is of type sbyte, short, int,
    or long.
  • Otherwise, if either operand is of type long, the other operand is
    converted to type long.
  • Otherwise, if either operand is of type uint and the other operand is of
    type sbyte, short, or int, both
    operands are converted to type long.
  • Otherwise, if either operand is of type uint, the other operand is
    converted to type uint.
  • Otherwise, both operands are converted to type int.

So, basically operands smaller than an int will be converted to int for these operators (and the result will be an int for the non-relational ops).

I said that I couldn’t give you a rationale; however, I will make a guess at one – I think that the designers of C# wanted to make sure that operations that might lose information if narrowed would need to have that narrowing operation made explicit by the programmer in the form of a cast. For example:

byte a = 200;
byte b = 100;

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

While this kind of truncation wouldn’t happen when performing an xor operation between two byte operands, I think that the language designers probably didn’t want to have a more complex set of rules where some operations would need explicit casts and other not.

Just a small note: the above quote is ‘informational’ not ‘normative’, but it covers all the cases in an easy to read form. Strictly speaking (in a normative sense), the reason the ^ operator behaves this way is because the closest overload for that operator when dealing with byte operands is (from 14.10.1 “Integer logical operators”):

int operator ^(int x, int y);

Therefore, as the informative text explains, the operands are promoted to int and an int result is produced.

More Related Contents:

  1. What does the ">>=" operator mean in C#?
  2. How do I determine if multiple items are selected in a ListBox
  3. If statement continuing when false (multiple || and &&)
  4. What does question mark and dot operator ?. mean in C# 6.0?
  5. Can’t operator == be applied to generic types in C#?
  6. What is the difference between the | and || or operators?
  7. How do I overload the square-bracket operator in C#?
  8. Is there a C# case insensitive equals operator?
  9. What is the “??” operator for? [duplicate]
  10. Is relying on && short-circuiting safe in .NET?
  11. Why ‘&&’ and not ‘&’?
  12. Is there an exponent operator in C#?
  13. Is there any performance difference between ++i and i++ in C#?
  14. Is it possible to create a new operator in c#?
  15. Define a generic that implements the + operator [duplicate]
  16. Why do C#’s binary operators always return int regardless of the format of their inputs?
  17. What does |= (single pipe equal) and &=(single ampersand equal) mean
  18. explicit conversion operator error when converting generic lists
  19. Equality comparison between multiple variables
  20. Convert string value to operator in C#
  21. How can I calculate divide and modulo for integers in C#?
  22. How to call custom operator with Reflection
  23. What are the | and ^ operators used for? [duplicate]
  24. What does the operator “
  25. What does the ‘%’ operator mean?
  26. How to get defined operators for a type in .net
  27. The model item passed into the dictionary is of type .. but this dictionary requires a model item of type
  28. How costly is .NET reflection?
  29. .NET Memory issues loading ~40 images, memory not reclaimed, potentially due to LOH fragmentation
  30. WPF DataBinding not updating?

Leave a Comment