సాధారణ నిబంధనలు అంటే ఏమిటి?

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` ఉంది, కొన్ని బేస్‌ను విస్తరిస్తుంది) నమ్మటానికి అనుమతిస్తాయి, కాబట్టి కాలర్ యొక్క నిర్దిష్ట రకాన్ని సంరక్షిస్తాయి. వాటి యూటిలిటీ ఫంక్షన్‌లు, రకం-సురక్షిత వస్తువు యాక్సెస్ మరియు దాని రకం పరామితితో *ఏదైనా చేయవలసిన* ఏదైనా సాధారణ కోసం అవసరం.