기억부류 지정자의 의미는 A4 절에서 알아보았습니다.
  auto 와 register 는 선언된 대상체를 자동 기억부류 (automatic storage class) 로 만들어 주며, 함수 안에서만 사용할 수 있습니다. 이러한 선언은 '정의'처럼 기억장소를 할당해 줍니다. register 선언은 auto 선언과 동일하지만, 컴파일러에게 선언된 대상체가 빈번히 사용됨을 알려줍니다. 실제로 CPU 레지스터에 저장될 수 있는 대상체의 개수와 데이터형에는 제한이 있으며, 자세한 제한사항은 컴파일러마다 다릅니다 (implementation-dependent). 하지만 일단 대상체가 register 로 선언된다면, 명시적이든 아니든 단항 & 연산자가 적용될 수 없습니다.

  static 지정자는 선언된 대상체를 정적 기억부류 (static storage class) 로 만들어 주며, 함수 안팎에서 모두 사용할 수 있습니다. 함수 안에서, 이 지정자는 '정의'처럼 기억장소를 할당해 줍니다; 함수 밖에서의 영향은 A11.2 를 참고하시기 바랍니다.
  함수 안에서 사용되는 extern 선언은, 선언된 대상체를 위한 기억장소가 다른 곳에서 정의되었음을 알려줍니다. 함수 밖에서의 영향은 A11.2 를 참고하시기 바랍니다.
  사용자 정의 typedef 지정자는 기억장소를 예약하지 않으며, 문법적 편의를 위해 기억부류 지정자로 분류합니다.
  선언에는 최대 한개의 기억부류 지정자가 주어져야 합니다. 만약 주어지지 않는다면 다음과 같은 규칙이 적용됩니다: 함수 안에서 선언된 대상체는 auto 로 취급됩니다; 함수 안에서 선언된 함수는 extern 으로 취급됩니다; 함수 밖에서 선언된 대상체와 함수는 외부연결 (external linkage) 과 정적 기억부류를 갖습니다. (A10 - A11 참고)

▷ A8.2 형지정자 (Type Qualifier)
  형지정자는 다음과 같습니다.

long 과 short 중 하나만이 int 와 함께 사용될 수 있습니다. long, short 가 있으면 int 를 써주지 않아도 의미는 int 형입니다. long 은 double 과 함께 쓰일 수 있습니다. signed 와 unsigned 중 하나가 int, short int, long int, char 와 함께 쓰일 수 있습니다. signed 나 unsigned 가 혼자 나타나면 int 형으로 인식됩니다. signed 지정자는 char 형 대상체가 부호있는 값을 갖도록 하는데 유용합니다; 정수형에도 signed 를 붙일 수는 있지만 중복된 선언입니다.
  위의 경우가 아니라면, 최대 1개의 형지정자만이 선언에 나올 수 있습니다. 선언에 형지정자가 생략되면, int 형으로 취급됩니다.
  데이터형은 선언된 대상체에 특별한 특성을 나타내기 위해 한정되기도 (qualified) 합니다.

형한정어는 형지정자와 함께 나타날 수 있습니다. const 대상체는 초기화는 되지만 값이 대입될 수는 없습니다. volatile 로 한정된 대상체에 대한 사항은 컴파일러마다 다르게 정의합니다 (implementation-dependent).

▷ A8.3 구조체와 공용체 선언 (Structure and Union Declarations)
  구조체는 다양한 데이터형의 여러 멤버를 포함하는 대상체입니다. 공용체는 다른 시간에 (동시에는 불가능하다는 뜻) 다양한 데이터형의 여러 멤버중 하나를 담을 수 있는 대상체입니다. 구조체 지정자와 공용체 지정자는 같은 형태를 갖습니다.

구조체-선언-리스트 (struct-declaration-list) 는 구조체나 공용체 멤버들이 나열된 것입니다:

보통, 구조체-선언자 (struct-declarator) 는 구조체나 공용체의 멤버들을 위한 선언자입니다. 구조체 멤버는 또한 비트수를 지정한 값을 포함하기도 합니다. 이러한 멤버는 비트필드 (bit-field), 혹은 드믈게 그냥 필드 (field) 라고 부릅니다; 비트필드의 길이는 선언자로부터 콜론(:)으로 분리되어 지정됩니다.

  아래와 같은 형태의 형지정자는 명칭을, 리스트에 의해 서술된 구조체나 공용체의 택 (tag) 으로 선언합니다.

  위와 같이 선언이 되면, 같거나 더 안쪽의 통용범위 (scope) 에서 리스트 없이 택만을 사용해서 같은 데이터형을 참조할 수 있습니다:

