Wat zijn Generics en hoe worden ze gebruikt in programmeren?

Generics (generics) zijn de mogelijkheid om code te schrijven die met verschillende datatypes kan werken, terwijl de typeveiligheid tijdens het compileren behouden blijft. Ze maken het mogelijk om klassen, interfaces en methoden te maken waarbij het datatype wordt bepaald bij gebruik, niet bij declaratie.

Het gebruik van generics garandeert:

• Typeveiligheid: De compiler controleert de compatibiliteit van types, wat helpt om fouten gerelateerd aan type-incompatibiliteit tijdens runtime te voorkomen.
• Herbruikbaarheid van code: Dezelfde code kan worden gebruikt voor verschillende datatypes zonder logica te dupliceren.
• Leesbaarheid van code: Het gebruik van specifieke types in plaats van Object verhoogt de duidelijkheid van de code.
• Prestaties: In sommige talen (bijvoorbeeld Java) worden generics geïmplementeerd met type erasure, maar in andere (zoals C#, C++) wordt de type-informatie tijdens runtime behouden.

Voorbeelden van gebruik:

• Collecties: Het maken van generieke lijsten, verzamelingen en kaarten die elementen van elk type kunnen opslaan.

  // Maken van een lijst van strings
  List<String> stringList = new ArrayList<>();
  stringList.add("hallo");
  // Fout bij compilatie als je probeert een nummer toe te voegen
  // stringList.add(123);
  

• Factories: Het maken van fabrieken die objecten van verschillende types kunnen genereren.
• Methoden: Het schrijven van methoden die werken met generieke datatypes.

  // Generieke methode om waarden te ruilen
  public static void Swap<T>(ref T a, ref T b)
  {
      T temp = a;
      a = b;
      b = temp;
  }
  

• Klassen: Het maken van klassen die generiek zijn met betrekking tot het opgeslagen of verwerkte datatype.

  // Generieke klasse Box
  class Box<T> {
      private T content;
  
      public void setContent(T content) {
          this.content = content;
      }
  
      public T getContent() {
          return content;
      }
  }
  

Vergelijking met het gebruik van Object-type (in Java):

Kenmerk	Generics	Object-type
Typeveiligheid	Tijdens compilatie	Tijdens runtime (via casting)
Casting nodig	Nee	Ja
Fouten	Worden gedetecteerd tijdens compilatie	Kunnen optreden tijdens runtime (ClassCastException)
Leesbaarheid	Hoog	Lager (het is niet duidelijk welke types worden verwacht)

Over het algemeen zijn generics een krachtig hulpmiddel dat het mogelijk maakt om betrouwbaardere, beter leesbare en herbruikbare code te schrijven.