ความหมายของ double tilde (~~) ใน 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มีints จากสิ่งที่ฉันรู้เกี่ยวกับ Java ~หมายถึงการปฏิเสธ bitwise ดังนั้นadjust = ~~adjustและhash = ~~hashควรปล่อยให้ตัวแปรไม่เปลี่ยนแปลง ใช้การทดสอบขนาดเล็ก (แน่นอนว่ามีการเปิดใช้งานการยืนยัน)

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

ยืนยันสิ่งนี้ สมมติว่าพวกฝรั่งรู้ว่าพวกเขากำลังทำอะไรต้องมีเหตุผลให้พวกเขาทำเช่นนี้ คำถามคืออะไร

แก้ไขตามที่ระบุไว้ในความคิดเห็นการทดสอบข้างต้นไม่รวมกรณีที่iเท่าInteger.MAX_VALUEกัน เนื่องจากi <= Integer.MAX_VALUEเป็นจริงเสมอเราจะต้องตรวจสอบกรณีนอกวงเพื่อป้องกันไม่ให้วนซ้ำตลอดไป อย่างไรก็ตามสาย

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

ให้คำเตือนคอมไพเลอร์ "การเปรียบเทียบนิพจน์ที่เหมือนกัน" ซึ่งเล็บมันสวยมาก

ใน Java มันไม่มีความหมายอะไร

แต่ความคิดเห็นนั้นบอกว่าบรรทัดนั้นมีไว้สำหรับ GWT ซึ่งเป็นวิธีในการคอมไพล์ Java กับ JavaScript

ในจาวาสคริปต์จำนวนเต็มเป็นจำนวนเต็มสองเท่าที่ทำหน้าที่เป็นจำนวนเต็ม พวกเขามีค่าสูงสุด 2 ^ 53 เช่น แต่ตัวดำเนินการระดับบิตจะปฏิบัติกับตัวเลขราวกับว่าพวกเขาเป็นแบบ 32 บิตซึ่งเป็นสิ่งที่คุณต้องการในรหัสนี้ กล่าวอีกนัยหนึ่ง~~hashว่า "ถือว่าhashเป็นหมายเลข 32 บิต" ใน JavaScript โดยเฉพาะจะละทิ้งทั้งหมดยกเว้น 32 บิตด้านล่าง (เนื่องจากตัว~ดำเนินการระดับบิตจะดูที่ 32 บิตด้านล่างเท่านั้น) ซึ่งเหมือนกับการทำงานของโอเวอร์โฟลว์ของ Java

หากคุณไม่มีรหัสแฮชของวัตถุจะแตกต่างกันไปขึ้นอยู่กับว่ามันถูกประเมินใน Java-land หรือใน JavaScript ดินแดน (ผ่านการรวบรวม GWT)