Co jsou generika?

Generika v programování jsou prostředkem pro vytváření znovu použitelných komponent, které mohou pracovat s různými datovými typy, aniž by ztratily typovou bezpečnost. Umožňují psát třídy, rozhraní a metody, které operují s parametry typu.

Hlavní výhody:

• Typová bezpečnost ve fázi kompilace: Chyby související s nesouladem typů jsou odhaleny ještě před spuštěním programu.
• Snížení duplicitního kódu: Můžete napsat univerzální algoritmus nebo datovou strukturu, která funguje s různými typy.
• Výkon: Na rozdíl od používání univerzálních typů (například Object) není nutné provádět přetypování (cast), což může zlepšit výkon.

Příklad v Javě:

// Třída List bez generik (zastaralý přístup)
List list = new ArrayList();
list.add("ahoj");
list.add(123); // Lze přidat jakýkoli typ
String s = (String) list.get(0); // Vyžaduje ruční přetypování
Integer i = (Integer) list.get(1); // Vyžaduje ruční přetypování

// Třída List s generiky
List<String> stringList = new ArrayList<>();
stringList.add("svět");
// stringList.add(123); // Chyba kompilace! Pouze řetězce jsou povoleny

String s2 = stringList.get(0); // Není třeba přetypování

Generika umožňují specifikovat typ dat, se kterými bude kolekce nebo jiná generická třída/rozhraní pracovat. To zajišťuje typovou bezpečnost a zabraňuje chybám za běhu spojeným s nesprávnými datovými typy.

Například v C# jsou generika také používána v kolekcích:

// Seznam řetězců s generiky
List<string> jména = new List<string>();
jména.Add("Alice");
// jména.Add(123); // Chyba kompilace

string prvníJméno = jména[0]; // Není třeba přetypování

V Pythonu je koncept generik realizován pomocí anotací typů (type hints) a modulu typing:

from typing import List, Dict, Any

# Seznam řetězců s anotací typu
def zpracuj_řetězce(data: List[str]):
    for item in data:
        print(item)

# Slovník s klíči typu řetězec a hodnotami jakéhokoliv typu
def zpracuj_slovník(data: Dict[str, Any]):
    for klíč, hodnota in data.items():
        print(f"{klíč}: {hodnota}")

Ačkoliv v Pythonu anotace typů nezaručují bezpečnost za běhu (to je úkol statických analyzátorů, jako je MyPy), výrazně zlepšují čitelnost kódu a usnadňují ladění.

Obecně jsou generika mocným nástrojem pro tvorbu flexibilního, znovu použitelných a typově bezpečných kódů v různých programovacích jazycích.