Type qualifier** là từ khóa áp dụng cho một kiểu, tạo ra qualified type. Ví dụ: const int là qualified type biểu diễn hằng số nguyên, trong khi int là unqualified type (chỉ là số nguyên).
Type qualifier là cách diễn đạt thông tin bổ sung về giá trị qua hệ thống kiểu (type system) và đảm bảo tính đúng đắn trong việc sử dụng dữ liệu.
Kể từ C11 (2011), C chuẩn có 4 type qualifier:
const(C89)volatile(C89)restrict(C99)_Atomic(C11)
Trong C++: Chỉ có 2 type qualifier chuẩn: const và volatile. restrict và _Atomic không thuộc chuẩn C++ (dù compiler có thể hỗ trợ như extension).
Tóm tắt
| Qualifier | C | C++ |
|---|---|---|
const |
Có | Có |
volatile |
Có | Có |
restrict |
Có (C99) | Không (extension: __restrict) |
_Atomic |
Có (C11) | Không (dùng std::atomic) |