Generics деген эмне жана алар программалоодо кандай колдонулат?

Жалпы түрлөр (обобщения) — бул код жазуу мүмкүнчүлүгү, ал ар кандай маалымат түрлөрү менен иштей алат, анткени ал компиляция учурунда түрдүн коопсуздугун сактайт. Алар класстарды, интерфейстерди жана методдорду түзүүгө мүмкүндүк берет, алардын ичинде маалымат түрү колдонуу учурунда аныкталат, аныктоо учурунда эмес.

Обобщенияны колдонуу:

• Түр коопсуздугу: Компилятор түрлөрдүн дал келүүсүн текшерет, бул ишке ашырылуу учурундагы каталарды болтурбайт.
• Кодду кайра колдонуу: Бир эле код ар кандай маалымат түрлөрү менен иштей алат, логиканы кайталоо керек эмес.
• Кодду түшүнүүчүлүк: Жалпысынан Object ордуна конкреттүү түрлөрдү колдонуу кодду түшүнүүчүлүктү жогорулатат.
• Иштөө ылдамдыгы: Кээ бир тилдерде (мисалы, Java) обобщения түр жоготуу аркылуу ишке ашырылат (type erasure), бирок башка тилдерде (мисалы, C#, C++) маалымат ишке ашырылуу учурунда сакталат.

Колдонуу мисалдары:

• Жыйымдар: Ар кандай түрдөгү элементтерди сактай турган универсалдуу тизмелер, топтомдор, карталар түзүү.

  // Стрингдердин тизмесин түзүү
  List<String> stringList = new ArrayList<>();
  stringList.add("салам");
  // Эгер сан кошуу аракетин жасасаңыз, ката чыгат
  // stringList.add(123);
  

• Фабрикалар: Ар кандай түрдөгү объекттерди жаратуучу фабрикаларды түзүү.
• Методдор: Жалпыланган маалымат түрлөрү менен иштеген методдорду жазуу.

  // Жалпыланган алмашуу методу
  public static void Swap<T>(ref T a, ref T b)
  {
      T temp = a;
      a = b;
      b = temp;
  }
  

• Класстар: Маалымат сактоо же иштетүү үчүн универсалдуу класстарды түзүү.

  // Жалпыланган Box классы
  class Box<T> {
      private T content;
  
      public void setContent(T content) {
          this.content = content;
      }
  
      public T getContent() {
          return content;
      }
  }
  

Object типин колдонуу менен салыштырганда (Javaда):

Өзгөчөлүк	Жалпыланган (generics)	Object тиби
Түр коопсуздугу	Компиляция учурунда	Ишке ашырылуу учурунда (кастинг аркылуу)
Керек болсо кастинг	Жок	Ооба
Каталар	Компиляция учурунда аныкталат	Ишке ашырылуу учурунда пайда болушу мүмкүн (ClassCastException)
Окуу жеңилдиги	Жогорку	Төмөн (кайсы түрлөр күтүлүп жатканын түшүнүү кыйын)

Жалпысынан, обобщения күчтүү инструмент болуп саналат, ал ишенимдүү, окула турган жана кайра колдонулуп жаткан код жазууга мүмкүндүк берет.