Czym są generyki i jak są używane w programowaniu?

Generics (ogólne typy) to możliwość pisania kodu, który może działać z różnymi typami danych, zachowując bezpieczeństwo typów podczas kompilacji. Pozwalają tworzyć klasy, interfejsy i metody, w których typ danych jest określany podczas ich użycia, a nie podczas deklaracji.

Użycie generics zapewnia:

• Bezpieczeństwo typów: Kompilator sprawdza zgodność typów, co pomaga unikać błędów związanych z niezgodnością typów w czasie działania.
• Ponowne użycie kodu: Ten sam kod może być używany do obsługi różnych typów danych bez duplikowania logiki.
• Czytelność kodu: Użycie konkretnych typów zamiast uniwersalnego Object zwiększa zrozumiałość kodu.
• Wydajność: W niektórych językach (np. Java) generics są implementowane przez wymazywanie typów (type erasure), ale w innych (np. C#, C++) informacje o typie są zachowywane w czasie działania.

Przykłady użycia:

• Kolekcje: Tworzenie uniwersalnych list, zbiorów i map, które mogą przechowywać elementy dowolnego typu.

  // Tworzenie listy stringów
  List<String> stringList = new ArrayList<>();
  stringList.add("cześć");
  // Błąd kompilacji, jeśli spróbujesz dodać liczbę
  // stringList.add(123);
  

• Fabryki: Tworzenie fabryk, które mogą generować obiekty różnych typów.
• Metody: Pisanie metod, które działają z uniwersalnymi typami danych.

  // Ogólna metoda zamiany wartości
  public static void Swap<T>(ref T a, ref T b)
  {
      T temp = a;
      a = b;
      b = temp;
  }
  

• Klasy: Tworzenie klas, które są uniwersalne względem typu przechowywanych lub przetwarzanych danych.

  // Ogólna klasa Box
  class Box<T> {
      private T content;
  
      public void setContent(T content) {
          this.content = content;
      }
  
      public T getContent() {
          return content;
      }
  }
  

Porównanie z użyciem typu Object (w Java):

Funkcja	Generics	Typ Object
Bezpieczeństwo typu	W czasie kompilacji	W czasie działania (przez rzutowanie)
Konieczność rzutowania	Nie	Tak
Błędy	Wykrywane na etapie kompilacji	Mogą wystąpić w czasie działania (ClassCastException)
Czytelność	Wysoka	Niższa (nie jest jasne, jakie typy są oczekiwane)

Ogólnie, generics to potężne narzędzie, które pozwala pisać bardziej niezawodny, czytelny i wielokrotnego użytku kod.