Co jsou Generics a jak se používají v programování?

Generika (obecné typy) — je možnost psát kód, který může pracovat s různými datovými typy, přičemž zachovává typovou bezpečnost během kompilace. Umožňují vytvářet třídy, rozhraní a metody, u nichž je datový typ určen při jejich použití, nikoli při jejich deklaraci.

Použití generik zajišťuje:

• Typovou bezpečnost: Kompilátor kontroluje shodu typů, což pomáhá zabránit chybám souvisejícím s nesouladem typů za běhu.
• Opakované použití kódu: Stejný kód může být použit pro práci s různými datovými typy bez duplikace logiky.
• Čitelnost kódu: Použití konkrétních typů místo univerzálního Object zvyšuje srozumitelnost kódu.
• Výkon: V některých jazycích (například Java) jsou generika implementována s vymazáním typů (type erasure), ale v jiných (například C#, C++) je informace o typu zachována za běhu.

Příklady použití:

• Kolekce: Vytváření univerzálních seznamů, množin, map, které mohou uchovávat prvky jakéhokoli typu.

  // Vytvoření seznamu řetězců
  List<String> stringList = new ArrayList<>();
  stringList.add("ahoj");
  // Chyba při kompilaci, pokud se pokusíte přidat číslo
  // stringList.add(123);
  

• Faktory: Vytváření továren, které mohou generovat objekty různých typů.
• Metody: Psání metod, které pracují s univerzálními datovými typy.

  // Obecná metoda výměny hodnot
  public static void Swap<T>(ref T a, ref T b)
  {
      T temp = a;
      a = b;
      b = temp;
  }
  

• Třídy: Vytváření tříd, které jsou univerzální vzhledem k typu uložených nebo zpracovávaných dat.

  // Obecná třída Box
  class Box<T> {
      private T content;
  
      public void setContent(T content) {
          this.content = content;
      }
  
      public T getContent() {
          return content;
      }
  }
  

Porovnání s použitím typu Object (v Java):

Funkce	Generika	Typ Object
Typová bezpečnost	Během kompilace	Za běhu (přes přetypování)
Nutnost přetypování	Ne	Ano
Chyby	Zjišťují se při kompilaci	Mohou nastat za běhu (ClassCastException)
Čitelnost	Vysoká	Nižší (není jasné, jaké typy se očekávají)

Celkově jsou generika mocným nástrojem, který umožňuje psát spolehlivější, čitelnější a znovupoužitelný kód.