Structural typing là gì? Làm sao mô phỏng nominal typing (branded types)?

Ví dụ

main.ts · sửa được▶ Chạy

interface Point { x: number; y: number } function len(p: Point) { return Math.hypot(p.x, p.y); } const p3 = { x: 1, y: 2, z: 3 }; console.log(len(p3).toFixed(2)); // hợp lệ: p3 có thừa z, vẫn khớp cấu trúc // len({ x: 1, y: 2, z: 3 }); // lỗi: excess property với literal trực tiếp type UserId = string & { readonly __brand: "UserId" }; type OrderId = string & { readonly __brand: "OrderId" }; const toUserId = (s: string) => s as UserId; // chỗ duy nhất cần ép kiểu function getUser(id: UserId) { return "user:" + id; } const uid = toUserId("u1"); console.log(getUser(uid)); // getUser("u1" as OrderId); // lỗi: OrderId không gán được cho UserId

• Type tương thích khi có đủ các property cần thiết với kiểu tương thích; thừa property thì vẫn được (trừ literal).
• Class có private/protected member trở thành nominal: chỉ khớp với type có khai báo từ cùng class.
• Brand chỉ tồn tại ở compile time (không có property __brand thật ở runtime), nên hãy tạo qua hàm validate/constructor.