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

Generics (обобщения) предоставляют следующие возможности:

• Повторное использование кода: Создание классов, интерфейсов и методов, которые могут работать с объектами различных типов без потери типобезопасности.
• Типобезопасность во время компиляции: Компилятор может проверить правильность использования типов, предотвращая ошибки времени выполнения, связанные с приведением типов.
• Улучшенная читаемость кода: Явное указание типов в сигнатурах методов и объявлениях классов делает код более понятным.
• Повышение производительности (в некоторых языках): В языках, где обобщения реализованы через стирание типов (например, Java), это достигается за счет устранения необходимости приведения типов во время выполнения. В языках, где обобщения реализованы через мономорфизацию (например, C++ templates), это может привести к раздуванию кода, но потенциально к более быстрой работе за счет устранения динамических вызовов.
• Совместимость с коллекциями: Удобная работа с коллекциями, позволяющая указывать тип элементов, хранящихся в коллекции.

Пример на Java:

// Без Generics
List list = new ArrayList();
list.add("string");
// Необходимо приведение типа при извлечении, потенциальная ClassCastException
String s = (String) list.get(0);

// С Generics
List<String> stringList = new ArrayList<>();
stringList.add("string");
// Приведение типа не требуется, типобезопасность гарантирована
String s2 = stringList.get(0);
// Ошибка компиляции при попытке добавить несовместимый тип
// stringList.add(123);

Пример на C#:

// Без Generics
ArrayList list = new ArrayList();
list.Add("string");
// Необходимо приведение типа при извлечении
string s = (string)list[0];

// С Generics
List<string> stringList = new List<string>();
stringList.Add("string");
// Приведение типа не требуется
string s2 = stringList[0];
// Ошибка компиляции
// stringList.Add(123);