Mi az általános típusok (Generics)?

A generikus típusok (Generics) lehetővé teszik osztályok, interfészek és metódusok típusparaméterekkel való meghatározását. Ez növeli a rugalmasságot, az újrahasznosíthatóságot és a típusbiztonságot, lehetővé téve különböző adattípusokkal való munkát anélkül, hogy elveszítenénk a statikus típusellenőrzést.

Fő előnyök:

• Típusbiztonság: A fordító ellenőrzi a típusokat a fordítási szakaszban, megelőzve a típus inkompatibilitásából adódó futásidejű hibákat.
• Újrahasznosíthatóság: Ugyanaz a kód különböző adattípusokkal használható, csökkentve a kódduplikációt.
• Teljesítmény: Néhány nyelvben (pl. C#) a generikus típusokat egy adott típus figyelembevételével valósítják meg, ami javíthatja a teljesítményt az Object használatához képest.

Használati példák:

• Gyűjtemények: Lista, szótár, halmaz, amelyek elemtípus szerint paraméterezettek.
• Metódusok: Olyan metódusok, amelyek bármilyen olyan adattípussal működnek, amely egy adott interfészt megvalósít.
• Osztályok: Wrapper osztályok, gyárak, amelyek típusparaméterekkel dolgoznak.

C# példája:

// Generikus lista
List<string> nevek = new List<string>();
nevek.Add("Alice");
nevek.Add("Bob");

// Generikus metódus
public T ElsőElemLekérdezése<T>(List<T> lista)
{
    if (lista != null && lista.Count > 0)
    {
        return lista[0];
    }
    return default(T); // Az T típus alapértelmezett értékét adja vissza
}

Java példája:

// Generikus lista
List<String> nevek = new ArrayList<>();
nevek.add("Alice");
nevek.add("Bob");

// Generikus metódus
public <T> T ElsőElemLekérdezése(List<T> lista) {
    if (lista != null && !lista.isEmpty()) {
        return lista.get(0);
    }
    return null; // Referenciatípusok esetén null
}

Python példája (típus-hinting):

from typing import List, TypeVar

T = TypeVar('T')

def ElsőElemLekérdezése(dátum: List[T]) -> T | None:
    # A függvény bármilyen listával működik, és visszaad egy elemet
    if dátum:
        return dátum[0]
    return None

nevek: List[str] = ["Alice", "Bob"]
első_név = ElsőElemLekérdezése(nevek) # IDE érti, hogy a első_név str

Néhány nyelvben (Java) a generikus típusokat "eltüntetés" (type erasure) módszerrel valósítják meg, ahol a típusinformáció a fordítás során eltűnik. Ez bizonyos korlátozásokhoz vezethet. Más nyelvekben (C#, Go) a típusinformáció futás közben is megmarad.

A generikus típusok alapvető eszközök a tiszta, biztonságos és újrahasznosítható kód írásához.