Javaда түрлөрдү өчүрүү эмне?

Типтерди жоготуу (type erasure) — бул Javaда процесс, анда типтер жөнүндө маалыматтар компиляциялоо учурунда өчүрүлөт, жана компиляцияланган байткод генерик параметрлери жөнүндө маалымат камтыбайт.

Негизги пункттар:

• Коомчулук: Бул генериктердин эски код менен иштешине мүмкүндүк берет, ал генериктерди колдонбойт.
• Ишке ашыруу: Компилятор параметрленген типтерди алардын жогорку чегине (адатта Object) алмаштырып, керектүү түрлөрдү түрлөргө айландыруу операцияларын кошот.
• Чектөөлөр:
  • Примитивдүү түрлөрдү генерик параметр катары колдонуу мүмкүн эмес (мисалы, List<int>).
  • Параметрленген типтин массивин түзүү мүмкүн эмес (мисалы, new List<String>[10]).
  • instanceof операторун параметрленген типти текшерүү үчүн колдонуу мүмкүн эмес (мисалы, if (list instanceof List<String>)).
  • Методдорду параметрленген типтер боюнча жүктөө мүмкүн эмес, эгер алардын белгилери жоголгондон кийин дал келсе.

Мисал:

// Генериктер менен баштапкы код
List<String> stringList = new ArrayList<>();
stringList.add("hello");
String s = stringList.get(0); // Ачык түргө айландыруу талап кылынбайт

// Түрлөрдүн жоголушунан кийин байткод
List list = new ArrayList(); // `List<String>` түрү `List` менен алмаштырылган
list.add("hello");
String s = (String)list.get(0); // Жасырын түргө айландыруу кошулду

Чектөөлөргө карабастан, типтерди жоготуу Javaда генериктердин ишке ашырылышында негизги аспект болуп саналат, ал артка карата шайкештикти камсыздайт.