Java运算符

Question

我无法理解加法运算符或short数据类型的概念。

据说；

short a = 1;
short b = 2;
short c = a + b;

这将不会编译，因为加法运算符总是将短，图表，byte数据类型转换为int，我明白这一点。但是这个；

short c = 1 + 2;

完全没问题。所以，如果加法运算符自动将短转换为int，然后应用结果（其中结果当然是int），为什么它工作正常？

编辑：这个问题不是原始类型“短”的重复，因为我理解转换过程。此外，这个问题讨论了数据类型的转换，正如我的问题所涉及的int文本。

Answer 1

据我所知，Java支持int和long，但正如所指定的，不支持short。没有自动类型转换，因为该操作被指定在int或long数据类型上执行。

看见https://docs.oracle.com/javase/specs/jls/se7/html/jls-5.html#jls-5.6.2

如果希望获得有效结果，并且知道结果不会导致溢出，可以强制转换结果：

short a = 1;
short b = 2;
short c = (short)(a + b);

Answer 2

12是一个常量表达式，而ab不是<这取决于对它们的评估
第一个将在编译时完成，第二个将在运行时完成

JLS 8指出：

15.28.常量表达式

常量表达式是表示基元类型的值或String的表达式，该值不会突然完成，并且仅使用以下内容组成：

>

基本类型的文字和字符串类型的文字（§3.10.1，§3.10.2，§3.10.3，§3.10.4，§3.10.5）

转换为基本类型和转换为类型字符串（§15.16）

一元运算符、~、和！（但不是或——）（§15.15.3、§15.15.4、§15.15.5、§15.15.6）

乘法运算符*、/、和%（§15.17）

加法运算符和-（§15.18）

...........................

在这里：

short c = 1 + 2;

1 2由两个int文字和一个加法运算符组成。
因此它被认为是一个常量表达式。
常量表达式在编译时计算。
因此短c被计算为3

下面是一个示例类：

package stackoverflow;

public class EvaluationClass {

    public void foo(){
       short c = 1 + 2;
    }
}

以下是反汇编代码：

Compiled from "EvaluationClass.java"
public class stackoverflow.EvaluationClass {
  public stackoverflow.EvaluationClass();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()
       4: return

  public void foo();
    Code:
       0: iconst_3
       1: istore_1
       2: return
}

我们可以看到0:iconst_3指令将3int加载到堆栈上。

鉴于：

short a = 1;
short b = 2;
short c = a + b;

ab仅在运行时进行评估，因为a和b不是常量<他们的价值观随时都可能发生变化
请注意，编译器并不是试图通过阅读每条语句来猜测a和b是否有效地发生了变异来聪明
它认为它可能只在运行时评估ab

在这种情况下，为什么ab不产生short，而是产生int
因为JLS 8规定：

4.2.2.整数运算

如果移位运算符以外的整数运算符至少有一个类型为long的运算符，则使用64位精度进行运算，数值运算符的结果为long类型。如果另一个操作数不长，则首先通过数值提升（§5.6）将其扩展（§5.1.5）为long类型。

否则，使用32位精度进行操作，数值运算符的结果为int类型。如果任一操作数不是int，则首先通过数值提升将其扩展为int类型。

作为旁注，如果将代码更改为a和b常量：

final short a = 1;
final short b = 2;
short c = a + b;

这将很好地编译，因为a b将被计算为常量表达式（3）。