Java类型提升与转换疑问：byte变量无需强制转换赋值问题

Great question! This is a common gotcha in Java that mixes two important language rules: type promotion and compile-time constant handling. Let's break it down step by step.

First, you're right about the type promotion rule: when you perform arithmetic on byte, short, or char values, they get promoted to int first. So in the expression 56 + 10, both literals are treated as ints, and their sum is also an int (66).

But here's the key twist: 56 and 10 are compile-time constants. The Java compiler calculates their sum at compile time (instead of waiting for runtime) and then checks if that result (66) fits within the valid range of a byte (-128 to 127). Since 66 is well within that range, the compiler automatically does an implicit narrowing conversion for you—no need to write (byte) manually.

Let's test some variations to make this clearer:

• If the constant sum exceeds the byte range:

  // This will throw a compile error! 128 is outside byte's max value (127)
  byte var1 = 127 + 1;
  

• If one of the operands is a variable (not a constant):

  byte a = 56;
  // This will also throw a compile error—compiler can't guarantee a's value at compile time
  byte var1 = a + 10;
  // Fix: You need explicit casting here
  byte var1 = (byte)(a + 10);
  

To sum up the rule: When assigning the result of a compile-time constant expression to a smaller primitive type, the compiler will automatically narrow the type if the constant value falls within the target type's valid range. If the value is out of range, or the expression isn't a compile-time constant, you have to use explicit casting.

内容的提问来源于stack exchange，提问作者Jayesh