Čo sú generiká?

Generik v programovaní sú prostriedkom na vytváranie opakovane použiteľných komponentov, ktoré môžu pracovať s rôznymi typmi údajov, pričom neznižujú typovú bezpečnosť. Umožňujú písanie tried, rozhraní a metód, ktoré môžu manipulovať s parametrami typu.

Hlavné výhody:

• Typová bezpečnosť v štádiu kompilácie: Chyby spojené s nezlučiteľnosťou typov sa odhaľujú ešte pred spustením programu.
• Zníženie duplikácie kódu: Môže sa napísať jeden univerzálny algoritmus alebo dátová štruktúra, ktorá pracuje s rôznymi typmi.
• Výkon: Na rozdiel od používania univerzálnych typov (ako Object) nie je potrebné konvertovanie typov (cast), čo môže zlepšiť výkon.

Príklad v Jave:

// Trieda List bez generických typov (starý prístup)
List list = new ArrayList();
list.add("hello");
list.add(123); // Môže pridať akýkoľvek typ
String s = (String) list.get(0); // Vyžaduje sa manuálne konvertovanie
Integer i = (Integer) list.get(1); // Vyžaduje sa manuálne konvertovanie

// Trieda List s generickými typmi
List<String> stringList = new ArrayList<>();
stringList.add("world");
// stringList.add(123); // Chyba pri kompilácii! Len reťazce sú povolené

String s2 = stringList.get(0); // Nie je potrebné konvertovanie

Generiká umožňujú špecifikovať typ údajov, s ktorým bude kolekcia alebo iná všeobecná trieda/rozhranie pracovať. To zabezpečuje prísnosť typov a zabraňuje chybám počas behu, ktoré sú spôsobené nesprávnymi typmi údajov.

Napríklad v jazyku C# sa generiká tiež používajú v kolekciách:

// Zoznam reťazcov s použitím generík
List<string> names = new List<string>();
names.Add("Alice");
// names.Add(123); // Chyba pri kompilácii

string firstName = names[0]; // Nie je potrebné konvertovanie

V Pythone je koncept generických typov realizovaný pomocou anotácií typov (type hints) a modulu typing:

from typing import List, Dict, Any

# Zoznam reťazcov s anotáciou typu
def process_strings(data: List[str]):
    for item in data:
        print(item)

# Slovník s kľúčmi-riadkami a hodnotami akéhokoľvek typu
def process_dict(data: Dict[str, Any]):
    for key, value in data.items():
        print(f"{key}: {value}")

Hoci v Pythone anotácie typov nezabezpečujú prísnosť počas behu (je to úloha statických analyzátorov ako MyPy), výrazne zlepšujú čitateľnosť kódu a uľahčujú odstraňovanie chýb.

Celkovo sú generiká mocným nástrojom na vytváranie flexibilného, opakovane použiteľného a typovo bezpečného kódu v rôznych jazykoch programovania.