Generici vam omogućuju pisanje klasa i metoda parametrizirane tipom, pružajući sigurnost tipova i ponovnu upotrebljivost bez dupliciranja koda ili kastanja. Ograničenja ograničavaju koje tipove generički parametar može biti, omogućujući sigurnu upotrebu njihovih članova. Generici su sveprisutni u C#-u (čitava biblioteka kolekcija koristi ih).
=> arr[i];
=> arr[i];
x = Get([] { , , }, );
Generici premještaju greške tipova iz vremena izvršavanja (kastanje object) u vrijeme kompilacije i eliminirano kastanje — siguran, ponovnoupotrebljiv kod.
public class Box<T> // a generic class
{
private T _value;
public void Set(T value) => _value = value;
public T Get() => _value;
}
var box = new Box<string>(); // T = string, type-safe
// generic method
public T Max<T>(T a, T b) where T : IComparable<T> // constraint (see below)
=> a.CompareTo(b) > 0 ? a : b;
where T : class // T must be a reference type
where T : struct // T must be a value type
where T : new() // T must have a parameterless constructor
where T : IComparable<T> // T must implement an interface (so you can call its members)
where T : BaseClass // T must derive from BaseClass
// example: constraint lets you call CompareTo safely
public T Max<T>(T a, T b) where T : IComparable<T>
=> a.CompareTo(b) > 0 ? a : b; // CompareTo is available because of the constraint
Ograničenja (where T : ...) ograničavaju što T može biti, što vam omogućava sigurnu upotrebu članova tog tipa (npr. ograničavanje na IComparable<T> vam omogućava pozivanje CompareTo). Bez ograničenja, T bi mogao biti bilo šta, pa ne možete pretpostaviti nikakve članove.
List<T>, Dictionary<K,V>, IEnumerable<T>, Task<T>, Nullable<T> ...
→ the entire collections library and much of .NET is generic.
Generici su temeljni za C# — koriste se sveprisutno (čitava biblioteka kolekcija, Task<T>, IEnumerable<T> i bezbroj API-ja su generički), pa je razumijevanje njih ključno za svaki C# razvoj.
Generici rješavaju pravi problem: pisanje ponovnoupotrebljivog koda koji radi za više tipova dok čuva sigurnost tipova — alternativa (korištenje object i kastanja) žrtvuje sigurnost kompilacije i zahtijeva podložna grešci kastanja, dok je dupliciranje koda po tipu neodrživo.
Generici vam daju ponovnoupotrebljiv, sigurnosni kod bez kastanja i provjere grešaka u kompilaciji. Ograničenja (where T : ...) su važan dodatak: ograničavaju što parametar tipa može biti, što omogućava sigurnu upotrebu članova tipa (ograničavanje na sučelje vam omogućava pozivanje njegovih metoda) i osigurava ispravan pristup.
Razumijevanje generičkih klasa i metoda, kako funkcionira zaključivanje tipova, i ograničenja (class, struct, new(), ograničenja sučelja/bazne klase) je neophodno i za učinkovitu upotrebu generički-opterećenih .NET biblioteka i za pisanje vlastitih ponovnoupotrebljivih, sigurnosnih apstrakcija.
Budući da generici podupiru C#-ove kolekcije i veliki dio okvira, i budući da su ključni za ponovnoupotrebljiv sigurnosni kod, svladavanje generika i ograničenja je temeljno, često primijenjeno znanje za učinkovit C# razvoj i česta tema koja odražava razumijevanje sigurnosnog tipa i ponovnoupotrebljivog dizajna.