Что такое параметризованные типы (дженерики) и для чего они нужны?

Параметризованные типы (дженерики) — это механизм в языках программирования, позволяющий создавать классы, интерфейсы и методы, которые работают с разными типами данных, не дублируя код. Вместо того чтобы писать отдельный класс для каждого типа, можно написать один универсальный класс с параметром типа.

Это повышает переиспользуемость и безопасность кода, так как типы проверяются на этапе компиляции, снижая вероятность ошибок времени выполнения.

Пример на Java:

public class Box<T> {
    private T content;

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

    public T getContent() {
        return content;
    }
}

// Использование:
Box<String> stringBox = new Box<>();
stringBox.setContent("Пример");
String value = stringBox.getContent();

Здесь T — параметр типа, который при создании объекта заменяется конкретным типом (например, String).