Какво са обобщенията (Generics) в програмирането…

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

Основните цели на използването на Generics:

Повишаване на типовата безопасност: Компилаторът проверява типовете по време на компилация, откривайки грешки преди изпълнението на програмата.
Подобряване на четливостта на кода: Ясно е с кои типове данни работи компонентът.
Повторна употреба на кода: Може да се създаде един компонент, който работи с различни типове, вместо да се пишат няколко версии.
Намаляване на преобразуванията на типове: Избягва необходимостта от явни преобразувания, което прави кода по-чист и по-малко податлив на грешки ClassCastException (в езицата, където това е приложимо, например Java).

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

Колекции: Списъци (List), множества (Set), карти (Map) могат да съхраняват елементи от определен тип, което гарантира, че в колекцията няма да попаднат елементи от друг тип.
Методи/функции: Метод може да работи с параметри или да връща стойност от универсален тип.
Класове/интерфейси: Могат да се създават универсални структури от данни или шаблони за поведение.

Пример на Java:

// Обобщен клас за двойка
public class Pair<T, U> {
    private T first;
    private U second;

    public Pair(T first, U second) {
        this.first = first;
        this.second = second;
    }

    public T getFirst() {
        return first;
    }

    public U getSecond() {
        return second;
    }
}

// Използване
Pair<String, Integer> pair = new Pair<>("Hello", 123);
String str = pair.getFirst(); // Не е необходимо преобразуване на типове
int num = pair.getSecond();   // Не е необходимо преобразуване на типове

// Грешно Pair
Pair<String, Integer> wrongPair = new Pair<>(123, "Hello"); // Грешка при компилация: несъвпадение на типове

Пример на C#:

// Обобщен клас Pair
public class Pair<T, U>
{
    public T First { get; set; }
    public U Second { get; set; }

    public Pair(T first, U second)
    {
        First = first;
        Second = second;
    }
}

// Използване
var pair = new Pair<string, int>("Hello", 123);
string str = pair.First; // Не е необходимо преобразуване на типове
int num = pair.Second;   // Не е необходимо преобразуване на типове

// Грешно Pair
var wrongPair = new Pair<string, int>(123, "Hello"); // Грешка при компилация

Пример на TypeScript:

// Обобщена функция за получаване на първия елемент от масив
function getFirstElement<T>(arr: T[]): T | undefined {
    if (arr.length > 0) {
        return arr[0];
    }
    return undefined;
}

// Използване
let numbers: number[] = [1, 2, 3];
let firstNumber = getFirstElement(numbers); // firstNumber има тип number

let words: string[] = ["a", "b", "c"];
let firstWord = getFirstElement(words);   // firstWord има тип string

// let mixedArray: (number | string)[] = [1, "a", 2];
// let firstMixed = getFirstElement(mixedArray); // firstMixed има тип number | string

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

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