जेनेरिक बाधा भनेको के हो?

Question

Accepted Answer

A **generic constraint** (`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` कुञ्जी छ, कुनै आधार विस्तार गर्छ) जबकि कलरको विशेष प्रकार सुरक्षित गर्दछ। तिनीहरू उपयोगिता कार्यहरू, प्रकार-सुरक्षित वस्तु पहुँच, र कुनै पनि जेनेरिकको लागि आवश्यक छ जसले यसको प्रकार प्यारामिटरसँग *केहीगरी* गर्न आवश्यक छ।