Choosing to implement the Comparable
interface represents a commitment that the implementation of the compareTo()
method adheres to the general contract for that method regarding how the method is to be called. Library classes such as TreeSet
and TreeMap
accept Comparable
objects and use the associated compareTo()
methods to sort the objects. However, a class that implements the compareTo()
method in an unexpected way can cause undesirable results.
The general contract for {{ Wiki Markup compareTo()
}} from Java SE 6 API \[ [API 2006|AA. References#API 06]\] states that
- The implementor must ensure
sgn(x.compareTo(y)) == -sgn(y.compareTo(x))
for allx
andy
. (This implies thatx.compareTo(y)
must throw an exception ify.compareTo(x)
throws an exception.)- The implementor must also ensure that the relation is transitive:
(x.compareTo(y) > 0 && y.compareTo(z) > 0)
impliesx.compareTo(z) > 0
.- Finally, the implementor must ensure that
x.compareTo(y) == 0
implies thatsgn(x.compareTo(z)) == sgn(y.compareTo(z))
for allz
.- It is strongly recommended, but not strictly required, that
(x.compareTo(y) == 0) == x.equals(y)
. Generally speaking, any class that implements the Comparable interface and violates this condition should clearly indicate this fact. The recommended language is Note: this class has a natural ordering that is inconsistent with equals.In the foregoing description, the notation
sgn(expression)
designates the mathematical signum function, which is defined to return either -1, 0, or 1 depending on whether the value of the expression is negative, zero or positive.
...
CWE-573. Improper following of specification by caller |
Bibliography
...
[ [API 2006AA. References#API 06]] | http://java.sun.com/javase/6/docs/api/java/lang/Comparable.html#compareTo(java.lang.Object)] | ]]></ac:plain-text-body></ac:structured-macro> | |
<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="420413b1-a72a-4967-a45a-05a7ba611414"><ac:plain-text-body><![CDATA[ | [[JLS 2005AA. References#JLS 05]] | ]]></ac:plain-text-body></ac:structured-macro> |
...
MET09-J. Classes that define an equals() method must also define a hashCode() method 05. Methods (MET)