Java Comparable返回值，是否必须恰好是1、-1或0？

Question

这可能是一个微不足道的问题，但我还没有找到任何相关内容，所以这里是：
实现 Comparable 接口，我们应该定义方法 compareTo()，以便根据文档，以下内容成立：

• sgn(x.compareTo(y)) == -sgn(y.compareTo(x)) 对于所有 x 和 y。

• 关系是传递的：(x.compareTo(y)>0 && y.compareTo(z)>0) 意味着 x.compareTo(z)>0。

• x.compareTo(y)==0 意味着 sgn(x.compareTo(z)) == sgn(y.compareTo(z))，对于所有 z。

现在，令人困惑的部分是返回值，其指定如下：

返回负整数、零或正整数作为该对象 小于、等于或大于指定对象。

似乎大多数实现都返回 1、-1 或 0，尽管没有提到返回值限制在这边走。
因此，以下代码适用于对包含类 Foo 的实例的列表进行排序（使用 Collections.sort()）：

public int compareTo(Foo other){
    return this.value > other.value? 1 : this.value < other.value ? -1 : 0;
}

但这并不适用：

public int compareTo(Foo other){
    return (int)(this.value - other.value);
}

Where value< /code> 是一个long，并且值之间的差异不超过Integer.MAX_VALUE。

我是否在这里遗漏了一些东西，或者返回值是否要求恰好是 1、-1 或 0，与文档相矛盾？

更新：感谢您的所有回答，但似乎人为因素是罪魁祸首。我提到计算出的差值小于 Integer.MAX_VALUE，这应该意味着没有溢出，但我的计算错误，所以我确实得到了溢出，这造成了奇怪的结果。

Answer 1

该合约非常灵活，允许使用 this.value - other.value 习惯用法（后来由于整数溢出而被证明是不正确的）。但在某些情况下它仍然很有价值，例如 str.length() - str2.length()。由于最小长度为 0，最大长度为 Integer.MAX_VALUE（0 - Integer.MAX_VALUE），字符串或数组大小比较不太可能会溢出code> 仍然大于 Integer.MIN_VALUE），因此当您需要按长度/大小排序时很方便。

此外，与 0（大于/小于）进行比较通常比与 1/-1 进行比较更快/生成更小的字节码/程序集，那么为什么要限制用户呢？您完全可以自由使用任何正/负值。

Answer 2

不，您可以返回任何您想要的整数。您收到的错误到底是什么？

请测试以下类：

  public static void main(String[] args) {

        final ToSort sort0 = new ToSort(-100);
        final ToSort sort1 = new ToSort(1);
        final ToSort sort2 = new ToSort(100);


        List<ToSort> elements = new ArrayList<ToSort>(){{add(sort2); add(sort1); add(sort0);}};
        System.out.println("Unsorted:" + elements.toString());

        Collections.sort(elements);

        System.out.println("Sorted:" + elements.toString());

    }

    static class ToSort implements Comparable{

        long value;
        public ToSort(long value){
            this.value = value;
        }

        @Override
        public int compareTo(Object other) {
            return (int) (this.value - ((ToSort)other).value);
        }

        public String toString(){
            return ""+value;
        }
    }

我得到以下输出：

run:
Unsorted:[100, 1, -100]
Sorted:[-100, 1, 100] 
BUILD SUCCESSFUL (total time: 0 seconds)

您可能需要在 compareTo 方法中添加断点并进行调试以检查是否正在运行您期望的内容。

Answer 3

Javadoc 还说：

在前面的描述中，符号sgn(表达式)表示数学符号函数，定义为根据表达式的值是否为负数返回-1、0或1之一 ，零或正数。

编辑：

是的，我误解了。你是对的。