Conditional operator cannot cast implicitly?

by

This is a fairly frequently asked question.

In C#, we almost always reason from inside to outside. When you see

x = y;

we work out what is the type of x, what is the type of y, and whether the type of y is assignment compatible with x. But we do not use the fact that we know what the type of x is when we are working out the type of y.

That’s because there might be more than one x:

void M(int x) { }
void M(string x) { }
...
M(y); // y is assigned to either int x or string x depending on the type of y

We need to be able to work out the type of an expression without knowing what it is being assigned to. Type information flows out of an expression, not into an expression.

To work out the type of the conditional expression, we work out the type of the consequence and the alternative expressions, pick the more general of the two types, and that becomes the type of the conditional expression. So in your example, the type of the conditional expression is “int”, and it is not a constant (unless the condition expression is constant true or constant false). Since it is not a constant, you can’t assign it to byte; the compiler reasons solely from the types, not from the values, when the result is not a constant.

The exception to all these rules is lambda expressions, where type information does flow from the context into the lambda. Getting that logic right was very difficult.

More Related Contents:

  1. Type Checking: typeof, GetType, or is?
  2. What is the difference between String and string in C#?
  3. When should I use double instead of decimal?
  4. Convert String to Type in C# [duplicate]
  5. Creating a Generic type instance with a variable containing the Type
  6. How do I check if a type is a subtype OR the type of an object?
  7. Testing if object is of generic type in C#
  8. implicit operator using interfaces
  9. Error on if statement – cannot implicitly convert type to ‘bool’
  10. What is the difference between bool and Boolean types in C#
  11. Why isn’t Array a generic type?
  12. C# conditional AND (&&) OR (||) precedence
  13. Generic method multiple (OR) type constraint
  14. How to call generic method with a given Type object? [duplicate]
  15. Difference between “var” and “object” in C# [duplicate]
  16. Getting a System.Type from type’s partial name
  17. Passing just a type as a parameter in C#
  18. Is there a reasonable approach to “default” type parameters in C# Generics?
  19. C# – how to determine whether a Type is a number
  20. Why is this code invalid in C#?
  21. Why does the Linq Cast helper not work with the implicit cast operator?
  22. What SqlDbType maps to varBinary(max)?
  23. How to check if a class inherits another class without instantiating it? [duplicate]
  24. What is the difference between logical and conditional AND, OR in C#? [duplicate]
  25. Immutable type and property in C#
  26. What’s the difference between ‘int?’ and ‘int’ in C#?
  27. PostgreSQL and C# Datatypes
  28. C# dynamic type gotcha
  29. implicit operator with generic not working for interface
  30. Why doesn’t the conditional operator correctly allow the use of “null” for assignment to nullable types? [duplicate]

Leave a Comment