Phân biệt `any`, `unknown` và `never` trong TypeScript?

Ba kiểu đặc biệt, dễ nhầm nhưng vai trò trái ngược:

any: tắt kiểm tra kiểu. Gán qua lại tùy ý, gọi method/property nào cũng được, không cảnh báo → mất toàn bộ an toàn và autocomplete. Là "cửa thoát hiểm", nên tránh; dùng nhiều thì mất lý do dùng TS.
unknown: phiên bản an toàn của any — nhận mọi giá trị (như any), nhưng không cho dùng trực tiếp: phải thu hẹp kiểu (narrow) bằng typeof, instanceof, hoặc type guard trước khi thao tác. Dùng cho giá trị chưa rõ kiểu từ ngoài vào: JSON.parse, response API, catch (e: unknown).
never: kiểu không bao giờ có giá trị nào — tập rỗng. Là kiểu trả về của hàm không bao giờ kết thúc bình thường (luôn throw hoặc lặp vô hạn), và là nhánh không thể xảy ra. Dùng để kiểm tra vét cạn (exhaustiveness) trong switch: gán case còn lại cho never → nếu quên xử lý một biến thể của union, TS báo lỗi ngay.

Mẹo nhớ: any = "kiểu gì cũng được, khỏi kiểm tra"; unknown = "kiểu gì cũng nhận, nhưng phải kiểm tra trước khi dùng"; never = "không có kiểu nào ở đây".

Xem toàn bộ Frontend Essentials cùng filter theo level & chủ đề con.

Mở danh sách Frontend Essentials

Ba kiểu đặc biệt, dễ nhầm nhưng vai trò trái ngược:

any: tắt kiểm tra kiểu. Gán qua lại tùy ý, gọi method/property nào cũng được, không cảnh báo → mất toàn bộ an toàn và autocomplete. Là "cửa thoát hiểm", nên tránh; dùng nhiều thì mất lý do dùng TS.
unknown: phiên bản an toàn của any — nhận mọi giá trị (như any), nhưng không cho dùng trực tiếp: phải thu hẹp kiểu (narrow) bằng typeof, instanceof, hoặc type guard trước khi thao tác. Dùng cho giá trị chưa rõ kiểu từ ngoài vào: JSON.parse, response API, catch (e: unknown).
never: kiểu không bao giờ có giá trị nào — tập rỗng. Là kiểu trả về của hàm không bao giờ kết thúc bình thường (luôn throw hoặc lặp vô hạn), và là nhánh không thể xảy ra. Dùng để kiểm tra vét cạn (exhaustiveness) trong switch: gán case còn lại cho never → nếu quên xử lý một biến thể của union, TS báo lỗi ngay.

Mẹo nhớ: any = "kiểu gì cũng được, khỏi kiểm tra"; unknown = "kiểu gì cũng nhận, nhưng phải kiểm tra trước khi dùng"; never = "không có kiểu nào ở đây".