Apakah batasan generik?

Question

Accepted Answer

A **generic constraint** (`T extends ...`) membatasi jenis apa yang boleh menjadi parameter generik, sehingga anda dapat dengan aman menggunakan sifat atau kaedah tertentu padanya. Tanpa batasan, generik boleh menjadi *apa sahaja*, jadi anda tidak boleh menganggap ia mempunyai sebarang anggota. ```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 ``` Batasan adalah *janji*: "`T` akan sentiasa mempunyai sekurang-kurangnya bentuk ini," yang membenarkan kompiler mengizinkan `.length` sambil mengekalkan `T` tepat (jenis pulangan adalah jenis array/rentetan sebenar, bukan batasan). ## Membatasi kepada kunci (sangat biasa) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` menjamin `key` adalah sifat sebenar `obj` — dan `T[K]` mengembalikan jenisnya yang tepat. ## Parameter jenis lalai ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Mengapa ini penting Batasan adalah keseimbangan antara fleksibilitas dan keselamatan: mereka membenarkan kod generik bergantung pada bentuk minimum (mempunyai `.length`, mempunyai kunci `K`, melanjutkan beberapa asas) sambil mengekalkan jenis khusus pemanggil. Mereka penting untuk fungsi utiliti, akses objek yang selamat jenis, dan sebarang generik yang perlu *melakukan* sesuatu dengan parameter jenisnya.