Šta su generički tipovi?

Generički tipovi omogućavaju definisanje klasa, interfejsa i metoda koristeći parametarske tipove. Ovo povećava fleksibilnost, ponovnu upotrebu i sigurnost tipova koda, omogućavajući rad sa različitim vrstama podataka bez gubitka statičke provere tipova.

Ključne prednosti:

• Sigurnost tipova: Kompajler proverava tipove tokom kompilacije, sprečavajući greške tokom izvršavanja povezane sa neusaglašenim tipovima.
• Ponovna upotreba: Isti kod se može koristiti sa različitim vrstama podataka, čime se smanjuje dupliranje koda.
• Performanse: U nekim jezicima (npr. C#), generički tipovi se implementiraju uzimajući u obzir konkretan tip, što može povećati performanse u poređenju sa korišćenjem Object.

Primeri upotrebe:

• Kolekcije: Liste, rečnici, skupovi, parametrizovani tipom elemenata.
• Metode: Metode koje rade sa bilo kojim tipom podataka koji implementira određeni interfejs.
• Klase: Klase-omotaci, fabrike, koje rade sa parametrizovanim tipovima.

Primer na C#:

// Generička lista
List<string> imena = new List<string>();
imena.Add("Alice");
imena.Add("Bob");

// Generička metoda
public T UzmiPrviElement<T>(List<T> lista)
{
    if (lista != null && lista.Count > 0)
    {
        return lista[0];
    }
    return default(T); // Vraća podrazumevanu vrednost za tip T
}

Primer na Javi:

// Generička lista
List<String> imena = new ArrayList<>();
imena.add("Alice");
imena.add("Bob");

// Generička metoda
public <T> T uzmiPrviElement(List<T> lista) {
    if (lista != null && !lista.isEmpty()) {
        return lista.get(0);
    }
    return null; // Vraća null za referentne tipove
}

Primer u Pythonu (tip-hinthing):

from typing import List, TypeVar

T = TypeVar('T')

def uzmiPrviElementa(podaci: List[T]) -> T | None:
    # Funkcija može raditi sa bilo kojom listom i vraća element iz nje
    if podaci:
        return podaci[0]
    return None

imena: List[str] = ["Alice", "Bob"]
prvo_ime = uzmiPrviElementa(imena) # IDE razume da je prvo_ime - str

U nekim jezicima (Java), generički tipovi koriste "brisanje" (type erasure), gde se informacija o tipu parametra uklanja tokom kompilacije. Ovo može dovesti do određenih ograničenja. U drugim jezicima (C#, Go), informacija o tipu se čuva tokom izvršavanja.

Generički tipovi su fundamentalni alat za pisanje čistog, sigurnog i ponovo upotrebljivog koda.