Kas ir ģeneriskie tipi?

Ģeneriskie tipi (Generics) ļauj definēt klases, interfeisus un metodes, izmantojot parametru tipus. Tas palielina elastību, atkārtotu izmantošanu un tipa drošību, ļaujot strādāt ar dažādiem datu tipiem bez statiskās tipa pārbaudes zaudēšanas.

Galvenās priekšrocības:

• Tipa drošība: Kompilators pārbauda tipus kompilācijas laikā, novēršot kļūdas izpildes laikā, kas saistītas ar neatbilstīgiem tipiem.
• Atkārtota izmantošana: To pašu kodu var izmantot ar dažādiem datu tipiem, samazinot koda dublēšanu.
• Veiktspēja: Dažās valodās (piemēram, C#) ģeneriskie tipi tiek īstenoti, ņemot vērā konkrēto tipu, kas var uzlabot veiktspēju salīdzinājumā ar Object izmantošanu.

Piemēri:

• Kolekcijas: Saraksti, vārdnīcas, kopas, parametrizētas ar elementu tipu.
• Metodes: Metodes, kas strādā ar jebkuru datu tipu, kas īsteno noteiktu interfeisu.
• Klases: Apvalka klases, rūpnīcas, kas strādā ar parametrizētiem tipiem.

C# piemērs:

// Ģeneriskais saraksts
List<string> vārdi = new List<string>();
vārdi.Add("Alice");
vārdi.Add("Bob");

// Ģeneriskais metodes
public T SaņemPirmoElementu<T>(List<T> saraksts)
{
    if (saraksts != null && saraksts.Count > 0)
    {
        return saraksts[0];
    }
    return default(T); // Atgriež noklusējuma vērtību tipam T
}

Java piemērs:

// Ģeneriskais saraksts
List<String> vārdi = new ArrayList<>();
vārdi.add("Alice");
vārdi.add("Bob");

// Ģeneriskais metodes
public <T> T SaņemPirmoElementu(List<T> saraksts) {
    if (saraksts != null && !saraksts.isEmpty()) {
        return saraksts.get(0);
    }
    return null; // Atgriež null saistītajiem tipiem
}

Python piemērs (tipa norāde):

from typing import List, TypeVar

T = TypeVar('T')

def SaņemPirmoElementu(dati: List[T]) -> T | None:
    # Funkcija var strādāt ar jebkuru sarakstu un atgriezt pirmo elementu
    if dati:
        return dati[0]
    return None

vārdi: List[str] = ["Alice", "Bob"]
pirmais_vārds = SaņemPirmoElementu(vārdi) # IDE saprot, ka pirmais_vārds ir str

Dažās valodās (Java) ģeneriskie tipi izmanto "tipa iznīcināšanu" (type erasure), kur informācija par parametra tipu tiek dzēsta kompilācijas laikā. Tas var radīt dažus ierobežojumus. Citās valodās (C#, Go) informācija par tipu tiek saglabāta izpildes laikā.

Ģeneriskie tipi ir būtisks rīks tīra, droša un atkārtoti izmantojama koda rakstīšanai.