equals और hashCode के बीच का contract क्या है, और गलत करने पर क्या टूटता है?

अगर दो ऑब्जेक्ट equals के हिसाब से बराबर हैं, तो उनका hashCode भी एक ही होना चाहिए; असमान ऑब्जेक्ट एक ही hash साझा कर सकते हैं, पर आदर्श रूप से नहीं करते। यह नियम तोड़िए और hash आधारित collections बिगड़ जाती हैं: HashMap में डाला गया ऑब्जेक्ट पहुंच से बाहर हो जाता है क्योंकि lookup किसी और bucket में जाता है। equals का reflexive, symmetric, transitive और consistent होना भी जरूरी है, और insert के बाद hash में इस्तेमाल हुई किसी field को बदल देना भी entry को उतने ही अच्छे से गुम कर देता है।

नियम एकतरफा है: बराबर ऑब्जेक्ट्स के hash codes बराबर होने ही चाहिए, पर बराबर hash codes का मतलब बराबरी नहीं है, इसीलिए map bucket के अंदर फिर भी equals कॉल करता है। अगर मैं equals override करूं और hashCode भूल जाऊं, तो दो बराबर ऑब्जेक्ट अलग अलग buckets में जा गिरते हैं, यानी मैं कुछ HashSet में डाल सकता हूं और फिर एक बिल्कुल वैसे ही ऑब्जेक्ट पर contains false लौटा देगा। इसका ज्यादा बारीक रूप mutation है। अगर hash में इस्तेमाल हुई कोई field ऑब्जेक्ट के set में जाने के बाद बदल जाए, तो entry अब गलत bucket में है और असल में खो चुकी है, और यह leak की तरह दिखता है क्योंकि उसे हटाया भी नहीं जा सकता। व्यवहार में मैं value types के लिए records इस्तेमाल करता हूं ताकि दोनों अपने आप बनें और आपस में मेल खाएं। JPA entities में मैं सावधान रहता हूं, क्योंकि generated id इस्तेमाल करने का मतलब है कि entity के persist होते ही equals बदल जाता है, तो flush से पहले HashSet में पड़ी entity बाद में अलग बर्ताव करती है। जहां कोई स्थिर natural या business key हो वहां मैं वही लेता हूं, और वरना बिना सेव हुई entities को hash आधारित collections में डालने से बचता हूं।