Kas yra bendrieji tipai (Generics)?

Bendrieji tipai (Generics) leidžia apibrėžti klases, sąsajas ir metodus naudojant parametrinius tipus. Tai padidina lankstumą, pakartotinį naudojimą ir tipų saugumą, leidžiant dirbti su įvairiais duomenų tipais be statinės tipų patikros praradimo.

Pagrindiniai privalumai:

• Tipų saugumas: Kompiliatorius patikrina tipus kompiliacijos metu, užkertant kelią klaidoms vykdymo metu, susijusioms su neatitinkančiais tipais.
• Pakartotinis naudojimas: Tą patį kodą galima naudoti su skirtingais duomenų tipais, sumažinant kodo dubliavimą.
• Našumas: Kai kuriose kalbose (pvz., C#) bendrieji tipai įgyvendinami atsižvelgiant į konkretų tipą, tai gali pagerinti našumą, palyginti su Object naudojimu.

Naudojimo pavyzdžiai:

• Kolekcijos: Sąrašai, žodynai, rinkiniai, parametrizuoti elementų tipu.
• Metodai: Metodai, dirbantys su bet kokiu duomenų tipu, įgyvendinančiu tam tikrą sąsają.
• Klasės: Apvalkalo klasės, fabrikai, dirbantys su parametriniais tipais.

Pavyzdys C#:

// Bendras sąrašas
List<string> vardai = new List<string>();
vardai.Add("Alice");
vardai.Add("Bob");

// Bendras metodas
public T GaukPirmąElementą<T>(List<T> sąrašas)
{
    if (sąrašas != null && sąrašas.Count > 0)
    {
        return sąrašas[0];
    }
    return default(T); // Grąžina numatytąją reikšmę tipui T
}

Java pavyzdys:

// Bendras sąrašas
List<String> vardai = new ArrayList<>();
vardai.add("Alice");
vardai.add("Bob");

// Bendras metodas
public <T> T GaukPirmąElementą(List<T> sąrašas) {
    if (sąrašas != null && !sąrašas.isEmpty()) {
        return sąrašas.get(0);
    }
    return null; // Grąžina null nuorodų tipams
}

Python pavyzdys (tipų žymėjimas):

from typing import List, TypeVar

T = TypeVar('T')

def GaukPirmąElementą(daug: List[T]) -> T | None:
    # Funkcija gali dirbti su bet kokiu sąrašu ir grąžinti pirmąjį elementą
    if daug:
        return daug[0]
    return None

vardai: List[str] = ["Alice", "Bob"]
PirmasVardas = GaukPirmąElementą(vardai) # IDE supranta, kad PirmasVardas - str

Kai kuriose kalbose (Java) bendrieji tipai naudoja "tipų ištrynimą" (type erasure), kur informacija apie parametrų tipą yra pašalinama kompiliacijos metu. Tai gali sukelti tam tikrų apribojimų. Kitose kalbose (C#, Go) informacija apie tipą išlieka vykdymo metu.

Bendrieji tipai yra pagrindinis įrankis rašant švarų, saugų ir pakartotinai naudojamą kodą.