만약, 리스트 없이 택만 지정되고 또 이 택이 전에 선언된 적이 없다면, 불완전한 형 (incomplete type) 이 됩니다. 불완전한 구조체나 공용체형의 대상체는 선언이나 (정의는 안됨), 포인터 지정, typedef 생성과 같이 구체적인 크기를 필요로 하지 않는 곳에서만 쓰일 수 있습니다. 불완전한 형은 선언 리스트를 갖는 동일한 택의 선언이 나타나면 완전한 형이 될 수 있습니다. 비록 리스트를 갖고 있는 지정자라고 해도, 구조체나 공용체는 리스트 안에서는 불완전한 형이며, 지정자를 종료시켜주는 } 가 나와야만 완전한 형이 됩니다.
  구조체는 불완전한 형의 멤버를 포함할 수 없습니다. 따라서 자기 자신을 포함하는, 구조체나 공용체를 선언하는 것은 불가능합니다. 하지만 불완전한 형을 가르키는 포인터는 선언할 수 있고, 또 구조체나 공용체는 자기 자신을 참조하는 포인터를 포함할 수 있기 때문에, 결국 자기참조 구조체 (self-referential structure) 를 정의하는 것이 가능합니다.
  선언 리스트 (declaration list) 와 선언자 (declarator) 없이 구조체와 공용체를 선언하는 아래와 같은 선언에는 매우 특별한 규칙이 적용됩니다.

명칭이 이미 바깥쪽 통용범위 (outer scope) 에서 선언된 구조체나 공용체의 택이라고 해도, 위와 같은 선언은 현재의 통용범위 내에서 그 명칭을 불완전한 형을 갖는 구조체나 공용체의 택으로 만들어 줍니다.

	▶ 역자 주   상호 재귀적인 구조체란 다음과 같은 것을 말합니다. struct x { int a; struct y *yp }; struct y { int b; struct x *xp }; 이제 위에서 이야기한 이른바 '난해한 규칙'이 필요한 경우를 예로 들어보겠습니다. struct alpha { char c; }; struct beta { float f; }; int main() {     struct alpha { int x; struct beta *b; } aa;     struct beta { int y; sttuct alpha *a; } bb;     aa.b = &bb;     bb.a = &aa;     return 0; } 위의 예에서 대입문 aa.b = &bb 는 허가되지 않습니다. 그 이유는 구조체 aa 안에 있는 'struct beta' 가 main() 밖에 있는 beta 를 참조하기 때문입니다. (원래 의도는 main() 안의 alpha 밑에 있는 beta 를 참조하는 것임) 이와 같은 경우 main() 안에 있는 alpha 와 beta 의 선언 순서를 바꿔도 문제는 해결되지 않습니다. 이럴 때, main() 함수의 본체 안에서 alpha, beta 를 선언하기 전에 다음과 같은 선언을 넣어주면, 위에서 이야기한 '난해한 규칙' 에 의해 블럭밖과는 다른 새로운 구조체 alpha, beta 가 선언됩니다. struct alpha;           struct beta;             물론 위의 예는 블럭밖의 alpha, beta 가 명확히 눈에 보이기 때문에 어느 한쪽을 고치면 상관없지만, 블럭밖의 구조체 선언이 다른 사람이 작성한 헤더파일에 파묻혀 있는 경우라면 문제가 될 수도 있습니다.

  택없이 리스트만 있는 구조체 · 공용체 지정자는 하나의 제대로된 데이터형을 만들지 못합니다; 따라서 이러한 구조체나 공용체는 오직 선언되는 부분에서만 직접적으로 참조될 수 있습니다.
  멤버명과 택명은 서로간에 혹은 일반 변수와 충돌하지 않습니다. 동일한 구조체나 공용체에 같은 멤버명이 두번 나올 수는 없지만, 다른 구조체에는 동일한 멤버명이 사용될 수 있습니다.

  구조체나 공용체의 비트필드가 아닌 멤버는 어떠한 데이터형을 가져도 좋습니다. (선언자가 필요없고, 따라서 이름이 붙지 않아도 되는) 비트필드 멤버는 int, unsigned int 혹은 signed int 형을 갖으며, 주어진 비트만큼의 길이를 갖는 정수 대상체 (integral) 로 해석됩니다; int 형 비트필드가 부호있는 데이터형으로 다루어지는지는 컴파일러마다 다릅니다 (implementation-dependent). 구조체의 인접해 있는 비트필드 멤버들은 컴파일러가 정한 방향으로, 컴파일러마다 다른 기억단위 (storage unit) 로 묶입니다. 비트필드가 부분적으로 채워진 기억단위에 맞지 않을 경우, 두 기억단위에 걸쳐 분리되어 저장될 수도 있고, 부분적으로 채워진 기억단위를 무의미한 값으로 채워서 (padding) 버릴 수도 있습니다.

	▶ 역자 주   padding 이란, 쓸모없는 기억장소에 무의미한 값을 채워서 필요없는 부분을 버리는 작업을 의미합니다.

