Bộ định loại là một từ khóa được áp dụng cho một loại, dẫn đến một loại đủ điều kiện. Ví dụ, const int là một kiểu đủ điều kiện đại diện cho một số nguyên không đổi, trong khi int là kiểu không đủ điều kiện tương ứng, chỉ đơn giản là một số nguyên. Định tính kiểu là một cách thể hiện thông tin bổ sung về một giá trị thông qua hệ thống kiểu và đảm bảo tính đúng đắn trong việc sử dụng dữ liệu. Kể từ năm 2014 và C11, có bốn định nghĩa loại trong tiêu chuẩn C:const (C89), dễ bay hơi (C89), hạn chế (C99) và _Atomic (C11). Hai cái đầu tiên trong số này, const và biến đổi, cũng có trong C ++ và là những định nghĩa kiểu duy nhất trong C ++.
