Növ silinməsi anlayışını və bunun proqramlaşdırma dillərində məlumat tipləri ilə işləməyə təsirini izah edin

Növün ləğvi (type erasure) — parametrik növlər (məsələn, generiklər) haqqında məlumatların tərtib zamanı və ya işləmə zamanı silindiyi mexanizmdir.

Java və ya Kotlin kimi generikləri dəstəkləyən dillərdə, növün ləğvi, işləmə zamanı proqramın parametrik növlərin konkret növlərini bilməməsi və onlarla əsas növlər (məsələn, Object) kimi işləməsi deməkdir.

Təsiri:

• İşləmə zamanı konkret növlər haqqında məlumatların itirilməsi.
• Parametrik növlərlə əməliyyatlarda məhdudiyyətlər (məsələn, T növünün birbaşa nümunəsini yaratmaq mümkün deyil, parametrik növlərlə instanceof istifadə etmək olmaz).
• Ümumi strukturlardan məlumat çıxararkən növünə görə çevirmə ehtiyacı.

Məsələn, Kotlin-də generiklər növün ləğvi vasitəsilə həyata keçirilir, buna görə də tərtib zamanı konkret növlər silinir və bytecode-də yalnız əsas növ qalır.