为什么我可以将一个整数文本赋给一个short类型的变量，而不能赋给一个short类型的方法参数？

Question

short a = 5;

void setNum(short a);

setNum(5);

从int到short的转换可能有损

我知道5是一个整数字面，你必须对它进行强制转换。我还理解，如果该值不是常量，那么显然需要抛出该错误，因为可能该值达到了短类型的极限。但是，如果编译器知道我传递的是一个short可以保持的常量（如赋值中的那样），为什么它不让它编译呢？我是说，它们之间有什么区别？

Answer 1

为了理解为什么赋值类型转换可以工作，而调用类型转换被拒绝，我们必须参考Java语言规范主题，以便缩小基元转换和该转换的上下文：赋值上下文和调用上下文。

根据JLS，如果：

如果变量的类型是byte、short或char，并且常量表达式的值可以在变量的类型中表示，则可以使用缩小基元转换。

JLS一定不想让编译器负担这种额外的逻辑。在调用的情况下，与形参类型匹配的参数是一个表达式编译器已经必须确定类型，但它不需要检查表达式的值是否也可以安全地缩小。在这种情况下，作为一个常量，我们很清楚它可以是常量，但是在执行上下文中，编译器被允许不费心检查，并且实际上不允许它是正确的。

应该很清楚的是，当允许表达式时，如果不能在不损失精度的情况下进行缩小，那么bug就更容易爬进来，所以JL和编译器在所有情况下都不允许这样做。

在数值上下文中也是如此，因此声明：

short a = 5;short b = a * 5;