Какво са Generics и как се използват в…

Генериците (обобщенията) — това е възможност да пишете код, който може да работи с различни типове данни, като същевременно запазва типобезопасността по време на компилация. Те позволяват създаването на класове, интерфейси и методи, при които типът данни се определя при използването им, а не при обявяването им.

Използването на generics осигурява:

Типобезопасност: Компилаторът проверява съответствието на типовете, което помага да се избегнат грешки, свързани с несъответствие на типовете, по време на изпълнение.
Повторно използване на кода: Един и същ код може да бъде използван за работа с различни типове данни без дублиране на логиката.
Четливост на кода: Използването на конкретни типове вместо универсалния Object повишава разбираемостта на кода.
Производителност: В някои езици (например Java) generics се реализират чрез изтриване на типовете (type erasure), но в други (например C#, C++) информацията за типа се запазва по време на изпълнение.

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

Колекции: Създаване на универсални списъци, множества, отображения, които могат да съхраняват елементи от всеки тип.

// Създаване на списък от низове
List<String> stringList = new ArrayList<>();
stringList.add("здравей");
// Грешка при компилация, ако се опитате да добавите число
// stringList.add(123);

Фабрики: Създаване на фабрики, които могат да създават обекти от различни типове.

Методи: Написване на методи, които работят с универсални типове данни.

// Обобщен метод за размяна на стойности
public static void Swap<T>(ref T a, ref T b)
{
    T temp = a;
    a = b;
    b = temp;
}

Класове: Създаване на класове, които са универсални по отношение на типа на съхраняваните или обработваните данни.

// Обобщен клас Box
class Box<T> {
    private T content;

    public void setContent(T content) {
        this.content = content;
    }

    public T getContent() {
        return content;
    }
}

Сравнение с използването на Object тип (в Java):

Характеристика	Генерики	Тип Object
Типобезопасност	По време на компилация	По време на изпълнение (чрез привеждане)
Необходимост от привеждане	Не	Да
Грешки	Откриват се по време на компилация	Могат да възникнат по време на изпълнение (ClassCastException)
Четливост	Висока	По-ниска (не е ясно какви типове се очакват)

Общо взето, generics са мощен инструмент, който позволява да се пише по-надежден, по-четлив и по-рециклируем код.

Какво са Generics и как се използват в програмирането?