Kas ir Generics un kā tie tiek izmantoti programmēšanā?

Ģeneriskie (vispārīgie) tipi — tas ir iespēja rakstīt kodu, kas var strādāt ar dažādiem datu tipiem, saglabājot tipu drošību kompilācijas laikā. Tie ļauj izveidot klases, interfeisus un metodes, kuru datos tips tiek noteikts to izmantošanas laikā, nevis deklarēšanas laikā.

Ģeneriku izmantošana nodrošina:

• Tipu drošība: Kompilators pārbauda tipu atbilstību, palīdzot izvairīties no kļūdām, kas saistītas ar neatbilstību tipiem izpildes laikā.
• Koda atkārtota izmantošana: Tas pats kods var tikt izmantots ar dažādiem datu tipiem bez loģikas dublēšanas.
• Koda lasāmība: Konkrētu tipu izmantošana vietā ar Object palielina koda skaidrību.
• Veiktspēja: Dažās valodās (piemēram, Java) ģeneriskie tipi tiek īstenoti ar tipu izzušanu (type erasure), bet citās (piemēram, C#, C++) informācija par tipu tiek saglabāta izpildes laikā.

Piemēri:

• Kolekcijas: Izveidot universālus sarakstus, kopas, kartes, kas var glabāt jebkura tipa elementus.

  // Izveidot virkņu sarakstu
  List<String> stringList = new ArrayList<>();
  stringList.add("sveiki");
  // Kļūda kompilācijas laikā, ja mēģinās pievienot skaitli
  // stringList.add(123);
  

• Fabrikas: Izveidot fabrikas, kas var ražot dažādu tipu objektus.
• Metodes: Rakstīt metodes, kas strādā ar vispārīgiem tipiem.

  // Vispārīga maiņas metode
  public static void Swap<T>(ref T a, ref T b)
  {
      T temp = a;
      a = b;
      b = temp;
  }
  

• Klases: Izveidot klases, kas ir vispārīgas attiecībā uz glabāto vai apstrādāto datu tipu.

  // Vispārīga kastes klase
  class Box<T> {
      private T content;
  
      public void setContent(T content) {
          this.content = content;
      }
  
      public T getContent() {
          return content;
      }
  }
  

Salīdzinājums ar Object tipa izmantošanu (Java):

Funkcija	Ģeneriskie tipi	Object tips
Tipu drošība	Kompilācijas laikā	Darbības laikā (caur kastēšanu)
Nepieciešamība kastēt	Nē	Jā
Kļūdas	Atklājās kompilācijas laikā	Var rasties darbības laikā (ClassCastException)
Lasāmības skaidrība	Augsta	Zema (nav skaidrs, kādi tipi tiek gaidīti)

Kopumā, ģeneriskie tipi ir jaudīgs rīks, kas ļauj rakstīt drošāku, lasāmāku un atkārtoti izmantojamu kodu.