Cad iad generics agus constraints?

Question

Accepted Answer

**Generics** a ligeann duit go scríobhfá ranganna agus modhanna ag baint úsáide as paraiméadair cineál, ag soláthair **slándáil chineáil agus inathúsáilteacht** gan dhúbailt chóid ná theilgean. **Constraints** cuireann siad teorainn ar an gcineál is féidir le paraiméadar generic a bheith, rud a fhágann gur féidir a baill a úsáid go sábháilte. Tá generics i bhfad ar leathadh i C# (úsáideann an leabharlann bailiúchán ar fad iad). ## An fhadhb a bhíonn réite ag generics ```csharp // without generics — either duplicate per type, or use `object` (unsafe, requires casts) object Get(object[] arr, int i) => arr[i]; // returns object → cast needed, runtime errors // with generics — type-safe and reusable T Get(T[] arr, int i) => arr[i]; // works for any T, returns the exact type int x = Get(new[] { 1, 2, 3 }, 0); // T inferred as int, no cast ``` Bogann generics earráidí cineáil ó am rith (teilgean `object`) go am tiomsúcháin, agus baineann siad earráidí amach — cóid dhíonúil agus inathúsáilte. ## Ranganna agus modhanna generics ```csharp public class Box // a generic class { private T _value; public void Set(T value) => _value = value; public T Get() => _value; } var box = new Box(); // T = string, type-safe // generic method public T Max(T a, T b) where T : IComparable // constraint (see below) => a.CompareTo(b) > 0 ? a : b; ``` ## Constraints — teorainn a chur ar an bparaiméadar cineáil ```csharp 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 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 a, T b) where T : IComparable => a.CompareTo(b) > 0 ? a : b; // CompareTo is available because of the constraint ``` **Constraints** (`where T : ...`) cuireann siad teorainn ar an gcineál is féidir le `T` a bheith, rud a ligeann duit baill an chineáil sin a úsáid go sábháilte (mar shampla, trí theorainn a chur le `IComparable` is féidir leat `CompareTo` a ghlaoch). Gan theorainn, d'fhéadfadh `T` a bheith ina rud ar bith, agus ní féidir leat aon bhaill a ghlacadh leis. ## Generics i bhfad ar leathadh i .NET ```text List, Dictionary, IEnumerable, Task, Nullable ... → the entire collections library and much of .NET is generic. ``` ## Cén fáth a bhíonn tábhacht ag baint dó Is bunúsach generics do C# — úsáidtear go fairsing iad (úsáideann an leabharlann bailiúchán ar fad, `Task`, `IEnumerable`, agus a lán APIanna iad), agus mar sin is riachtanach tuiscint a bheith agat orthu do aon fhorbhirt C#. Tugann generics réiteach ar fhadhb fhíor: cóid inathúsáilte a scríobh a oibríonn do chumasc cineálacha agus **slándáil chineáil** a chaomhnú — an rogha eile (ag baint úsáide as `object` agus teilgean) scarann siad slándáil am tiomsúcháin agus bíonn gá a bheith acu do theileacha baolach, agus cuireann dúbailt chóid in aghaidh gach cineáil go dona air. Tugann generics cóid inathúsáilte agus dhíonúil duit gan aon teileach agus gan bhac ar sheiceáil earráidí am tiomsúcháin. **Constraints** (`where T : ...`) a n-oiriúnacht thábhachtach: cuireann siad teorainn ar a bhfuil paraiméadar cineáil in ann a bheith, rud a bhíonn ar a cumas baill an chineáil a úsáid go sábháilte (trí theorainn a chur le comhéadan is féidir leat a modhanna a ghlaoch) agus a bhíonn ar a cumas a chinntiú gur úsáidtear go ceart iad. Tá sé riachtanach a thuiscint go raibh ranganna agus modhanna generics, conas a oibríonn tuar cineáil, agus constraints (`class`, `struct`, `new()`, constraints comhéadain/bhuncharachtar) do bhaint úsáide go héifeachtach as leabharlanna na .NET a bheith domhain sa generics agus do scríobh d'abstracanna inathúsáilte agus dhíonúil féin. Ó bhíonn generics mar bhunús ar bhailiúchán C# agus ar a lán den fhramwork, agus ó bhíonn siad an príomhbhonn ar chóid inathúsáilte agus dhíonúil, is eolas bunúsach agus minic a fheidhmítear do fhorbhirt dhual C# é a thuiscint ar generics agus constraints, agus is topaice coitianta atá ar thaibhsiú tuisceana ar dhearadh inathúsáilte agus dhíonúil.