Mis on üldistüübid (Generics)?

Üldistüübid (Generics) võimaldavad määratleda klasse, liideseid ja meetodeid, kasutades parameetritüüpe. See suurendab paindlikkust, taaskasutusvõimalusi ja tüübi turvalisust, võimaldades töötada erinevate andmetüüpidega ilma statilise tüüpi kontrolli kaotamata.

Peamised eelised:

• Tüübi turvalisus: Kompilaator kontrollib tüüpe kompileerimise ajal, vältides jooksuaegseid vigu, mis on seotud sobimatute tüüpidega.
• Taaskasutus: Sama koodi saab kasutada erinevate andmetüüpidega, vähendades koodi dubleerimist.
• Jõudlus: Mõnedes keeltes (nt C#) realiseeritakse üldistüüpe konkreetse tüübi arvestades, mis võib parandada jõudlust võrreldes Object-i kasutamisega.

Kasutusnäited:

• Kogumid: Nimekirjad, sõnastikud, komplektid, elementide tüübi parameetrid.
• Meetodid: Meetodid, mis töötavad mis tahes andmetüübiga, mis rakendavad teatud liidest.
• Klassid: Korpused, tehased, mis töötavad parameetritüüpidega.

C# näide:

// Üldine nimekiri
List<string> nimed = new List<string>();
nimed.Add("Alice");
nimed.Add("Bob");

// Üldine meetod
public T GetFirstElement<T>(List<T> nimekiri)
{
    if (nimekiri != null && nimekiri.Count > 0)
    {
        return nimekiri[0];
    }
    return default(T); // Tagastab T jaoks vaikimisi väärtuse
}

Java näide:

// Üldine nimekiri
List<String> nimed = new ArrayList<>();
nimed.add("Alice");
nimed.add("Bob");

// Üldine meetod
public <T> T getFirstElement(List<T> nimekiri) {
    if (nimekiri != null && !nimekiri.isEmpty()) {
        return nimekiri.get(0);
    }
    return null; // Tagastab null viidetüüpi
}

Python näide (tüübimärgend):

from typing import List, TypeVar

T = TypeVar('T')

def get_first_element(data: List[T]) -> T | None:
    # Funktsioon saab töötada mis tahes nimekirjaga ja tagastada esimese elemendi
    if data:
        return data[0]
    return None

nimed: List[str] = ["Alice", "Bob"]
first_name = get_first_element(nimed) # IDE mõistab, et first_name on str

Mõnedes keeltes (Java) kasutavad üldistüübid "tüübi kustutamist" (type erasure), kus teave parameetritüübi kohta eemaldatakse kompileerimise ajal. See võib põhjustada teatud piiranguid. Teistes keeltes (C#, Go) säilitatakse teave tüübist jooksu ajal.

Üldistüübid on põhivahend puhta, turvalise ja taaskasutatava koodi kirjutamiseks.