▷ A4.2 기본형 (Basic Type)
  C에는 여러가지 기본형이 있습니다. 부록 B 에서 설명할 표준 헤더파일 <limits.h> 에는 각 컴파일러에서 지원하는 각 데이터형의 최대, 최소값이 정의되어 있습니다. 부록 B 에 주어진 값들은 최소의 허용치를 보여주는 것입니다.
  문자형 (char) 으로 선언된 대상체는 문자코드의 어떤 문자도 저장할 수 있는 충분한 공간을 갖습니다. 만약 문자코드 중에 순수한 문자만을 char 형에 저장한다면, 그 값은 문자코드의 정수 숫자값과 동일하며 양수임이 보장됩니다. 문자형 변수에는 다른 임의의 값도 저장할 수 있지만 저장가능한 값의 범위나 그 값의 부호는 컴파일러가 정하기 나름입니다 (implementation-defined).
  unsigned char 에 의해 선언되는 부호없는 문자형은 보통의 문자형과 동일한 크기를 가지며 다만 음수값을 표현할 수 없습니다. signed char 는 부호있는 문자형임을 명백히 지정해 줄때 사용하는데, 이 역시 보통 문자형과 동일한 크기를 갖습니다.

  문자형외에도 short int, int, long int 로 선언되는 3가지 크기의 정수형 (integer) 이 있습니다. 보통의 int 형 대상체는 컴파일러에서 추천하는 가장 자연스러운 크기를 갖습니다. 다른 정수형은 특별한 경우에 사용하기 위한 것들입니다. 크기가 큰 정수형 (longer integer) 은 최소한 크기가 작은 정수형 (shorter integer) 이상의 크기를 제공하지만, 대부분의 컴파일러는 보통의 int 형이 short int 나 long int 와 같은 크기를 갖도록 제공합니다. 특별한 지정자가 붙지 않는 이상 int 형은 부호있는 값을 나타낼 수 있습니다.
  unsigned 로 선언되는 부호없는 정수형은 2ⁿ (n 은 표현에 사용되는 비트수) 으로 나머지 연산되기 때문에 부호없는 값의 연산에서 오버플로우 (overflow) 가 발생할 수 없습니다. 부호있는 대상체에 저장될 수 있는 양수값은, 대응하는 부호없는 형에 저장할 수 있는 값의 부분집합이며, 겹치는 값의 내부표현은 동일합니다.
  단정도 부동형 (float), 배정도 부동형 (double), 특수정도 부동형 (extra precision floating point, long double) 은 동일한 데이터형으로 취급될 수도 있지만, 후에 언급한 것일수록 더 정밀합니다.

  열거형은 정수값 (integral) 을 멤버로 갖는 특이한 데이터형이며, 각 열거와 관련이 있는 그 정수값들은 이름이 붙여진 상수들의 집합입니다. 열거형은 정수형 (integer) 처럼 행동하지만, 특별한 열거형 대상체에 그 상수와는 다른 것이 대입되거나 상수의 수식형태가 대입될 경우, 경고가 발생하는 것이 일반적입니다.
  위에서 알아본 데이터형은 숫자와 관련된 것들이기 때문에 산술형 (arithmetic type) 이라고 합니다. 부호에 관계없이 모든 크기의 char 형과 int 형, 열거형은 합해서 정수형 (integer type) 이라고 합니다. 또한 float, double, long double 은 부동형 (floating type) 이라고 합니다.
  void 형은 값이 없는 것을 의미합니다. 이 데이터형은 리턴값 (반환값) 이 없는 함수의 반환 데이터형으로 사용됩니다.

▷ A4.3 유도형 (Derived Type)
  기본형 외에도, C에는 아래와 같은 방법으로 기본형으로부터 유도되는, 개념적으로 무한한 유도형이 있습니다.

일반적으로 위와 같은 유도형 대상체의 구성은 재귀적으로 (recursively) 적용될 수 있습니다.

▷ A4.4 형한정어 (Type Qualifier)
  대상체의 데이터형에 추가적으로 한정어를 적용할 수 있습니다. 대상체가 const 로 선언되면 이는 그 대상체의 값이 변할 수 없음을 의미합니다. 대상체가 volatile 로 선언되면 이는 그 대상체가 최적화에 적합하도록 특별한 특성을 가지고 있음을 말합니다. 어떠한 한정어라 할지라도 대상체의 산술계산적 특성이나 값의 범위에 영향을 주지 않습니다. 한정어에 대해서는 A8.2 절에서 설명하였습니다.