Type Erasure trong TypeScript là gì?

Question

Nguyễn Lê Trung · Accepted Answer

Type Erasure trong TypeScript là một khái niệm liên quan đến cách mà TypeScript xử lý kiểu dữ liệu trong quá trình biên dịch. Để hiểu rõ hơn về Type Erasure, chúng ta cần xem xét cách TypeScript và JavaScript hoạt động cùng nhau.
1. Định Nghĩa Type Erasure
Type Erasure là một quá trình trong đó các thông tin về kiểu dữ liệu được loại bỏ (hay &#8220;xóa&#8221;) trong quá trình biên dịch. TypeScript được biên dịch thành JavaScript, mà trong đó không có thông tin kiểu, dẫn đến việc các kiểu chỉ tồn tại trong thời gian biên dịch và không có mặt trong mã JavaScript chạy trên trình duyệt hoặc môi trường Node.js.
Ví dụ về Type Erasure
Khi bạn viết mã TypeScript, thông tin về kiểu được sử dụng để kiểm tra lỗi trong quá trình phát triển. Tuy nhiên, khi mã được biên dịch sang JavaScript, các kiểu này không còn nữa.
function greet(name: string): string {
    return `Hello, ${name}`;
}
// Biên dịch sang JavaScript
// function greet(name) {
//     return `Hello, ${name}`;
// }
Như bạn thấy, trong mã JavaScript đã biên dịch, thông tin kiểu (: string) đã bị loại bỏ.
2. Tác Động của Type Erasure
2.1. Kiểm Tra Kiểu Trong Thời Gian Phát Triển
TypeScript cho phép bạn phát hiện lỗi kiểu trong thời gian phát triển, giúp tăng cường tính an toàn cho mã của bạn. Tuy nhiên, khi chạy mã, các kiểm tra này không còn hiệu lực, và bạn cần phải đảm bảo rằng các giá trị đều có kiểu đúng.
2.2. Giảm Thiểu Kích Thước Mã
Type Erasure giúp giảm kích thước của mã JavaScript đầu ra vì nó không bao gồm các thông tin kiểu không cần thiết. Điều này có thể dẫn đến hiệu suất tốt hơn trong một số trường hợp.
3. Sử Dụng Type Assertions
Mặc dù thông tin kiểu bị xóa trong quá trình biên dịch, TypeScript cung cấp các cơ chế như type assertions để bạn có thể chỉ định kiểu cho các giá trị cụ thể, nhưng điều này vẫn không thay đổi sự thật rằng các kiểu sẽ không tồn tại trong mã JavaScript chạy.
Ví dụ về Type Assertions
let value: any = "Hello, TypeScript!";
let length: number = (value as string).length; // Sử dụng type assertion
Trong ví dụ này, bạn sử dụng type assertion để chỉ định rằng value là một string, nhưng sau khi biên dịch, thông tin kiểu sẽ không có trong JavaScript.
4. Kết Luận
Type Erasure là một khái niệm quan trọng trong TypeScript, liên quan đến cách mà thông tin kiểu bị loại bỏ trong quá trình biên dịch thành JavaScript. Mặc dù TypeScript cung cấp khả năng kiểm tra kiểu trong thời gian phát triển, nhưng điều này không thay đổi sự thật rằng các kiểu không tồn tại trong mã JavaScript chạy. Điều này có thể giúp giảm kích thước mã nhưng cũng yêu cầu lập trình viên phải đảm bảo tính chính xác của kiểu khi chạy ứng dụng.