Java Integer compareTo () - навіщо використовувати порівняння проти віднімання?

Я виявив, що java.lang.Integerреалізація compareToметоду виглядає наступним чином:

public int compareTo(Integer anotherInteger) {
    int thisVal = this.value;
    int anotherVal = anotherInteger.value;
    return (thisVal<anotherVal ? -1 : (thisVal==anotherVal ? 0 : 1));
}

Питання в тому, чому використовувати порівняння замість віднімання:

return thisVal - anotherVal;

Це пов’язано з переповненням цілих чисел. Коли thisValдуже велике і anotherValвід'ємне, тоді віднімання останнього від першого дає результат, який більший, ніж thisValможе перелитися до від'ємного діапазону.

Віднімання "фокусу" для порівняння двох числових значень порушено !!!

        int a = -2000000000;
        int b =  2000000000;
        System.out.println(a - b);
        // prints "294967296"

Тут, a < bще a - bпозитивно.

НЕ використовуйте цю ідіому. Це не працює.

Більше того, навіть якщо це і спрацює , це НЕ забезпечить суттєвого покращення продуктивності, а насправді може коштувати читабельності.

Дивитися також

• Головоломки Java 65: Дивна сага про підозрілий сорт

  Ця головоломка має кілька уроків. Найбільш конкретним є: Не використовуйте порівняльник на основі віднімання, якщо ви не впевнені, що різниця між значеннями ніколи не буде більшою за Integer.MAX_VALUE . Загальніше, остерігайтеся intпереповнення. Інший урок - слід уникати "розумного" коду. Намагайтеся писати чіткий, правильний код і не оптимізуйте його, якщо це не виявиться необхідним.

Простіше кажучи, intтип недостатньо великий, щоб зберігати різницю між двома довільними intзначеннями. Наприклад, різниця між 1,5 млрд. Та 1,5 млрд. Становить 3,0 млрд., Але intне може містити значень більше 2,1 млрд.

Можливо, це для того, щоб уникнути переповнення / затоплення.

На додаток до переповнення, слід зауважити, що версія із субстракцією не дає однакових результатів .

• Перша версія compareTo повертає одне з трьох можливих значень: -1, 0 або 1.
• Якщо замінити останній рядок на віднімання, результатом може бути будь-яке ціле значення.

Якщо ви знаєте, що переповнення не буде, ви можете використати щось подібне:

public int compareTo(Integer anotherInteger) {
    return sign(this.value - anotherInteger.valuel);
}