जेनेरिक बाधाएं क्या हैं?

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` है, कुछ आधार तक विस्तारित होता है) और साथ ही कॉलर के विशिष्ट प्रकार को संरक्षित करता है। वे उपयोगिता कार्यों, टाइप-सुरक्षित ऑब्जेक्ट एक्सेस, और किसी भी जेनेरिक के लिए आवश्यक हैं जिसे अपने टाइप पैरामीटर के साथ कुछ *करना* है।