Šta su generici?

Генерички у програмирању су средство за стварање поновно коришћених компоненти које могу радити са различитим типовима података, а да при том не губе типску безбедност. Они омогућавају писање класа, интерфејса и метода који могу радити са параметрима типа.

Основне предности:

• Типска безбедност у фази компилације: Грешке повезане са несагласношћу типова се откривају још пре извршавања програма.
• Смањење дуплирања кода: Може се написати један универзални алгоритам или структура података који ради са различитим типовима.
• Перформансе: За разлику од коришћења универзалних типова (као што је Object), није потребно конвертовање типова (cast), што може побољшати перформансе.

Пример на Јави:

// Класа List без генеричких типова (старомодан приступ)
List list = new ArrayList();
list.add("hello");
list.add(123); // Може додати било који тип
String s = (String) list.get(0); // Потребан је ручни кастинг
Integer i = (Integer) list.get(1); // Потребан је ручни кастинг

// Класа List са генеричким типовима
List<String> stringList = new ArrayList<>();
stringList.add("world");
// stringList.add(123); // Грешка при компилацији! Само стрингови су дозвољени

String s2 = stringList.get(0); // Није потребан кастинг

Генерички типови омогућавају спецификацију типа података са којим ће радити колекција или други објектни тип/интерфејс. Ово обезбеђује строгост типова и спречава грешке током извршавања, повезане са некоректним типовима података.

На пример, у језику C# генерички типови се такође користе у колекцијама:

// Листа стрингова са коришћењем генеричких типова
List<string> names = new List<string>();
names.Add("Alice");
// names.Add(123); // Грешка при компилацији

string firstName = names[0]; // Није потребан кастинг

У Python-у, концепт генеричких типова је реализован коришћењем анотација типа (type hints) и модула typing:

from typing import List, Dict, Any

# Листа стрингова са анотацијом типа
def process_strings(data: List[str]):
    for item in data:
        print(item)

# Дикт са кључевима-стринговима и вредностима било ког типа
def process_dict(data: Dict[str, Any]):
    for key, value in data.items():
        print(f"{key}: {value}")

Иако у Python-у анотације типа не обезбеђују строгост током извршавања (ова је задатак статичких аналитичара као што је MyPy), они значајно побољшавају читљивост кода и олакшавају отклањање грешака.

Уопштено, генерички типови су моћан алат за стварање флексибилног, поновно коришћеног и типска безбедног кода у различитим језицима програмирања.