Εξηγήστε την έννοια της διαγραφής τύπου και τον κύριο σκοπό της στον προγραμματισμό.

Η διαγραφή τύπου είναι ένας μηχανισμός στη Java που χρησιμοποιείται κατά την εργασία με γενικούς τύπους. Κατά τη διάρκεια της μεταγλώττισης, οι πληροφορίες σχετικά με τους τύπους των παραμέτρων γενικών τύπων διαγράφονται (αφαιρούνται), και στον μεταγλωττισμένο κώδικα byte, οι τύποι αντικαθίστανται από τον ανώτερο περιοριστικό τύπο τους (συνήθως Object).

Ο κύριος σκοπός της διαγραφής τύπου:

• Να διασφαλίσει την συμβατότητα με τον παλαιότερο κώδικα που γράφτηκε πριν από την εμφάνιση των γενικών τύπων.
• Να επιτρέψει τη χρήση γενικών τύπων χωρίς να τροποποιηθεί η JVM.

Παράδειγμα:

List<String> list = new ArrayList<>();
// Κατά τη διάρκεια της μεταγλώττισης, αυτό μετατρέπεται περίπου σε:
List list = new ArrayList();

Γι' αυτό, για παράδειγμα, δεν είναι δυνατή η δημιουργία πινάκων με παραμετρικούς τύπους ή η χρήση του instanceof με παραμετρικούς τύπους άμεσα.