Какви са обобщените типове (Generics)?

Обобщените типове (Generics) позволяват дефиниране на класове, интерфейси и методи с използване на параметри от тип. Това увеличава гъвкавостта, повторната употреба и типобезопасността на кода, като позволява работа с различни типове данни без да се губи статичната проверка на типовете.

Ключови предимства:

• Типова безопасност: Компилаторът проверява типовете по време на компилация, предотвратявайки грешки по време на изпълнение, свързани с несъответствие на типовете.
• Повторна употреба: Един и същ код може да се използва с различни типове данни, което намалява дублирането на код.
• Производителност: В някои езици (например C#) обобщените типове се реализират с оглед на конкретен тип, което може да подобри производителността в сравнение с използването на Object.

Примери за използване:

• Колекции: Списъци, речници, множества, параметризирани с типа на елементите.
• Методи: Методи, които работят с всеки тип данни, реализиращ определен интерфейс.
• Класове: Обвиващи класове, фабрики, работещи с параметри от тип.

Пример на C#:

// Обобщен списък
List<string> имена = new List<string>();
имена.Add("Alice");
имена.Add("Bob");

// Обобщен метод
public T ВземиПървиЕлемент<T>(List<T> списък)
{
    if (списък != null && списък.Count > 0)
    {
        return списък[0];
    }
    return default(T); // Връща стойността по подразбиране за типа T
}

Пример на Java:

// Обобщен списък
List<String> имена = new ArrayList<>();
имена.add("Alice");
имена.add("Bob");

// Обобщен метод
public <T> T ВземиПървиЕлемент(List<T> списък) {
    if (списък != null && !списък.isEmpty()) {
        return списък.get(0);
    }
    return null; // Връща null за референтни типове
}

Пример в Python (типови намеци):

from typing import List, TypeVar

T = TypeVar('T')

def ВземиПървиЕлемент(данни: List[T]) -> T | None:
    # Функцията може да работи с всякакъв списък и да връща елемент
    if данни:
        return данни[0]
    return None

имена: List[str] = ["Alice", "Bob"]
първо_име = ВземиПървиЕлемент(имена) # IDE разбира, че първо_име е str

В някои езици (Java) обобщените типове използват "изтриване" (type erasure), при което информацията за типа на параметъра се премахва по време на компилация. Това може да доведе до някои ограничения. В други езици (C#, Go) информацията за типа се запазва по време на изпълнение.

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