▶ 역자 주   쉼표로 끝나는 초기값 리스트에서 쉼표의 역할은 어디까지나 외관상의 표현일 뿐입니다. 즉 마지막 쉼표는 초기값의 리스트에 어떠한 영향도 주지 못합니다.

  정적 대상체나 배열의 초기치로 주어지는 모든 수식은 7.19 절에서 알아본 상수수식 (constant expression) 이어야 합니다. 초기치가 중괄호에 쌓인 형태라면, auto 나 register 대상체나 배열의 초기치도 상수여야 합니다. 하지만 자동 기억부류 대상체의 초기치가 하나의 수식이라면, 초기치는 상수수식일 필요가 없으며, 다만 그 대상체에 대입되기 위한 적당한 데이터형이면 됩니다.

  초기치가 주어지지 않은 정적 대상체는 상수 0 이 대입된 것처럼 초기화됩니다. 자동 대상체에 초기치가 주어지지 않으면, 어떤 값으로 초기화되는지 알 수 없습니다 (undefined).
  포인터나 산술형 대상체의 초기치는 (중괄호가 있을 수 있는) 단일 수식입니다. 주어진 수식은 대상체에 대입됩니다.
  구조체의 초기치는 동일한 데이터형의 수식이거나, 중괄호 안에 멤버 순서대로 나열된 초기치의 리스트입니다. 이름이 붙지않은 비트필드는 무시되며, 초기화 되지 않습니다. 만약 구조체의 멤버보다 적은 초기치가 주어지면, 나머지 부분은 0 으로 초기화됩니다. 구조체 멤버보다 많은 초기치가 주어질 수는 없습니다.
  배열의 초기치는 각 요소에 해당하는 중괄호안의 초기치 리스트입니다. 만약 배열의 크기가 주어지지 않았다면, 초기치의 개수가 배열의 크기를 결정해 주며, 배열은 완전한 형 (complete type) 이 됩니다. 만약 배열의 크기가 명시되어 고정되었다면, 초기치의 개수는 배열 요소의 개수를 넘어서는 안됩니다; 만약 초기치가 더 적은 경우에는, 나머지 부분은 0 으로 초기화됩니다.
  특별한 경우, 문자배열은 문자열로 초기화될 수 있습니다; 문자열의 연속된 각 문자는 각각의 배열 요소를 초기화합니다. 유사하게 wide character string (확장 문자열, A2.6) 은 wchar_t 형의 배열을 초기화할 수 있습니다. 만약 배열의 크기가 주어지지 않은 경우에는, 문자열의 끝을 알려주는 널문자를 포함한 문자열의 문자개수가 배열의 크기를 결정합니다; 만약 배열의 크기가 고정되어 있다면, 널문자를 제외한 문자열의 문자개수가 배열의 크기보다 커서는 안됩니다.
  공용체의 초기치는 공용체의 첫번째 멤버를 초기화해주는, 동일한 데이터형의 단일 수식이나 중괄호에 쌓인 초기값입니다.

	▶ 역자 주   ANSI-C 에서는 초기치가 없는 정적 기억부류의 대상체는 0 으로 초기화된다고 명시하고 있으므로, 초기치를 주지 않은 정적 공용체의 첫번째 멤버는 확실히 상수 0 이 대입된 것처럼 초기화됩니다.

  '집합체 (aggregate)' 는 구조체나 배열을 의미하는 것입니다. 만약 집합체가 다른 집합체를 멤버로 포함한다면, 초기화 규칙은 재귀적으로 적용됩니다. 초기화에서의 괄호는 다음과 같이 생략될 수 있습니다: 만약 어떠한 집합체의 멤버로거 중첩된, 부분집합체 (subaggregate) 의 초기치가 왼쪽 중괄호 { 로 시작한다면, 괄호 뒤에 따라오는 초기치들은 그 부분집합체의 멤버를 초기화합니다; 이 경우에는, 멤버보다 많은 초기치가 주어지는 것은 잘못된 것입니다. 하지만 만약 부분집합체의 초기치에 중괄호가 없다면, 초기치 리스트에서 필요한 만큼을 부분집합체의 멤버로 취합니다; 초기치로 정해지고 남아있는 초기치들은 다음번 부분집합체를 초기화하는데 사용됩니다.
  예를 들면,

                int x[] = { 1, 3, 5 };

위와 같은 선언은, 배열의 크기가 지정되지 않고 3개의 초기치가 주어져 있으므로, x 를 3개의 요소를 갖는 1차원 배열로 만들어 줍니다.

                float y[4][3] = {
                        { 1, 3, 5 },
                        { 2, 4, 6 },
                        { 3, 5, 7 },
                };

위의 예는 완벽하게 괄호가 쓰인 초기화 입니다: 1, 3, 5 는 배열 y[0] 의 첫번째 줄을 초기화합니다. 즉, y[0][0], y[0][1], y[0][2] 가 각각 1, 3, 5 로 초기화됩니다. 비슷하게 나머지 두 줄 (2, 4, 6 과 3, 5, 7) 은 y[1] 과 y[2] 를 초기화합니다. 초기치 리스트가 먼저 끝났으므로 y[3] 의 요소들은 0 으로 초기화됩니다. 위 예는 아래의 초기화와 정확하게 동일한 효과를 가져옵니다.

                float y[4][3] = {
                        1, 3, 5, 2, 4, 6, 3, 5, 7
                };

전체 배열 y 의 초기치는 중괄호로 시작하지만, y[0] 의 초기치는 그렇지 않습니다 (먼저 예에서는 y[0], y[1], y[2] 의 초기치들이 중괄호로 각각 구분되어 있었음); 따라서 y[0] 을 초기화하는데 3개의 초기치가 사용됩니다. 유사하게 다음 3개가 y[1] 를 위해, 또 다음 3개가 y[2] 를 위해 취해집니다. 또 다른 예를 보면,

                float y[4][3] = {
                        { 1 }, { 2 }, { 3 }, { 4 }
                };

위와 같은 경우에는 (2차원 배열임을 생각해서) y 의 첫번째 칸 (column) 이 (즉, y[0][0], y[1][0], y[2][0], y[3][0]) 각각 1, 2, 3, 4 로 초기화되며, 나머지는 0 으로 남습니다.
  마지막으로,

                char msg[] = "Syntax error in line %s\n";

는 문자열로 초기화되는 문자배열을 보여줍니다; 배열의 크기는 널문자까지 포함한 크기가 됩니다.

▷ A8.8 데이터형명 (Type Name)
  (캐스트로 명백한 형변환을 지정하거나, 함수 선언자에서 매개변수의 데이터형을 선언하거나, sizeof 연산자의 인자를 지정하는 것같은) 여러 문맥에서 데이터형의 이름이 필요합니다. 이 때는 대상체의 선언에서 그 대상체의 명칭만을 제외한, 데이터형명 (type name) 을 사용해 주면됩니다.

추상적-선언자 (abstract-declarator) 에서, 그 선언자가 실제 선언에서 사용된다면 있어야만 하는 명칭의 위치를, 한 곳으로 결정하는 것이 가능합니다. 추상적 선언자에 의한 데이터형은 선언자에 가상의 명칭이 있을 때의 데이터형과 동일합니다. 예를 들면,

                int
                int *
                int *[3]
                int (*)[]
                int *()
                int (*[])(void)

위의 예는 각각, "정수 (integer)", "정수형 포인터 (pointer to integer)", "3개의 정수형 포인터를 요소로 갖는 배열 (array of 3 pointers to integers)", "크기를 모르는 정수배열을 가르키는 포인터 (pointer to an array of an unspecified number of integers)", "알수없는 매개변수를 갖고, 정수형 포인터를 반환하는 함수 (function of unspecified parameters returning pointer to integer)", "매개변수가 없고 정수형을 반환하는 함수의 포인터를 요소로 하는 크기를 모르는 배열 (array of, unspecified size, of pointer to functions with no parameter returning integer)" 을 나타냅니다.

▷ A8.9 Typedef
  기억부류 지정자 typedef 를 포함하는 선언은 대상체를 선언하는 것이 아니라, 주어진 명칭을 데이터형명으로 정의해 줍니다. 이 명칭을 typedef 명이라고 부릅니다.

typedef 선언은 통상적인 방법 (A8.6 참고) 으로 선언자에 주어진 명칭을, 주어진 데이터형으로 만들어 줍니다. 따라서 각각의 typedef 명은 그 데이터형을 나타내는 본래의 형지정자와 문법적으로 동일합니다.
  예를 들면,

                typedef long Blockno, *Blockptr;
                typedef struct { double r, theta; } Complex;

와 같은 선언이 있은 후에,

                Blockno b;
                extern Blockptr bp;
                Complex z, *zp;

위와 같은 선언은 적법한 것입니다. 즉, b 의 데이터형은 long, bp 의 데이터형은 "long 형 포인터" 이며, z 은 구조체로, zp 는 그 구조체의 포인터로 선언됩니다.
  typedef 는 기존에 없는 새로운 데이터형을 만드는 것이 아니라, 지정된 데이터형의 다른 동의어를 만들어 주는 것뿐입니다. 위의 예에서, b 는 다른 long 형 대상체와 동일한 데이터형을 갖습니다.
  typedef 명은 안쪽 통용범위 (inner scope) 에서 재선언될 수 있지만, 생략되지 않은 형지정자를 주어야만 합니다. 예를 들어,

                extern Blockno;

는 Blockno 를 재선언해주지 않지만,

                extern int Blockno;

는 재선언해줍니다.

▷ A8.10 데이터형 일치 (Type Equivalence)
  두 형지정자 리스트는 생략된 일부 지정자까지 고려해서 (예를 들어, long 은 long int 를 의미함), 동일한 형지정자를 가지고 있다면 동일하다고 말합니다. 다른 택을 갖고 있는 구조체, 공용체, 열거는 구별되며, 택이 없는 구조체, 공용체, 열거도 각각의 독립적인 데이터형을 지정하는 것입니다.
  함수 매개변수의 명칭을 모두 무시하고, typedef 명을 확장시킨 후에, 추상적 선언자 (abstract declarator, A8.8) 가 형지정자까지 동일하다면, 두 데이터형은 동일한 것입니다. 배열 크기와 함수 매개변수의 데이터형은 데이터형 비교에서 유효합니다.