比较长、整数和短方法的不同实现？

Question

为什么Java库中的静态方法compareforLong、Integer和Short的实现不同？

对于长：

public static int compare(long x, long y) {
    return (x < y) ? -1 : ((x == y) ? 0 : 1);
}

对于整数：

public static int compare(int x, int y) {
    return (x < y) ? -1 : ((x == y) ? 0 : 1);
}

对于Short：

public static int compare(short x, short y) {
    return x - y;
}

Answer 1

int的值可以介于[-2147483648、2147483647]之间。如果从2147483647中减去-2147483648，您将得到4294967295。这不能存储在整数中，因此我们使用它来比较两个整数

return (x < y) ? -1 : ((x == y) ? 0 : 1);

long的情况也是如此。

Answer 2

x-y大概是最有效的（因为替代方案涉及两次分支），所以这用于short。

但是x-y不能用于int或long，因为当结果值不适合int时，这将溢出，当结果应该是负值，或者当结果应该为正时为负值（在任何一种情况下都为零）。

注意：当减去两个shorts时，结果值的类型为int，因此永远不会溢出。

// long - long
System.out.println((int)(2147483649l - 1l)); // -2147483648, not 2147483648
// int - int
System.out.println(-2147483648 - 1);         // 2147483647, not -2147483649
// int - int
System.out.println(1 - -2147483648);         // -2147483647, not 2147483649
// short - short
short s1 = -32768, s2 = 1;
System.out.println(s1 - s2);                 // -32769, as desired

值得一提的是：之所以选择上述值，是因为它们大致在int（和short）的最小值和最大值附近，以演示它在哪个点溢出。

Answer 3

如果你尝试：

System.out.println(Long.MIN_VALUE - Long.MAX_VALUE);

或

System.out.println(Integer.MIN_VALUE - Integer.MAX_VALUE);

你会得到1，因为溢出（更新：这里应该是下溢，如另一个答案所述），这是不正确的。

然而

System.out.println(Short.MIN_VALUE - Short.MAX_VALUE);

您将获得正确的值-65535，因为短将在-操作之前转换为int，从而防止溢出。