ਜੈਨਰਿਕ ਸੀਮਾਵਾਂ ਕੀ ਹਨ?

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` ਹੈ, ਕੋਈ ਆਧਾਰ ਵਿਸਤਾਰਿਤ ਕਰਦਾ ਹੈ) ਜਦੋਂ ਕਿ ਕਾਲ ਕਰਨ ਵਾਲੇ ਦੀ ਖਾਸ ਕਿਸਮ ਨੂੰ ਸੁਰੱਖਿਤ ਰਖਿਆ ਜਾਂਦਾ ਹੈ। ਉਹ ਉਪਯੋਗਤਾ ਫੰਕਸ਼ਨਾਂ, ਕਿਸਮ-ਸੁਰੱਖਿਤ ਵਸਤੂ ਪਹੁੰਚ, ਅਤੇ ਕਿਸੇ ਵੀ ਜੈਨਰਿਕ ਲਈ ਜ਼ਰੂਰੀ ਹਨ ਜਿਸ ਨੂੰ ਇਸ ਦੇ ਕਿਸਮ ਪੈਰਾਮੀਟਰ ਦੇ ਨਾਲ *ਕੁਝ* ਕਰਨ ਦੀ ਲੋੜ ਹੈ।