Какво са генериците?

Генериците в програмирането са средство за създаване на повторно използваеми компоненти, които могат да работят с различни типове данни, без да губят типова безопасност. Те позволяват да се пишат класове, интерфейси и методи, които могат да оперират с параметри от тип.

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

• Типова безопасност по време на компилация: Грешки, свързани с несъответствие на типове, се откриват още преди изпълнението на програмата.
• Намаляване на дублирането на код: Може да се напише един универсален алгоритъм или структура от данни, който работи с различни типове.
• Производителност: За разлика от използването на универсални типове (като Object), няма нужда от преобразуване на типове (cast), което може да подобри производителността.

Пример на Java:

// Клас 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), те значително подобряват четимостта на кода и улесняват отстраняването на грешки.

Общо взето, генериците са мощен инструмент за създаване на гъвкав, повторно използваем и типобезопасен код в различни езици за програмиране.