Яке значення подвійного тильду (~~) у Java?

Під час перегляду вихідного коду Guava я натрапив на такий фрагмент коду (частина реалізації hashCodeдля внутрішнього класу CartesianSet):

int adjust = size() - 1;
for (int i = 0; i < axes.size(); i++) {
    adjust *= 31;
    adjust = ~~adjust;
    // in GWT, we have to deal with integer overflow carefully
}
int hash = 1;
for (Set<E> axis : axes) {
    hash = 31 * hash + (size() / axis.size() * axis.hashCode());

    hash = ~~hash;
}
hash += adjust;
return ~~hash;

І те, adjustі hashє intс. З того, що я знаю про Java, ~означає побітове заперечення, тому adjust = ~~adjustі hash = ~~hashслід залишати змінні незмінними. Запустивши невеликий тест (звичайно з увімкненими твердженнями),

for (int i = Integer.MIN_VALUE; i < Integer.MAX_VALUE; i++) {
    assert i == ~~i;
}

це підтверджує. Якщо припустити, що хлопці з Гуави знають, що вони роблять, у них повинна бути причина. Питання - що?

EDIT Як зазначено в коментарях, тест, зазначений вище, не включає випадок, коли iдорівнює Integer.MAX_VALUE. Оскільки i <= Integer.MAX_VALUEце завжди вірно, нам потрібно буде перевірити цей випадок за межами циклу, щоб не допустити його циклу назавжди. Однак лінія

assert Integer.MAX_VALUE == ~~Integer.MAX_VALUE;

дає попередження компілятора "Порівняння однакових виразів", що в значній мірі нівелює.

На Java це нічого не означає.

Але цей коментар говорить, що ця лінія спеціально для GWT, що є способом компілювати Java в JavaScript.

У JavaScript цілі числа є схожими на подвійні числа-що-діють-як-цілі числа. Наприклад, вони мають максимальне значення 2 ^ 53. Але побітові оператори розглядають числа так, ніби вони 32-бітні, що саме те, що ви хочете в цьому коді. Іншими словами, в JavaScript ~~hashнаписано "ставитися hashяк до 32-розрядного числа". Зокрема, він відкидає всі, крім нижнього 32 біта (оскільки побітові ~оператори дивляться лише на нижній 32 біт), що ідентично тому, як працює переповнення Java.

Якщо у вас цього не було, хеш-код об'єкта відрізнявся б від того, оцінюється він у Java-land або JavaScript land (за допомогою компіляції GWT).