जेनेरिक बाधांक्षेप म्हणजे काय?

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` अचूक राहते (परत येणारा प्रकार हा वास्तविक अ‍ॅरे/स्ट्रिंग प्रकार आहे, मर्यादा नाही). ## कुंजीपर्यंत मर्यादा (अतिशय सामान्य) ```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` कुंजी आहे, काही आधार विस्तृत करते) जबकि कॉलरचा विशिष्ट प्रकार संरक्षित राहतो. ते उपयोगिता कार्ये, प्रकार-सुरक्षित ऑब्जेक्ट प्रवेश आणि कोणत्याही जेनेरिकसाठी आवश्यक आहेत जे त्याच्या प्रकार पॅरामीटरसह *काहीतरी करण्याची* आवश्यकता आहे.