Java - 简短说明

Question

我有以下代码片段。

public static void main(String[] args) {
 short a = 4;
 short b = 5;
 short c = 5 + 4;
 short d = a;
 short e = a + b; // does not compile (expression treated as int)


 short z = 32767;
 short z_ = 32768; // does not compile (out of range)

 test(a);
 test(7); // does not compile (not applicable for arg int)
}

public static void test(short x) { }

以下摘要是否正确（仅针对上面的
简短示例）？

1. 不使用类型转换直接初始化只能使用文字或单个变量（只要该值在声明的类型范围内）
2. 如果作业的rhs使用变量处理表达式，则必须进行强制转换

但是，
考虑到之前的摘要，为什么我确实需要转换第二个方法调用的参数？

Answer 1

这些是相关的JLS部分：

[JLS 5.1.1身份

Conversion](http://java.sun.com/docs/books/jls/third_edition/html/conversions.html#5.1.1)

任何类型都允许从类型到相同类型的转换。

[JLS 5.2 Assignment

Conversion](http://java.sun.com/docs/books/jls/third_edition/html/conversions.html#5.2)

当将表达式的值分配给
变量时，将发生赋值转换：必须将表达式的类型转换为
变量的类型。分配上下文允许使用以下之一：

身份转换
[…]
此外，如果表达式的类型是恒定表达byte，
short，char或int：

如果变量的类型
是byte，short或char，并且常量表达式的值在变量的类型中可表示，则可以使用变窄的原始转换
。
上述规则解释了以下所有内容：

short a = 4;     // representable constant
short b = 5;     // representable constant
short c = 5 + 4; // representable constant
short d = a;     // identity conversion
short e = a + b; // DOES NOT COMPILE! Result of addition is int

short z  = 32767; // representable constant
short z_ = 32768; // DOES NOT COMPILE! Unrepresentable constant

至于为什么不能编译：

test(7); // DOES NOT COMPILE! There's no test(int) method!

这是因为只为
赋值定义了常量的缩小转换。不用于方法调用，它具有完全不同的规则。

JLS 5.3。方法调用
Conversion

特别是方法调用转换不包括作为
分配转换一部分的整数常量的隐式缩小。
Java编程语言的设计者认为，包括这些
隐式的缩小转换将为
重载的方法匹配解决过程增加额外的复杂性。

我只解释
有效的Java 2nd Edition的第41项：明智地使用重载：

确定选择哪个过载的规则非常
复杂。在语言规范中，它们占据了33页，
并且几乎没有程序员理解它们的所有精妙之处。