Structural typing ในTypeScript คืออะไร?

Question

Accepted Answer

TypeScript ใช้ **structural typing** ("duck typing"): สองประเภทเข้ากันได้ถ้าพวกมันมี **รูปร่างเดียวกัน** โดยไม่คำนึงถึงชื่อหรือที่ที่ประกาศ ซึ่งตรงกันข้ามกับ *nominal* typing (Java, C#) ที่ความเข้ากันได้ขึ้นอยู่กับชื่อประเภทที่ประกาศไว้

```ts
interface Point { x: number; y: number; }

function print(p: Point) { console.log(p.x, p.y); }

// No `: Point` annotation anywhere, but the shape matches:
const obj = { x: 1, y: 2, z: 3 };
print(obj); // ✅ works — obj has x and y (extra z is fine)
```

`obj` ไม่เคยถูกประกาศเป็น `Point` แต่ยังคงได้รับอนุมัติเพราะว่ามันเป็นไปตาม *โครงสร้าง* ของรูปร่าง คุณสมบัติพิเศษได้รับอนุญาตเมื่อส่งผ่านตัวแปรที่มีอยู่

## ข้อยกเว้นของการตรวจสอบคุณสมบัติส่วนเกิน

```ts
print({ x: 1, y: 2, z: 3 }); // ❌ Error: 'z' does not exist in type 'Point'
```

Object **literals** ที่ส่งผ่านโดยตรงได้รับการตรวจสอบ "คุณสมบัติส่วนเกิน" ที่เข้มงวดกว่าเพื่อจับความผิดพลาด — แต่กำหนดให้ตัวแปรก่อนแล้วมันจะผ่าน นี่คือการสมดุลที่ตั้งใจไว้ระหว่างความยืดหยุ่นและการจับความผิดพลาด

## ทำไมมันถึงสำคัญ

Structural typing ทำให้ TypeScript มีความยืดหยุ่นและใช้ได้สะดวก — คุณสามารถตอบสนอง interface ได้โดยไม่จำเป็นต้องนำไปใช้อย่างชัดเจน ซึ่งเหมาะสมกับลักษณะ object-literal ของ JavaScript

การแลกเปลี่ยน: ประเภทที่บังเอิญแบ่งปันรูปร่างสามารถแลกเปลี่ยนได้แม้ว่าจะไม่เกี่ยวข้องกันในเชิงแนวคิด (เหตุผลที่ผู้คนใช้ *branded types* เมื่อพวกเขาต้องการลักษณะคล้าย nominal)