ข้อจำกัดทั่วไป (Generic Constraints) คืออะไร

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` ขยายบางพื้นฐาน) ในขณะที่ยังคงรักษาประเภทเฉพาะของผู้เรียก พวกมันจำเป็นสำหรับฟังก์ชันอรรถประโยชน์ การเข้าถึงวัตถุที่ปลอดภัยประเภท และทั่วไปใด ๆ ที่ต้องการ *ทำ* บางสิ่งบางอย่างกับพารามิเตอร์ประเภทของมัน