Kokiomis galimybėmis pasižymi Generics?

Generikai (bendrieji tipai) suteikia šias galimybes:

• Kodo pakartotinis naudojimas: Klasės, sąsajos ir metodai, kurie gali dirbti su įvairių tipų objektais be tipų saugumo praradimo.
• Tipų saugumas kompiliavimo metu: Kompiliatorius gali patikrinti teisingą tipų naudojimą, užkertant kelią vykdymo metu pasitaikantiems klaidoms, susijusioms su tipų konvertavimu.
• Kodo skaitomumo gerinimas: Aiškus tipų nurodymas metodų parašų ir klasių deklaracijose daro kodą suprantamesnį.
• Našumo didinimas (kai kuriose kalbose): Kalbose, kuriose generikai įgyvendinti per tipų ištrynimą (pvz., Java), tai pasiekiama pašalinus poreikį konvertuoti tipus vykdymo metu. Kalbose, kuriose generikai įgyvendinti per monomorfizaciją (pvz., C++ šablonai), tai gali sukelti kodo padidėjimą, bet potencialiai greitesnį veikimą dėl dinamiškų iškvietimų pašalinimo.
• Sudėtinės kolekcijos suderinamumas: Patogus darbui su kolekcijomis leidžia nurodyti elementų tipą, saugomą kolekcijoje.

Pavyzdys Java:

// Be generikų
List list = new ArrayList();
list.add("string");
// Reikalingas tipo konvertavimas ištraukimo metu, galimas ClassCastException
String s = (String) list.get(0);

// Su generikais
List<String> stringList = new ArrayList<>();
stringList.add("string");
// Tipas nereikalingas, tipų saugumas garantuotas
String s2 = stringList.get(0);
// Klaida kompiliuojant, jei bandoma pridėti nesuderinamą tipą
// stringList.add(123);

C# pavyzdys:

// Be generikų
ArrayList list = new ArrayList();
list.Add("string");
// Reikalingas tipo konvertavimas
string s = (string)list[0];

// Su generikais
List<string> stringList = new List<string>();
stringList.Add("string");
// Tipas nereikalingas
string s2 = stringList[0];
// Klaida kompiliuojant
// stringList.Add(123);