Generics na constraints ni nini?

Question

Accepted Answer

**Generics** hukuruhusu kuandika classes na methods zenye parameter za type, zikitoa **type safety na reusability** bila urudufu wa msimbo au casting. **Constraints** huzuia ni types zipi parameter ya generic inaweza kuwa, zikiwezesha matumizi salama ya members zake. Generics zimeenea katika C# (maktaba nzima ya collections inazitumia). ## Tatizo ambalo generics hutatua ```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 ``` Generics husogeza type errors kutoka runtime (kufanya casting ya `object`) hadi compile time, na huondoa casts — msimbo salama, unaoweza kutumika tena. ## Generic classes na methods ```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 — kuzuia type parameter ```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 : ...`) huzuia kile `T` inaweza kuwa, ambayo hukuruhusu kutumia salama members za type hiyo (mfano kuzuia kwa `IComparable` hukuruhusu kuita `CompareTo`). Bila constraint, `T` inaweza kuwa chochote, hivyo huwezi kudhani members zozote. ## Generics kila mahali katika .NET ```text List, Dictionary, IEnumerable, Task, Nullable ... → the entire collections library and much of .NET is generic. ``` ## Kwa nini ni muhimu Generics ni za msingi kwa C# — zinatumika kila mahali (maktaba nzima ya collections, `Task`, `IEnumerable`, na APIs nyingi zisizohesabika ni generic), hivyo kuzielewa ni lazima kwa maendeleo yoyote ya C#. Generics hutatua tatizo halisi: kuandika msimbo unaoweza kutumika tena unaofanya kazi kwa types nyingi huku zikidumisha **type safety** — mbadala (kutumia `object` na casting) hutoa muhanga compile-time safety na huhitaji casts zinazoweza kuwa na makosa, ilhali kurudufisha msimbo kwa kila type ni kusukumika. Generics hukupa msimbo unaoweza kutumika tena, salama wa type bila casting na ukaguzi wa makosa wakati wa compile. **Constraints** (`where T : ...`) ni nyongeza muhimu: huzuia kile type parameter inaweza kuwa, ambayo huwezesha matumizi salama ya members za type (kuzuia kwa interface hukuruhusu kuita methods zake) na huhakikisha matumizi sahihi. Kuelewa generic classes na methods, jinsi type inference inavyofanya kazi, na constraints (`class`, `struct`, `new()`, interface/base-class constraints) ni lazima kwa kutumia maktaba za .NET zenye generics nyingi kwa ufanisi na kuandika abstractions zako mwenyewe zinazoweza kutumika tena, salama za type. Kwa kuwa generics ndizo msingi wa collections za C# na sehemu kubwa ya framework, na kwa kuwa ndizo ufunguo wa msimbo salama wa type unaoweza kutumika tena, kumiliki generics na constraints ni maarifa ya msingi, yanayotumika mara kwa mara kwa maendeleo bora ya C# na mada ya kawaida inayoonyesha uelewa wa muundo salama wa type, unaoweza kutumika tena.