Apa itu batasan generik?

Question

Accepted Answer

**Batasan generik** (`T extends ...`) membatasi tipe apa yang dapat dimiliki parameter generik, sehingga Anda dapat dengan aman menggunakan properti atau metode tertentu padanya. Tanpa batasan, generik bisa menjadi *apa saja*, jadi Anda tidak dapat mengasumsikan bahwa ia memiliki anggota apa pun. ```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 sebuah *janji*: "`T` akan selalu memiliki setidaknya bentuk ini," yang memungkinkan kompiler untuk mengizinkan `.length` sambil tetap menjaga `T` tetap presisi (tipe pengembalian adalah tipe array/string aktual, bukan batasan). ## Membatasi ke kunci (sangat umum) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` menjamin bahwa `key` adalah properti nyata dari `obj` — dan `T[K]` mengembalikan tipe pastinya. ## Parameter tipe default ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Mengapa ini penting Batasan adalah keseimbangan antara fleksibilitas dan keamanan: mereka memungkinkan kode generik mengandalkan bentuk minimal (memiliki `.length`, memiliki kunci `K`, memperluas beberapa basis) sambil mempertahankan tipe spesifik pengguna. Mereka penting untuk fungsi utilitas, akses objek yang aman tipe, dan generik apa pun yang perlu *melakukan* sesuatu dengan parameter tipenya.