Ce capacități oferă Generics?

Genericele (tipuri generice) oferă următoarele avantaje:

• Reutilizarea codului: Crearea de clase, interfețe și metode care pot lucra cu obiecte de diferite tipuri fără a pierde siguranța tipurilor.
• Siguranța tipurilor în timpul compilării: Compilatorul poate verifica corectitudinea utilizării tipurilor, prevenind erorile de timp de execuție legate de conversiile de tip.
• Îmbunătățirea lizibilității codului: Specificarea explicită a tipurilor în semnăturile metodelor și declarațiile claselor face ca codul să fie mai ușor de înțeles.
• Creșterea performanței (în unele limbaje): În limbajele în care genericele sunt implementate prin eliminarea tipurilor (de exemplu, Java), acest lucru se realizează prin eliminarea necesității de conversii de tip în timpul execuției. În limbajele în care sunt implementate prin monomorfizare (de exemplu, șabloanele C++), acest lucru poate duce la creșterea dimensiunii codului, dar potențial la o execuție mai rapidă prin eliminarea apelurilor dinamice.
• Compatibilitatea cu colecțiile: Facilitează lucrul cu colecțiile, permițând specificarea tipului elementelor stocate în acestea.

Exemplu în Java:

// Fără generice
List list = new ArrayList();
list.add("string");
// Este necesar un cast la extragere, posibil ClassCastException
String s = (String) list.get(0);

// Cu generice
List<String> stringList = new ArrayList<>();
stringList.add("string");
// Nu este necesar un cast, siguranța tipurilor este garantată
String s2 = stringList.get(0);
// Eroare de compilare la încercarea de a adăuga un tip incompatibil
// stringList.add(123);

Exemplu în C#:

// Fără generice
ArrayList list = new ArrayList();
list.Add("string");
// Este necesar un cast la extragere
string s = (string) list[0];

// Cu generice
List<string> stringList = new List<string>();
stringList.Add("string");
// Nu este necesar un cast
string s2 = stringList[0];
// Eroare de compilare
// stringList.Add(123);