Mi a Generics és hogyan használják a programozásban?

A generikusok (generics) lehetőséget adnak arra, hogy olyan kódot írjunk, amely különböző adattípusokkal működhet, miközben a típusbiztonság megmarad fordítási időben. Osztályokat, interfészeket és metódusokat hozhatunk létre, ahol az adattípus a használat során kerül meghatározásra, nem a deklarációkor.

A generikusok használata biztosítja:

• Típusbiztonság: A fordító ellenőrzi a típusok megfelelőségét, segítve ezzel a típusok közötti inkompatibilitásból eredő hibák elkerülését futásidőben.
• Kód újrafelhasználhatóság: Ugyanaz a kód többféle adattípussal is működhet anélkül, hogy duplikálnánk a logikát.
• Kód olvashatósága: A konkrét típusok használata az általános Object helyett növeli a kód érthetőségét.
• Teljesítmény: Néhány nyelvben (pl. Java) a generikusokat típus eltüntetés (type erasure) révén valósítják meg, másokban (pl. C#, C++) a típusinformáció futásidőben is megmarad.

Használati példák:

• Gyűjtemények: Általános listák, halmazok és térképek létrehozása, amelyek bármilyen típusú elemet tárolhatnak.

  // String lista létrehozása
  List<String> stringList = new ArrayList<>();
  stringList.add("szia");
  // Hiba fordításkor, ha számot próbálsz hozzáadni
  // stringList.add(123);
  

• Gyárak: Olyan gyárak létrehozása, amelyek különböző típusú objektumokat tudnak előállítani.
• Metódusok: Általános típusú adatokkal dolgozó metódusok írása.

  // Általános értékcsere metódus
  public static void Swap<T>(ref T a, ref T b)
  {
      T temp = a;
      a = b;
      b = temp;
  }
  

• Osztályok: Olyan osztályok létrehozása, amelyek általánosak a tárolt vagy feldolgozott adatok típusára nézve.

  // Általános Box osztály
  class Box<T> {
      private T content;
  
      public void setContent(T content) {
          this.content = content;
      }
  
      public T getContent() {
          return content;
      }
  }
  

Összehasonlítás az Object típus használatával (Java):

Jellemző	Generics	Object típus
Típusbiztonság	Fordítási időben	Futási időben (castolással)
Cast szükségessége	Nem	Igen
Hibák	Fordítási szakaszban észlelhetők	Futásidőben fordulhatnak elő (ClassCastException)
Olvashatóság	Magas	Alacsonyabb (nem világos, milyen típusokat várunk)

Általánosságban a generikusok erőteljes eszközök, amelyek lehetővé teszik megbízhatóbb, olvashatóbb és újrahasznosítható kód írását.