Czym są Generics i do czego służą?

Generics (ogólne) to mechanizm w językach programowania, który pozwala tworzyć klasy, interfejsy i metody działające z danymi różnych typów, nie znając wcześniej konkretnego typu danych.

Są używane do:

1. Zwiększenia bezpieczeństwa typów (Type Safety): Kompilator sprawdza typy danych podczas kompilacji, zapobiegając błędom, które mogłyby pojawić się tylko podczas uruchomienia (Runtime Errors).

   // Przykład bez Generics - potencjalny błąd podczas wyciągania
   List list = new ArrayList();
   list.add("string");
   list.add(123); // Można dodać dowolny typ
   String s = (String) list.get(1); // Błąd ClassCastException podczas uruchomienia
   

2. Ponowne użycie kodu (Code Reusability): Ten sam kod może działać z różnymi typami danych bez konieczności pisania osobnych wersji dla każdego typu.

   // Przykład z Generics - bezpieczne użycie
   List<String> list = new ArrayList<>(); // Określono typ String
   list.add("string");
   // list.add(123); // Kompilator wyświetli błąd - nie można dodać int
   String s = list.get(0); // Nie wymaga rzutowania typu
   

3. Poprawa czytelności kodu: Wyraźne określenie typów danych pomaga zrozumieć, z jakimi danymi pracuje kod.

4. Optymalizacja wydajności: W niektórych językach (np. C#), generics mogą zapewnić lepszą wydajność w porównaniu do używania typów bazowych (np. Object), ponieważ nie jest potrzebne opakowywanie/rozpakowywanie (boxing/unboxing).

Na przykład, standardowe kolekcje danych (listy, zbiory, mapy) w większości języków używają generics do pracy z elementami dowolnego typu, zapewniając bezpieczeństwo i wygodę.

Bez Generics	Z Generics
Działa z typami Object	Działa z konkretnymi typami
Wymaga jawnego rzutowania typów	Nie wymaga rzutowania typów
Błędy typów wykrywane w czasie działania	Błędy typów wykrywane w czasie kompilacji
Kod mniej czytelny	Kod bardziej czytelny