Giải thích cơ chế của 'Branded Types' (hay Opaque Types) và tại sao chúng lại là giải pháp tối ưu để ngăn chặn lỗi logic khi truyền nhầm các giá trị có cùng kiểu dữ liệu nguyên thủy (primitive types)?

Question

Accepted Answer

Bản chất kỹ thuật
Trong TypeScript, các kiểu dữ liệu như 'string' hoặc 'number' thường bị coi là tương đương nhau. Branded Types thêm một thuộc tính ảo (thường là một symbol hoặc một tag đặc biệt) để phân biệt các giá trị dù chúng có cùng kiểu nguyên thủy.
Ví dụ thực chiến
type UserId = string & { __brand: 'UserId' };
type OrderId = string & { __brand: 'OrderId' };

function processOrder(id: OrderId) { /* ... */ }

const userId = '123' as UserId;
// processOrder(userId); // Lỗi: Argument of type 'UserId' is not assignable to parameter of type 'OrderId'
Lưu ý thực chiến
Đây là kỹ thuật quan trọng trong các hệ thống tài chính hoặc quản lý định danh, nơi việc truyền nhầm ID của thực thể này vào hàm xử lý của thực thể khác có thể gây ra hậu quả nghiêm trọng về dữ liệu.

Giải thích cơ chế của 'Branded Types' (hay Opaque Types) và tại sao chúng lại là giải pháp tối ưu để ngăn chặn lỗi logic khi truyền nhầm các giá trị có cùng kiểu dữ liệu nguyên thủy (primitive types)?

Bản chất kỹ thuật

Làm Chủ Phỏng Vấn & Nâng Cao Trình Độ Chuyên Nghiệp

Tải Tuyển Tập 100+ Câu Hỏi Phỏng Vấn Chuyên Sâu (PDF)

Cần Mentor Phỏng Vấn Thử 1-1 & Tối Ưu CV?

Kiểm Tra CV Chuẩn ATS Miễn Phí

Câu hỏi typescript liên quan cùng chủ đề