如果在移位运算符中使用强制转换运算符怎么办

Question

JLS说

编辑：如果操作数已经使用转换运算符转换为不同的（较小的）类型，那么操作数是否经历数字提升（一元/二进制）？如果是这种情况，您将如何解释具有字节变量b1=(byte)(b2+b3)的表达式，因为在强制转换之后，字节结果可能会根据数字提升转换为int？

Answer 1

Java8 JLS还在§5.6.1中声明：

5.6.1.一元数字提升

某些运算符对单个操作数应用一元数值提升，该操作数必须产生数值类型的值：

null

int i = ...
short s = (short) i << 2;

Main.java:4: error: incompatible types: possible lossy conversion from int to short
short s = (short) i << 2;

IdeOne演示

这是由于强制转换绑定到移位的第一个参数，而不是整个表达式。下面是带有显式括号的整个表达式：

short s = ((byte) i) << 2;

鉴于

int i = ...;
int j = (short) i << 2;

5.6.数字上下文

数值上下文适用于算术运算符的操作数、数组创建和访问表达式、条件表达式以及开关表达式的结果表达式。

如果表达式是以下内容之一，则该表达式将出现在数值算术上下文中：

null

接下来，根据以下规则，将加宽基元转换(§5.1.2)和缩小基元转换(§5.1.3)应用于某些表达式：

...

>

否则，表达式都不属于double、float或long类型。在这种情况下，上下文的种类决定如何选择提升的类型。

• 否则，提升的类型是int，所有不属于int类型的表达式都要进行加宽基元转换，转换为int.

...