提升规则是"当操作数的类型不同时,会自动进行二进制数字提升,较小的操作数类型将转换为较大的操作数类型"。但是操作数是同一类型的,例如,
byte=byte+byte // Compile time error... found int..
为什么会这样?
为什么不能加两个字节,得到一个int,最后加两个字节,得到一个字节?
byte没有+运算符。相反,两个操作数都提升为int,因此
byte = byte + byte
... becomes (widening to find + operator) ...
byte = int + int
... becomes (result of + operator) ...
byte = int
…然后失败,因为没有从int到byte的隐式转换。你需要铸造:
byte a = 1;
byte b = 2;
byte c = (byte) (a + b);
以下是JLS第5.6.2节中有关数字促销的实际规则:
当一个运算符对一对操作数应用二进制数字提升时,其中每一个操作数都必须表示一个可转换为数字类型的值,以下规则依次适用,使用加宽转换(§5.1.2)根据需要转换操作数:
如果任何操作数是引用类型,则执行取消装箱转换(§5.1.8)。然后:
如果任一操作数的类型为double,则另一个操作数将转换为double。
否则,如果其中一个操作数的类型为float,则另一个操作数将转换为float。
否则,如果其中一个操作数的类型为long,则另一个操作数将转换为long。
否则,两个操作数都将转换为int类型。
谢谢乔恩,这是我所期望的。但我要问的一件事是,为什么字节没有+运算符?
如果是这样,那么为什么short+short不起作用。我相信算术运算符有一定的规则:一个是操作数提升规则:"任何小于int的操作数都将提升为int"
@navdeepsingh:short=short+short不起作用,原因与本答案中解释的完全相同。两个操作数都提升为int。
你得到了关于自动升级到"int"的正确答案。
还有一点要注意的是-复合赋值运算符的行为就像它们具有隐式类型大小写一样。例子:
byte b1 = 1;
byte b2 = 2;
b1 = b1 + b2; // compilation fails
b1 += b2; // compilation successful
要理解这一点,您应该参考以下两个方面:
隐式强制转换:字节(8位)->短(16位)->整数(32位)->浮点(32位)->双精度(64位)char(16位)->int(32位)
算术运算符规则
运算符优先规则:此规则声明将首先计算(,/,%)组。然后计算(+,-)运算符组。从同一组运算符中,从左侧计算。
操作数提升规则:此规则规定数据类型小于int的操作数将提升为int。提升顺序(byte->short->int,char->int)
同类型操作数规则:此规则规定,如果两个操作数都是int、long、float、double,则将同一类型带到结果类型。即long+long=>long,float+float=>float,int+int=>int
混合类型操作数规则:按升序(int->long->float->double)执行,如果有一个操作数是从上面的顺序开始的,那么较小的操作数将升序为较大的操作数,结果将以较大的类型计算。即long+double=>double,int+long=>long
我想谈谈升职的事
Java can evaluate only arithmetic expressions in which the operands’ types are identical
例如,在包含int和double值的表达式中,int值被提升为double值,以便在表达式中使用。
换言之
double someVar = 1 / 2;// someVar = 0
但是
double someVar = (double)1 / 2;// someVar = 0.5
为什么?
我们使用(双)cast operator创建一个temporary。其操作数"1"的浮点拷贝(称为explicit conversion)
现在计算由一个浮点值(1的临时双副本)除以整数2组成。
根据上述语句,Java执行了一种称为EDCOX1→14(或隐式转换)的操作,因此EDCOX1→15→EDCX1→16→使用EDCOX1→17〕表达式=整数2被提升为双。
表达变成了double someVar = 1.0 / 2.0; // someVar= 0.5。
希望这是有帮助的,即使这是问题的核心
从这个问题和上面的答案来看,由于+算术运算符,两个操作数都转换为int类型。
byte b1 = 1;
byte b2 = 2;
byte b3 = b1 + b2; // compile time error
在上面的代码中,b1和b2的值将在运行时解析,因此编译器在解析值之前将两者转换为int。
但是如果我们考虑下面的代码,
final byte b1 = 1;
final byte b2 = 2;
int b3 = b1 + b2; // constant expression, value resolved at compile time
b1和b2是最终变量,值将在编译时解析,因此编译不会失败。