જેનેરિક અવરોધો શું છે?

Question

Accepted Answer

**જેનેરિક અવરોધ** (`T extends ...`) એ તે પ્રકારો પર પ્રતિબંધ મૂકે છે જે જેનેરિક પરિમાણ હોઈ શકે છે, જેથી તમે તેના પર અમુક ગુણધર્મો અથવા પદ્ધતિઓ સુરક્ષિત રીતે વાપરી શકો. અવરોધ વિના, જેનેરિક કંઈપણ *હોઈ શકે છે*, તેથી તમે એવું ધારી શકતા નથી કે તેમાં કોઈ સदસ્ય છે. ```ts // ❌ without a constraint, you can't access .length — T might be a number function longestBad(a: T, b: T) { return a.length > b.length ? a : b; // Error: 'length' does not exist on 'T' } // ✅ constrain T to things that HAVE a length function longest(a: T, b: T): T { return a.length > b.length ? a : b; } longest("abc", "de"); // ✅ strings have length longest([1, 2], [3]); // ✅ arrays have length longest(1, 2); // ❌ numbers have no length ``` અવરોધ એ *વચન* છે: "`T` હમેશા ઓછામાં ઓછો આ આકાર હશે," જે કમ્પાઇલરને `.length` ને મંજૂરી આપતા હતા અને `T` ને ચોક્કસ રાખે છે (રીટર્ન પ્રકાર વાસ્તવિક array/string પ્રકાર છે, અવરોધ નથી). ## કીઓ માટે અવરોધ (ખૂબ સામાન્ય) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` ગ્યારંટી આપે છે કે `key` એ `obj` ની વાસ્તવિક મિલકત છે — અને `T[K]` તેનો ચોક્કસ પ્રકાર પરત કરે છે. ## ડિફોલ્ટ પ્રકાર પરિમાણો ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## આ શા માટે મહત્વપૂર્ણ છે અવરોધો એ લવચીકતા અને સુરક્ષા વચ્ચેનું સંતુલન છે: તેઓ જેનેરિક કોડને ન્યૂનતમ આકાર પર આધાર રાખવા આપે છે (`.length` છે, કી `K` છે, કોઈ આધાર સુધારે છે) જ્યારે કૉલરના ચોક્કસ પ્રકારને સાચવે છે. તેઓ ઉપયોગી કાર્યો, પ્રકાર-સુરક્ષિત ઑબ્જેક્ટ ઍક્સેસ, અને કોઈપણ જેનેરિક માટે જરૂરી છે જેને તેના પ્રકાર પરિમાણ સાથે કંઈક *કરવું* હોય.