我有两段代码。一个有效，另一个无效，但两者似乎都做相同的事情。这有效：
short s=7;
但下面的代码没有。相反，它给出了错误：
无法将 int 分配给 short
我知道一个整数字面量默认是int，但是如果可以直接在上面赋值，那为什么不传递给方法呢？
class Demo1{
public static void main(String[] args){
new Demo1().go(7);
}
void go(short s){System.out.println("short");}
}
【问题讨论】：
标签： java variable-assignment method-invocation
赋值和方法重载解析的规则不同：
对于分配，JLS 说：
此外，如果表达式是 byte、short、char 或 int 类型的常量表达式（第 15.28 节）：
如果变量的类型是 byte、short 或 char，并且常量表达式的值可以在变量的类型中表示，则可以使用缩小原语转换。
对于重载解决方案，JLS 15.12.2.2. 说：
当且仅当两个 以下条件成立：
对于 1 ≤ i ≤ n，或者：
* Ai <: si> * Ai 可通过未经检查的转换（第 5.1.9 节）转换为某种类型的 Ci，并且 Ci <: si.>
这里 Ai 是传递给方法的参数的类型（在您的情况下为int，因为7 是int 文字）。 Si 是方法的形式参数的类型（在您的情况下为 short）。 Ai <: Si 表示 Ai 是 Si 的子类型。 int 不是short 的子类型（反之亦然），这就是编译器不接受new Demo1().go(7); 的原因。
【讨论】：
short 真的是 int 的子类型。如果是这种情况，我应该能够将 short[] 分配给 int[] 。程序不会编译。但是您可以将 Integer[] 分配给 Number[]，因为 Integer IS-A Number 。但是，int 和 short 之间没有这种关系，除了 int 可以容纳任何 short 可以但仍然不是其他恕我直言的子类型！
第一个变量初始化。 第二个是将参数传递给方法。 在方法中，您必须传递变量的确切数据类型。
【讨论】：
该语言允许在赋值上下文中将常量int 表达式缩小转换为short 类型。对于方法调用上下文，情况并非如此。相关 JLS 部分为 JLS §5.2 和 JLS § 5.3。
对于赋值上下文，我将列出确切的语句：
另外，如果表达式是一个常量表达式（§15.28） 输入
byte、short、char或int：如果类型为 变量为
byte、short或char，常量的值 表达式可以用变量的类型来表示。
虽然调用上下文转换没有这样的规则。这就是为什么，您必须通过类型转换明确地告诉编译器进行转换：new Demo1().go((short)7);
现在，至于为什么会有这样的行为，我们想出的原因只是猜测（真正的答案，只有语言设计者知道）。
【讨论】：
您必须将整数转换为短整数，如下所示：
short s = (short) 7;
这应该可行。
您的代码应如下所示：
class Demo1{
public static void main(String[] args){
new Demo1().go((short) 7);// change here.
}
void go(short s){System.out.println("short");}
}
在直接赋值期间进行隐式转换并且在方法调用期间传递值时不存在的原因是由于赋值上下文和调用上下文之间的差异，这些差异由您所处的情况自行解释。它这就是 java 编程语言的工作原理。
我认为这是一个积极因素，因为如果您的某些方法具有相同的名称但参数中具有不同的数据类型，它可以帮助编译器确定您正在调用的方法。通过将给定值转换为参数中的数据类型，编译器将能够区分您正在调用哪个方法，如果参数中发生隐式转换，编译器将如何知道将其转换为哪种数据类型，如果你有两个方法名称相同但参数不同，比如 int 和 short。
【讨论】：
int。因此，文字 7 的类型为 int，即使它可以分配给 short 或 byte，因为它属于两者的范围。但是，编译器提供了隐式转换。这就是 short s=7 编译的原因，因为它实际上是被隐式转换的 short s=(short)7 ，但是当涉及到与上述方法调用一样的方法调用时，没有提供相同的隐式转换。常识认为它应该是，但事实并非如此。错误将是go(short) cannot be applied to int
在赋值中，编译器很清楚要将哪个参数转换为：
short s=7; //here is no doubt that it must be cast to short
在可能是虚拟的方法调用中，它是不可判定的。
go(7); //here it could be anything
编译器试图找到一个类型兼容的签名，即
void go(Integer i); // via auto boxing
void go(Number i); // autoboxing and supertype
它不尝试投射，即以下不起作用：
void go(short s); // short is neither a super type nor a subtype of int
void go(byte b); // byte is neither a super type nor a subtype of int
我不希望go(new Integer(7)) 调用void go(Short s)，这对于没有类型层次关系的每个类型都是一样的。
【讨论】：