Search code examples
c#.netlong-integer

Why cant the compiler infer that a large number is a long?

This compiles

var fourGb = (long)4*1024*1024*1024;

But this fails

var fourGb = 4*1024*1024*1024;

With "The operation overflows at compile time in checked mode".

So if the compiler knows this will be an overflow why cant it infer that the variable type should be a long?

Solution

  • Imagine the uproar that would cause. "But the compiler can figure out an expression should be evaluated as long, why can't the runtime do it?"

    And that's not going to happen, way too expensive.

    It is essential that the compiler evaluates expressions the same way as the runtime. If that wasn't the case, editing a constant expression and replacing a constant with a variable could suddenly cause runtime failure. Hard to diagnose failure at that, non-constant expressions are unchecked by default.