Structural typing trong TypeScript là gì?

Question

Accepted Answer

TypeScript sử dụng **structural typing** ("duck typing"): hai type là tương thích nếu chúng có **cùng hình dạng (shape)**, bất kể tên gọi hay nơi chúng được khai báo. Điều này trái ngược với typing kiểu *nominal* (Java, C#) — nơi sự tương thích phụ thuộc vào tên type được khai báo.

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

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

// Không có annotation `: Point` ở bất kỳ đâu, nhưng shape khớp:
const obj = { x: 1, y: 2, z: 3 };
print(obj); // ✅ hoạt động — obj có x và y (thừa z cũng không sao)
```

`obj` chưa bao giờ được khai báo là `Point`, nhưng vẫn được chấp nhận vì nó thỏa mãn shape về mặt *cấu trúc*. Các property thừa được cho phép khi truyền vào một biến đã tồn tại.

## Ngoại lệ kiểm tra property thừa (excess-property check)

```ts
print({ x: 1, y: 2, z: 3 }); // ❌ Lỗi: 'z' không tồn tại trong type 'Point'
```

Các **object literal** truyền trực tiếp sẽ chịu một "excess property check" nghiêm ngặt hơn để bắt lỗi gõ nhầm — nhưng nếu gán nó vào một biến trước thì nó sẽ pass. Đây là một sự cân bằng có chủ đích giữa tính linh hoạt và việc bắt lỗi.

## Tại sao điều này quan trọng

Structural typing làm cho TypeScript linh hoạt và dễ dùng — bạn có thể thỏa mãn một interface mà không cần triển khai nó một cách tường minh, điều này phù hợp với phong cách object-literal của JavaScript.

Đánh đổi: các type tình cờ có chung shape sẽ có thể hoán đổi cho nhau ngay cả khi về mặt khái niệm chúng không liên quan (đây là lý do người ta dùng *branded types* khi cần sự phân biệt kiểu nominal).