Generikusok lehetővé teszik osztályok és metódusok írását típussal paraméterezhető módon, amely típusbiztonságot és újrafelhasználhatóságot nyújt kódismétlődés vagy casting nélkül. Korlátok korlátozza, hogy egy generikus paraméter milyen típusok lehetnek, lehetővé téve tagjainak biztonságos használatát. A generikusok áthatják a C#-ot (az egész collections könyvtár használja őket).
=> arr[i];
=> arr[i];
x = Get([] { , , }, );
A generikusok a típushibákat futási időről (objektum castolása) fordítási időre viszik, és eliminálja a castokat — biztonságos, újrafelhasználható kód.
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
Korlátok (where T : ...) korlátozzák, hogy T mi lehet, amely lehetővé teszi az adott típus tagjainak biztonságos használatát (például IComparable<T> felé való korlátozás lehetővé teszi a CompareTo meghívását). Korlát nélkül T bármi lehet, így nem lehet feltenni semmilyen tagok meglétét.
List<T>, Dictionary<K,V>, IEnumerable<T>, Task<T>, Nullable<T> ...
→ the entire collections library and much of .NET is generic.
A generikusok alapvetőek a C#-ban — olyan elterjedten használatosak (az egész collections könyvtár, Task<T>, IEnumerable<T> és számos API generikus), ezért megértésük elengedhetetlen bármilyen C# fejlesztéshez.
A generikusok valós problémát oldanak meg: olyan újrafelhasználható kód írása, amely több típussal működik, miközben megtartja a típusbiztonságot — az alternatíva (az object használata és castolás) feladja a fordítási idejű biztonságot és hiba-hajlamos castokat igényel, míg a típusonkénti kódismétlés karbantarthatatlan.
A generikusok újrafelhasználható, típusbiztos kódot adnak castolás nélkül és fordítási idejű hibaellenőrzéssel. A korlátok (where T : ...) fontos kiegészítés: korlátozza, hogy a típusparaméter mi lehet, amely egyrészt lehetővé teszi a típus tagjainak biztonságos használatát (interfészre való korlátozás lehetővé teszi annak metódusainak meghívását), másrészt biztosítja a helyes használatot.
A generikus osztályok és metódusok megértése, hogyan működik a típuskikövetkeztetés, és a korlátok (class, struct, new(), interfész/alaposztály korlátok) szükséges a generikus-intenzív .NET könyvtárak hatékony használatához és saját újrafelhasználható, típusbiztos absztrakcióinak írásához.
Minthogy a generikusok a C# collectionseiben és a framework sok részében alapvetőek, és mivel ők a kulcsa az újrafelhasználható típusbiztos kódnak, a generikusok és korlátok elsajátítása lényeges, gyakran alkalmazott tudás az effektív C# fejlesztéshez, és gyakori témája az típusbiztos, újrafelhasználható tervezés megértésének.