理解赋值转换与常量表达式
在Java中，当一个表达式的值被赋给一个变量时，会发生赋值转换（Assignment Conversion）。根据Java语言规范（JLS）5.2节的规定，如果表达式是一个byte、short、char或int类型的常量表达式（Constant Expression），并且其值在目标变量类型（byte、short或char）的表示范围内，那么即使存在窄化转换（Narrowing Primitive Conversion），编译器也会允许这种赋值而无需显式类型转换。
让我们分析以下示例：
// 示例 1 short t = (short)1 * 3; // 示例 3 short x = (int) 30;
在示例1中，表达式(short)1 * 3的计算过程需要注意运算符优先级。类型转换操作符()的优先级高于乘法操作符*。因此，(short)1 * 3首先将1转换为short类型，得到((short)1)，然后与3（默认为int类型）相乘。根据Java的数值提升规则，short类型在参与运算时会被提升为int类型，所以((short)1) * 3实际上是1 (int) * 3 (int)，结果为3，其类型为int。由于3是一个int类型的常量表达式，且其值在short的表示范围之内（-32768到32767），因此编译器允许将这个int常量值直接赋给short变量t，而不会报错。
示例3的原理与此类似。(int)30是一个int类型的常量表达式，值为30。由于30同样在short的有效范围内，编译器允许将此int常量直接赋给short变量x。
立即学习“Java免费学习笔记（深入）”；
长整型（long）的特殊性
JLS中关于常量表达式的特殊规则仅适用于byte、short、char或int类型，并没有类似的规则适用于long类型。这意味着，当涉及long类型的值时，如果目标类型是int或更窄的类型，就必须进行显式的窄化转换。
考虑以下导致编译错误的示例：
// 示例 2 int tadpole = (int)5 * 2L; // 编译错误 // 示例 4 int y = (long) 30; // 编译错误
在示例2中，表达式(int)5 * 2L的计算过程如下：首先，(int)5将5显式转换为int类型。然后，int类型的5与long类型的2L相乘。根据数值提升规则，int类型的5会被提升为long类型，然后与2L相乘，结果是10L，其类型为long。由于目标变量tadpole是int类型，而表达式结果是long类型，Java不允许将一个long类型的值直接赋给int类型的变量，因为这可能导致数据丢失（窄化转换），必须通过显式类型转换来完成。
示例4中，(long)30直接将整数30转换为long类型，结果是30L。同样，将一个long类型的值30L赋给int类型的变量y，如果没有显式的窄化转换（即int y = (int)(long)30;），编译器会报错。
规则存在的原因
为什么Java要对int到short/byte/char的常量赋值提供这种便利，而对long到int则没有？
一个主要的原因与Java中整数字面量（Integer Literals）的定义有关。在Java源代码中，任何不带l或L后缀的整数数字字面量，其默认类型都是int。例如，1、30、1000等都是int类型。
这种“赋值转换”规则的引入，主要是为了提高代码的简洁性和可读性。例如，在初始化byte数组时，如果没有这条规则，你将不得不为每个元素进行显式类型转换：
// 没有特殊规则时可能需要这样写：
// byte[] data = { (byte)1, (byte)2, (byte)3, (byte)4 };
// 有了特殊规则，可以这样写，更加简洁：
byte[] data = { 1, 2, 3, 4 };由于1、2、3、4都是int类型的常量表达式，且它们的值都在byte的表示范围内，因此可以直接赋值。
对于long常量，这种便利性就没有那么必要了。long类型的值通常通过添加L后缀（例如10L）来明确表示，或者是在涉及long类型操作数的运算中自动提升产生。因此，在将long值赋给int变量时，要求显式转换有助于提醒开发者可能存在的数据截断风险，从而避免潜在的运行时错误。
总结
Java中基本数据类型的赋值转换规则，特别是针对常量表达式的特殊处理，是理解其类型系统行为的关键。核心要点包括：
- 常量表达式的特殊性： 对于int、byte、short、char类型的常量表达式，如果其值在目标窄化类型（byte、short、char）的范围内，编译器允许隐式地进行窄化赋值转换。
- long类型的限制： 这种常量表达式的特殊规则不适用于long类型。将long类型的值赋给int或更窄的类型时，必须进行显式类型转换。
- 运算符优先级： 类型转换操作符()的优先级高于算术运算符，例如(short)1 * 3首先将1转换为short，然后参与int运算。
- 设计哲学： 这些规则旨在平衡代码的简洁性与类型安全的严谨性，尤其是在处理小范围整数类型时提供便利，同时在涉及可能导致数据丢失的转换时强制显式声明。
理解这些细微之处，有助于编写出更健壮、更符合Java规范的代码。
