Generiki vam omogočajo pisanje razredov in metod, parametriziranih s tipom, kar zagotavlja varnost tipov in ponovno uporabnost brez podvajanja kode ali pretvarjanja. Omejitve omejevajo, kateri tipi so dovoljeni kot generični parameter, kar omogoča varno uporabo njihovih članov. Generiki so razširjeni v jeziku C# (cela knjižnica zbirk jih uporablja).
=> arr[i];
=> arr[i];
x = Get([] { , , }, );
Generiki premaknejo napake tipov iz časa izvajanja (pretvarjanje object) na čas prevajanja in izbegujejo potrebo po pretvarjanju — varna, ponovno uporabna koda.
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
Omejitve (where T : ...) omejevajo, kaj je T, kar vam omogoča varno uporabo članov tega tipa (npr. omejevanje na IComparable<T> vam omogoča klic CompareTo). Brez omejitve bi bil T lahko kaj koli, zato ne morete predpostaviti nobenih članov.
List<T>, Dictionary<K,V>, IEnumerable<T>, Task<T>, Nullable<T> ...
→ the entire collections library and much of .NET is generic.
Generiki so temeljni za C# — uporabljajo se povsod (cela knjižnica zbirk, Task<T>, IEnumerable<T> in neštete API-je so generični), zato je njihovo razumevanje nujno za kakršen koli razvoj v jeziku C#.
Generiki rešujejo pravi problem: pisanje ponovno uporabne kode, ki deluje za več tipov, ob ohranjanju varnosti tipov — alternativa (uporaba object in pretvarjanja) prizadene varnost ob prevajanju in zahteva napake-prone pretvarjanja, medtem ko je podvajanje kode za vsak tip neobdržljivo.
Generiki vam dajo ponovno uporabno, varno kodo glede tipov brez pretvarjanja in preverjanja napak ob prevajanju. Omejitve (where T : ...) so pomemben dopolnjujoči element: omejevajo, kaj je parametr tipa, kar omogoča varno uporabo članov tipa (omejevanje na vmesnik vam omogoča klic njegovih metod) in zagotavlja pravilno uporabo.
Razumevanje generičnih razredov in metod, kako deluje sklepanje tipov in omejitve (class, struct, new(), omejitve vmesnika/osnovnega razreda) je nujno tako za učinkovito uporabo generično bogatih knjižnic .NET kot za pisanje lastnih ponovno uporabnih, varnih abstrakcij.
Ker generiki podpirajo zbirke v C# in velike dele ogrodja, in ker so ključ do ponovno uporabne varnosti tipov, je obvladovanje generikov in omejitev temeljno, pogosto uporabljano znanje za učinkovit razvoj v jeziku C# in pogosta tema, ki odraža razumevanje varnega in ponovno uporabnega oblikovanja.