জেনেরিক সীমাবদ্ধতা কী?

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` নির্ভুলতা বজায় রাখে (রিটার্ন টাইপ হল প্রকৃত অ্যারে/স্ট্রিং টাইপ, সীমাবদ্ধতা নয়)। ## কীগুলির জন্য সীমাবদ্ধতা (অত্যন্ত সাধারণ) ```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` আছে, কিছু বেসকে বর্ধিত করে) যখন কলারের নির্দিষ্ট টাইপ সংরক্ষণ করে। তারা ইউটিলিটি ফাংশন, টাইপ-নিরাপদ অবজেক্ট অ্যাক্সেস এবং যেকোনো জেনেরিকের জন্য অপরিহার্য যা তার টাইপ প্যারামিটার দিয়ে কিছু করতে হবে।