길이 0 을 갖는 이름없는 비트필드는 이렇게 필요없는 부분을 채우도록 해서, 다음번 비트필드가 새로운 기억단위부터 시작하도록 해줍니다.

  구조체의 멤버는 선언된 순서대로 메모리상의 주소가 증가되어 저장됩니다. 비트필드가 아닌 구조체 멤버는 그 멤버의 데이터형에 따른 주소를 경계로 정렬됩니다; 따라서 구조체 내에는 명칭이 붙지않은 빈공간 (hole) 이 생길 수 있습니다.

	▶ 역자 주   A6.6 절에서 설명했듯이, 많은 수의 기종 (machine) 들은 기억장소가 적당히 정렬이 되어야 기억장소에 효율적으로 접근할 수 있으며, 심지어는 정렬이 되지 않은 기억장소에는 접근을 못하는 경우도 있습니다. 바이트 기반의 기종에서, 2 바이트의 short int 는 짝수번지에, 4 바이트의 long int 는 4의 배수번지에 정렬되는 경우가 있습니다. 그럴 때, 다음과 같은 구조체가 있다고 가정하면, struct {       char c;       int i; }; 컴파일러는 int 멤버가 적당히 정렬되도록, char 와 int 멤버 사이에 이름도 없고, 사용되지 않는 공간 (hole) 을 남겨둡니다.

구조체를 가르키던 포인터가 첫번째 멤버를 가르키는 포인터형으로 캐스트 된다면, 결과는 첫번째 멤버를 참조합니다.
  공용체는 멤버가 모두 상대번지 (offset) 0 에서 시작하고, 멤버중 어떠한 것도 저장할 수 있는 충분한 크기를 갖는 구조체라고 생각하면 됩니다. 공용체에는 멤버중 하나만을 저장할 수 있습니다. 만약 공용체를 가르키던 포인터가 어떠한 멤버를 가르키는 포인터형으로 캐스트 된다면, 결과는 그 멤버를 참조합니다.
  구조체 선언의 간단한 예는 다음과 같습니다.

이 구조체는 문자 20개를 저장할 수 있는 배열, 정수형 (integer), 자기 자신을 참조하는 포인터 2개를 담고 있습니다. 우선 위와같은 선언이 주어지면, 다음과 같은 선언은, s 를 주어진 종류의 구조체로, sp 를 주어진 종류의 구조체 포인터로 선언해 줍니다.

위와 같은 선언이 주어지면, 수식

는 sp 가 가르키는 구조체의 count 멤버를 참조합니다;

위의 수식은 구조체 s 의 좌측 부분트리 (subtree) 를 참조합니다;

그리고 위 수식은 s 의 우측 부분트리의 tword 의 첫번째 문자를 가르킵니다.
  일반적으로, 값이 대입되지 않은 공용체의 멤버는 조사할 수가 없습니다. 하지만 한가지 사실이 확실히 보장되어 있어서, 공용체의 사용을 편하게 해줍니다: 만약 공용체가 같은 초기멤버 (initial sequence) 를 공유하는 여러개의 구조체를 포함하고 있고, 현재 사용중인 공용체가 이 구조체중 하나를 포함한다면, 포함된 구조체중 어떠한 (공통된) 초기멤버라도 참조하는 것이 허가되어 있습니다. 예를 들어, 아래와 같은 경우는 적법한 것입니다:

▷ A8.4 열거 (Enumeration)
  열거는 열거자 (enumerator) 라고 불리는, 이름이 붙어있는 상수의 집합내에서 값이 변하는 독특한 데이터형 입니다. 열거 지정자 (enumeration specifier) 의 형태는 구조체 · 공용체 지정자의 형태와 비슷합니다.

열거자 리스트 (enumerator list) 의 명칭은 int 형의 상수로 선언되고, 상수가 요구되는 곳에 사용할 수 있습니다. 만약 열거자에 = 가 없으면, 대응하는 상수의 값은, 0 에서 시작하고 왼쪽에서 오른쪽으로 가면서 1씩 증가됩니다. = 가 주어진 열거자는 관련된 명칭에 명시된 값을 대입해 줍니다; = 가 없이 이어지는 명칭은 이전에 대입된 값부터 계속해서 증가합니다.
  같은 통용범위 (scope) 내에 있는 열거자 명칭은, 서로간에 혹은 보통의 변수들과 구분되어야 합니다. 하지만 값은 구분될 필요가 없습니다.
  열거-지정자 (enum-specifier) 에 주어진 명칭 (identifier) 의 역할은 구조체-지정자 (struct-specifier) 의 구조체 택과 유사합니다; 즉 특별한 열거를 명명하게 됩니다. 택과 리스트가 있든 없든 열거-지정자 (enum-spicifier) 의 규칙은 구조체 · 공용체 지정자와 같습니다. 단 불완전한 열거형 (incomplete enumeration type) 은 존재하지 않습니다; 따라서 열거자 리스트가 없는 열거-지정자의 택은, 통용범위 안의 리스트가 있는 지정자를 참조해야만 합니다.