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

Обобщените (generici) предоставят следните предимства:

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

Пример на Java:

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

// С обобщения
List<String> stringList = new ArrayList<>();
stringList.add("string");
// Не е необходим кастинг, типобезопасността е гарантирана
String s2 = stringList.get(0);
// Грешка при опит за добавяне на несъвместим тип
// stringList.add(123);

Пример на C#:

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

// С обобщения
List<string> stringList = new List<string>();
stringList.Add("string");
// Не е необходим кастинг
string s2 = stringList[0];
// Грешка при компилация
// stringList.Add(123);