本文深入探讨了Java中原始类型转换的细微差别，特别是int类型常量表达式到short的隐式窄化转换，以及long类型到int的强制转换要求。核心在于Java语言规范（JLS 5.2）中对常量表达式的特殊处理，允许int型常量在值域内自动适配更小的整数类型，而long类型则无此便利。文章还将解释运算符优先级对类型转换行为的影响，并阐述此规则设计的背景和实用性。
1. Java赋值转换规则（JLS 5.2）
java语言规范（jls）在5.2节“赋值转换”中明确定义了原始类型赋值时的转换规则。其中一个关键点在于对常量表达式的特殊处理：
此外，如果表达式是byte、short、char或int类型的常量表达式（§15.28）：如果变量的类型是byte、short或char，并且常量表达式的值可以在变量类型中表示，则可以使用窄化原始类型转换。
这意味着，当一个int类型的常量表达式被赋值给byte、short或char类型的变量时，如果该常量的值在目标类型的范围内，编译器会自动执行隐式的窄化转换，而无需显式强制类型转换。
示例分析：
考虑以下代码片段：
// 示例1: short t = (short)1 * 3; short t = (short)1 * 3; // 示例3: short x = (int) 30; short x = (int) 30;
在short t = (short)1 * 3;中，尽管(short)1将1转换为short，但根据运算符优先级，乘法操作((short)1) * 3会使得short类型的1在与int类型的3相乘时，根据二进制数值提升规则（Binary Numeric Promotion），short会被提升为int，因此表达式((short)1) * 3的结果类型是int，值为3。由于3是一个int类型的常量表达式，并且其值3在short类型的表示范围内，因此编译器允许隐式窄化赋值给变量t。
立即学习“Java免费学习笔记（深入）”；
同理，在short x = (int) 30;中，(int) 30是一个int类型的常量表达式，其值为30。由于30在short类型的表示范围内，编译器同样允许隐式窄化赋值给变量x。
然而，JLS中并没有类似的规则适用于long类型的常量表达式。这意味着，即使一个long类型的常量值在int的表示范围内，也无法进行隐式窄化转换。
示例分析：
// 示例2: int tadpole = (int)5 * 2L; int tadpole = (int)5 * 2L; // 编译错误 // 示例4: int y = (long) 30; int y = (long) 30; // 编译错误
在int tadpole = (int)5 * 2L;中，(int)5是int类型，但2L是long类型。根据二进制数值提升规则，int会提升为long，所以表达式((int)5) * 2L的结果类型是long，值为10L。由于10L是long类型的值，JLS没有提供将其隐式窄化为int的规则，因此需要显式强制类型转换才能赋值给int变量tadpole。
类似地，int y = (long) 30;中，(long) 30是一个long类型的常量表达式，其值为30L。尽管30L在int的表示范围内，但由于其类型是long，根据JLS规则，不能直接隐式赋值给int类型的变量y，必须进行显式强制类型转换。
2. 运算符优先级的影响
在上述示例中，理解运算符优先级至关重要。在Java中，类型转换操作符（如(short)、(int)、(long)）的优先级高于乘法操作符（*）。这意味着表达式会按照以下方式解析：
- short t = (short)1 * 3; 实际上被解析为 short t = ((short)1) * 3;
- int tadpole = (int)5 * 2L; 实际上被解析为 int tadpole = ((int)5) * 2L;
这种优先级规则解释了为什么在short t = (short)1 * 3;中，尽管1被显式转换为short，但后续的乘法操作仍导致结果类型提升回int。
3. 规则背后的考量
JLS中对int常量表达式的特殊处理，主要是为了方便程序员。例如，在初始化byte数组时，如果每个元素都需要显式转换为byte，代码会变得冗长且不便：
// 如果没有该规则，需要这样写： byte[] data = { (byte) 1, (byte) 2, (byte) 3, (byte) 4 }; // 有了该规则，可以更简洁地写： byte[] data = { 1, 2, 3, 4 };
由于整数文字（不带l或L后缀的数字）默认被视为int类型，这项规则极大地简化了代码。对于long常量，则没有类似的需求，因为long通常用于表示更大的数值，且其字面量通常会带L后缀以明确区分，因此不需要提供这种隐式窄化转换的便利。
总结与注意事项
- JLS 5.2 赋值转换的特殊性： Java允许int类型的常量表达式在值域允许的情况下，隐式窄化赋值给byte、short或char类型的变量。
- long类型的限制： long类型的值（即使是常量且在int范围内）不能隐式窄化赋值给int或更小的整数类型，必须进行显式强制类型转换。
- 运算符优先级： 类型转换操作符的优先级高于算术运算符。在涉及混合类型运算时，应注意表达式的实际求值顺序，必要时使用括号以明确意图。
- 最佳实践： 尽管Java提供了某些隐式转换的便利，但在可能引起歧义或潜在数据丢失的情况下，推荐使用显式强制类型转换，以提高代码的可读性和健壮性。例如，当从long转换为int时，务必考虑数据溢出的可能性。
