Generiniai tipai leidžia rašyti klases ir metodus, parametrizuotus tipo, suteikiant tipo saugumą ir pakartotinį panaudojimą be kodo dubliavimo ar kastų. Apribojimai riboja, kokius tipus gali būti generiniu parametru, leidžiant saugiai naudoti jų narius. Generiniai tipai yra plačiai naudojami C# (visa kolekcijų biblioteka juos naudoja).
=> arr[i];
=> arr[i];
x = Get([] { , , }, );
Generiniai tipai iš runtime'o (kastant object) perkelią tipo klaidas į kompiliavimo laiką ir pašalina kastus — saugus, pakartotinai panaudojamas kodas.
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
Apribojimai (where T : ...) riboja, kokiu gali būti T, o tai leidžia saugiai naudoti to tipo narius (pvz., apribojus iki IComparable<T> galite iškviesti CompareTo). Be apribojimo, T gali būti bet kas, todėl negalite daryti jokių prielaidų apie jo narius.
List<T>, Dictionary<K,V>, IEnumerable<T>, Task<T>, Nullable<T> ...
→ the entire collections library and much of .NET is generic.
Generiniai tipai yra fundamentalūs C# — jie naudojami plačiai (visa kolekcijų biblioteka, Task<T>, IEnumerable<T> ir neskaitomi API yra generiniai), todėl jų supratimas yra būtinas bet kokiam C# torinimui.
Generiniai tipai sprendžia tikrą problemą: rašyti pakartotinai panaudojamą kodą, kuris veikia keliems tipams, išsaugant tipo saugumą — alternatyva (naudoti object ir kastus) paaukoja kompiliavimo laiko saugumą ir reikalinga klaidų jautrūs kastai, o kodo dubliavimas pagal tipą yra nepalaikomas.
Generiniai tipai suteikia pakartotinai panaudojamą, tipo saugų kodą be kastų ir kompiliavimo laiko klaidų tikrinimo. Apribojimai (where T : ...) yra svarbi papildinė priemonė: jie riboja, kokiu gali būti tipo parametras, o tai tiek įgalina saugią to tipo narių naudojimą (apribojus iki sąsajos galite iškviesti jos metodus), tiek užtikrina tinkamą naudojimą.
Supratimas apie generines klases ir metodus, kaip tipo išvada veikia ir apribojimai (class, struct, new(), sąsajos/bazinės klasės apribojimai) yra būtinas tiek generiniais atvejais veikiančios .NET bibliotekos efektyviai naudojimui, tiek jūsų pačių pakartotinai panaudojamų, tipo saugių abstrakcijų rašymui.
Kadangi generiniai tipai yra C# kolekcijų pagrindas ir didelės framework'o dalies, o jie yra raktas į pakartotinai panaudojamą tipo saugų kodą, generinių tipų ir apribojimų valdymas yra pagrindinės, dažnai taikomos žinios efektyviam C# torinimui ir bendrą temą, atspindinčią supratimą apie tipo saugų, pakartotinai panaudojamą dizainą.