在Java推广？


Promotion in Java?

提升规则是"当操作数的类型不同时，会自动进行二进制数字提升，较小的操作数类型将转换为较大的操作数类型"。但是操作数是同一类型的，例如，

1
byte=byte+byte // Compile time error... found int..

为什么会这样？

相关讨论

byte没有+运算符。相反，两个操作数都提升为int，因此

1
2
3
4
5
byte = byte + byte
... becomes (widening to find + operator) ...
byte = int + int
... becomes (result of + operator) ...
byte = int

…然后失败，因为没有从int到byte的隐式转换。你需要铸造：

1
2
3
4
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类型。
相关讨论

你得到了关于自动升级到"int"的正确答案。

还有一点要注意的是-复合赋值运算符的行为就像它们具有隐式类型大小写一样。例子：

1
2
3
4
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值，以便在表达式中使用。

    换言之

    1
    double someVar = 1 / 2;// someVar = 0

    但是

    1
    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类型。

    1
    2
    3
    byte b1 = 1;
    byte b2 = 2;
    byte b3 = b1 + b2; // compile time error

    在上面的代码中，b1和b2的值将在运行时解析，因此编译器在解析值之前将两者转换为int。

    但是如果我们考虑下面的代码，

    1
    2
    3
    final byte b1 = 1;
    final byte b2 = 2;
    int b3 = b1 + b2; // constant expression, value resolved at compile time

    b1和b2是最终变量，值将在编译时解析，因此编译不会失败。