type erasure क्या है, और इसकी वजह से आप क्या नहीं कर सकते?

Generic type की जानकारी compile time पर होती है और bytecode में मिटा दी जाती है, जहां List of String बस एक List है और compiler ने casts डाल दिए हैं। इसलिए आप किसी parameterized type के खिलाफ instanceof नहीं जांच सकते, type parameter की array नहीं बना सकते, और ऐसे दो methods overload नहीं कर सकते जो सिर्फ generic argument से अलग हों। compiler polymorphism चलाए रखने के लिए bridge methods जोड़ता है, और unchecked casts heap pollution पैदा कर सकते हैं।

Generics compile time का फीचर हैं। compile होने के बाद List of String बस एक List है, और compiler ने casts डाल दिए होते हैं, जिसकी वजह से generics पीछे की तरफ compatible रह पाए। दिखने वाले नतीजे ये हैं कि मैं यह नहीं पूछ सकता कि कोई चीज किसी parameterized type का instance है या नहीं, बिना unchecked cast के type parameter की array नहीं बना सकता, और दो अलग generic arguments पर method overload नहीं कर सकता क्योंकि दोनों एक ही signature में मिट जाते हैं। इसीलिए unchecked cast की warning मायने रखती है: गलत typed list में गलत element आ सकता है और बाद में किसी बिल्कुल असंबंधित cast पर फेल हो सकता है, जो heap pollution है और सचमुच ढूंढने में खिझाता है। जब मैं API डिजाइन करता हूं तो उसे इस्तेमाल लायक बनाने के लिए bounded wildcards लेता हूं, producer extends consumer super नियम के हिसाब से, तो collection से पढ़ने वाला method उस type को extend करता wildcard लेता है। जब मुझे सच में runtime पर type चाहिए, जैसे किसी JSON library को बताना हो कि किसमें deserialize करना है, तो मैं class object पास करता हूं या ऐसा type reference लेता हूं जो anonymous subclass के जरिए parameter पकड़ ले, क्योंकि class पर लगा type argument signature में बचा रहता है।