Jakie możliwości oferują Generics?

Generyki (ogólne typy) oferują następujące możliwości:

• Ponowne użycie kodu: Tworzenie klas, interfejsów i metod, które mogą działać z obiektami różnych typów bez utraty bezpieczeństwa typów.
• Bezpieczeństwo typów podczas kompilacji: Kompilator może sprawdzić poprawność użycia typów, zapobiegając błędom podczas wykonywania związanym z rzutowaniem typów.
• Lepsza czytelność kodu: Jawne określenie typów w sygnaturach metod i deklaracjach klas sprawia, że kod jest bardziej zrozumiały.
• Zwiększenie wydajności (w niektórych językach): W językach, gdzie generyki są implementowane przez wymazywanie typów (np. Java), osiąga się to poprzez eliminację konieczności rzutowania typów podczas wykonywania. W językach, gdzie implementowane są przez monomorfizację (np. szablony C++), może to prowadzić do powiększenia kodu, ale potencjalnie do szybszego działania przez eliminację wywołań dynamicznych.
• Zgodność z kolekcjami: Ułatwia pracę z kolekcjami, pozwalając określić typ elementów przechowywanych w nich.

Przykład w Java:

// Bez generyków
List list = new ArrayList();
list.add("string");
// Przy pobieraniu konieczne jest rzutowanie, potencjalny ClassCastException
String s = (String) list.get(0);

// Z generykami
List<String> stringList = new ArrayList<>();
stringList.add("string");
// Rzutowanie nie jest potrzebne, bezpieczeństwo typu jest gwarantowane
String s2 = stringList.get(0);
// Błąd kompilacji przy próbie dodania niezgodnego typu
// stringList.add(123);

Przykład w C#:

// Bez generyków
ArrayList list = new ArrayList();
list.Add("string");
// Przy pobieraniu konieczne jest rzutowanie
string s = (string)list[0];

// Z generykami
List<string> stringList = new List<string>();
stringList.Add("string");
// Rzutowanie nie jest potrzebne
string s2 = stringList[0];
// Błąd kompilacji
// stringList.Add(123);