为什么Java中短整数除法的结果类型不是短整数？

Question

考虑以下代码：

public class ShortDivision {
    public static void main(String[] args) {
        short i = 2;
        short j = 1;
        short k = i/j;
    }
}

编译产生错误

ShortDivision.java:5: possible loss of precision
found   : int
required: short
        short k = i/j;

因为表达式i / j的类型显然是int，因此必须将其强制转换为short。

为什么类型i/j不短？

Answer 1

从Java规范：

5.6.2二进制数值提升

当运算符将二进制数值提升应用于一对操作数时，每个操作数必须表示一个数值类型的值，以下规则按顺序适用，并根据需要使用加宽转换（第5.1.2节）来转换操作数：

如果一个操作数的类型为double，则另一个将转换为double。

否则，如果其中一个操作数的类型为float，则另一个将转换为float。

否则，如果其中一个操作数的类型为long，则另一个将转换为long。

否则，两个操作数都将转换为int类型。

对于二进制运算，会将小整数类型提升为int，运算结果为int。

编辑：
为什么会这样？简短的答案是Java从C复制了此行为。更长的答案可能与以下事实有关：所有现代机器都至少执行32位本机计算，而实际上对于某些机器而言，执行8位运算和16位运算。