Kas yra Generics ir kaip jie naudojami programavime?

Bendrieji (generikai) tipai — tai galimybė rašyti kodą, kuris gali dirbti su įvairiais duomenų tipais, išlaikant tipų saugumą kompiliavimo metu. Jie leidžia kurti klases, sąsajas ir metodus, kuriuose duomenų tipas nustatomas naudojimo metu, o ne deklaracijos metu.

Naudojant generikus užtikrinama:

• Tipų saugumas: Kompiliatorius tikrina tipų atitiktį, padedant išvengti klaidų, susijusių su neatitinkančiais tipais vykdymo metu.
• Kodo pakartotinis naudojimas: Tas pats kodas gali būti naudojamas dirbant su skirtingais duomenų tipais be logikos dubliavimo.
• Kodo skaitomumas: Konkrečių tipų naudojimas vietoj bendro Object didina kodo aiškumą.
• Našumas: Kai kuriose kalbose (pvz., Java) generikai įgyvendinami su tipų ištrynimu (type erasure), kitose (pvz., C#, C++) informacija apie tipą išlaikoma vykdymo metu.

Naudojimo pavyzdžiai:

• Kolekcijos: Sukurti universalius sąrašus, rinkinius, žemėlapius, kurie gali saugoti bet kurio tipo elementus.

  // Sukurti eilės sąrašą
  List<String> stringList = new ArrayList<>();
  stringList.add("labas");
  // Klaida kompiliuojant, jei bandysite pridėti skaičių
  // stringList.add(123);
  

• Fabrikai: Kurti fabrikus, kurie gali kurti skirtingų tipų objektus.
• Metodai: Rašyti metodus, kurie dirba su bendrais tipais.

  // Bendras keitimo metodas
  public static void Swap<T>(ref T a, ref T b)
  {
      T temp = a;
      a = b;
      b = temp;
  }
  

• Klasės: Kurti klases, kurios yra universalios pagal saugomų ar apdorojamų duomenų tipą.

  // Bendroji dėžės klasė
  class Box<T> {
      private T content;
  
      public void setContent(T content) {
          this.content = content;
      }
  
      public T getContent() {
          return content;
      }
  }
  

Palyginimas su Object tipo naudojimu (Java):

Savybė	Generikai	Object tipas
Tipų saugumas	Kompiliacijos metu	Vykdymo metu (per kastinimą)
Reikalingas kastinimas	Ne	Taip
Klaidos	Nustatomos kompiliacijos metu	Gali atsirasti vykdymo metu (ClassCastException)
Skaitymo aiškumas	Aukštas	Žemas (neaišku, kokie tipai tikimasi)

Apskritai, generikai yra galingas įrankis, leidžiantis rašyti patikimesnį, skaitomesnį ir pakartotinai naudojamą kodą.