这些是相关的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 constantshort b = 5; // representable constantshort c = 5 + 4; // representable constantshort d = a; // identity conversionshort e = a + b; // DOES NOT COMPILE! Result of addition is intshort z = 32767; // representable constantshort 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页，
并且几乎没有程序员理解它们的所有精妙之处。
