Trong TypeScript, "const assertion" là một tính năng được giới thiệu từ phiên bản 3.4, cho phép bạn khẳng định rằng một giá trị hoặc đối tượng là hằng số và không thể thay đổi. Khi sử dụng "const assertion", TypeScript sẽ suy luận ra kiểu dữ liệu cụ thể nhất cho giá trị hoặc đối tượng đó, thay vì kiểu dữ liệu rộng lớn hơn hoặc chung chung hơn. Điều này giúp tăng cường tính chính xác và an toàn kiểu dữ liệu trong mã nguồn của bạn.
Ví dụ, khi bạn khai báo một mảng với "const assertion" như sau: const numbers = [1][2][3] as const;, TypeScript sẽ hiểu rằng numbers là một mảng chỉ đọc với các phần tử cụ thể là 1, 2, và 3, thay vì chỉ là một mảng số bất kỳ. Tương tự, khi bạn khai báo một đối tượng với "const assertion", tất cả các thuộc tính của đối tượng đó sẽ được coi là chỉ đọc và không thể thay đổi sau khi được khởi tạo.
Sử dụng "const assertion" giúp tối ưu hóa mã nguồn bằng cách giảm bớt nhu cầu phải khai báo kiểu dữ liệu cụ thể cho mỗi biến hoặc đối tượng, đồng thời đảm bảo tính bất biến của dữ liệu trong các ứng dụng TypeScript[2][4][6].
