선언자의 구조는 간접지정 (indirection), 함수 (function), 배열수식 (array expression) 의 구조와 비슷합니다; 결합방식 (grouping) 은 동일합니다.

▷ A8.6 선언자의 의미 (Meaning of Declarator)
  선언자의 리스트는 형지정자와 기억부류 지정자 뒤에 나타납니다. 각 선언자는 직접-선언자 (direct-declarator) 의 처음에 제시된 한개의 주요한 명칭 (identifier) 을 선언합니다. 기억부류 지정자는 이 명칭에 직접 적용되지만, 데이터형은 선언자의 형태에 달려 있습니다. 선언자는, 선언자의 명칭이 그 선언자와 동일한 형태의 수식에 나타났을 때, 주어진 데이터형의 대상체를 생성한다는 의미로 이해됩니다.

	▶ 역자 주   위 이야기는, 문법적인 표현에서 보았을 때 C언어의 선언은 수식에서 사용될 때와 동일한 형태를 갖는다는 의미입니다. 함수와 배열을 예로 들면 아래와 같습니다. int f(double);  /* 선언자 f 는 함수이며, 이는 함수를 사용할 때와 동일한 문법적 구성 (괄호와 하나의 값) 을 갖습니다 */ f(3.14);  /* 선언과 동일한 형태를 갖는 함수 사용. int 형이 생성됩니다 */   double a[10];  /* 선언자 a 는 배열입니다. 대괄호안에 하나의 값이 들어가 있는 형태입니다 */ a[3];  /* 선언과 동일한 형태를 갖는 배열 사용. double 형이 생성됩니다 */

  선언 지정자 (A8.2) 의 데이터형 부분과 특별한 선언자에 대해서만 생각해보면, 선언은 "T D" 의 형태를 갖으며, T 는 데이터형, D 는 선언자를 나타냅니다. 다양한 형태의 선언자에서 명칭에 속성을 주는 데이터형은 이러한 표기법을 이용해 귀납적으로 (inductively) 서술됩니다.
  선언 T D 에서, D 가 아무것도 붙지않은 명칭이라면, 그 명칭의 데이터형은 T 입니다.
  선언 T D 에서, D 가
              ( D1 )
과 같은 형태를 갖고 있다면, D1 에 있는 명칭의 데이터형은 D 와 동일합니다. 괄호는 데이터형을 바꾸지 못하지만, 복잡한 선언자를 묶는 방식은 바꿀 수 있습니다.

▷ A8.6.1 포인터 선언자 (Pointer Declarator)
  선언 T D 에서,

              * type-qualifier-list opt   D1

D 가 위와 같은 형태를 갖고, 선언 T D1 에 있는 명칭의 데이터형이 "type-modifier T (T 형변경자)" 라면, D 에 있는 명칭의 데이터형은 "type-modifier type-qualifier-list pointer to T (형한정어 T형 포인터 형변경자)" 입니다. * 뒤에 주어진 형한정어는 포인터가 가르키는 대상체가 아닌, 포인터 자체에 적용됩니다.

	▶ 역자 주   데이터형을 적는 부분은 원문을 그대로 옮기고, 괄호안에 번역을 적었습니다. 영어의 특성상 맨앞에 걸리는 형변경자가 한국어로 번역할 때는 맨 뒤로 가기 때문에 그렇게 적어주는 등의 노력은 했지만, 가능하면 원문 그대로를 참고하시기 바랍니다.   이 부분의 내용은 복잡해 보이지만, 선언을 분석해 데이터형을 결정하는 부분입니다. 아래에 나오는 예를 보면 이해가 좀 더 쉬울 겁니다. 이해가 쉽도록 원문에는 없는 설명을 나름대로 추가하였습니다.

  예를 들어, 다음과 같은 선언을 생각해보면,

                int *ap[];

여기서 ap[] 가 D1 에 해당됩니다; 선언 "int ap[]" (아래 '배열 선언자' 참고) 는 ap 를 "array of int (int 형 배열)" 로 만들어 주고, 따라서 * 뒤에 나오는 형한정어 리스트 (type-qualifier list) 는 없고, 형변경자 (type-modifier) 는 "array of (∼의 배열, ap[] 가 D1 이므로)" 가 되는 것입니다. 결국 명칭 ap 에 실제로 선언되는 데이터형은 "array of pointers to int (int 형 포인터의 배열)" 이 되는 것입니다.
  다른 예를 살펴보면,

                int i, *pi, *const cpi = &i;
                const int ci = 3, *pci;

위에서는 정수 i 와 정수형 포인터 pi 를 선언합니다. 상수 포인터 cpi 의 값은 변할 수 없습니다; 즉 cpi 는 항상 같은 위치를 가르켜야만 하며, cpi 가 가르키는 곳에 저장되는 값은 변할 수 있습니다. 정수형 ci 는 상수이고 (위에서처럼 초기화는 되지만) 값이 변할 수는 없습니다. pci 의 데이터형은 "pointer to const int (const int 형 포인터)" 이며, pci 자체는 다른 장소를 가르키도록 변할 수 있지만, pci 를 통해서는 pci 가 가르키는 곳의 값을 바꿀 수 없습니다.

▷ A8.6.2 배열 선언자 (Array Declarator)
  선언 T D 에서,

              D1 [constant-expression opt]

D 가 위와 같은 형태를 갖고, 선언 T D1 에 있는 명칭의 데이터형이 "type-modifier T (T 형변경자)" 라면, D 에 있는 명칭의 데이터형은 "type-modifier array of T (T형 배열 형변경자)" 입니다. 만약 상수수식이 있다면, 그 수식은 정수형이어야 하며, 0 보다 커야만 합니다. 배열의 크기 (bound) 를 나타내는 상수수식이 생략된다면, 배열은 불완전한 형 (incomplete type) 이 됩니다.
  배열은 산술형, 포인터, 구조체, 공용체, 혹은 (다차원 배열의 경우) 다른 배열을 요소로 갖을 수 있습니다. 배열의 요소는 완전한 형 (complete type) 이어야만 합니다; 즉 불완전한 형을 갖는 배열이나 구조체로는 배열을 구성할 수 없습니다. 이는 곧 다차원 배열에서 오직 첫번째 첨자만을 생략할 수 있음을 의미합니다. 불완전한 형의 배열은 완전한 다른 선언이 나오든가 (A10.2) 아니면 초기화 됨으로써 (A8.7) 완전한 형 (complete type) 이 됩니다. 배열의 예를 들면,

                float fa[17], *afp[17];

위와 같은 선언은 float 형 숫자들의 배열과, float 형 포인터의 배열 (array of pointer to float) 을 의미합니다. 또한,

                static int x3d[3][5][7];

과 같은 선언은 3x5x7 행렬 형태의 정적 3차원 배열을 의미합니다. 자세하게 설명하면, x3d 는 3개의 요소를 가지고 있습니다; 각각의 요소는 각각 5개의 배열를 갖고 있는 배열입니다; 또 5개의 배열은 각각 7개의 정수를 갖는 배열입니다. x3d, x3d[i], x3d[i][j], x3d[i][j][k] 중 어떠한 표현도 수식에 나올 수 있습니다. 처음 3개의 데이터형은 "배열"이고, 마지막 하나만 int 형입니다. 더 상세히 설명하면, x3d[i][j] 는 7개의 정수를 갖는 배열이고, x3d[i] 는 7개의 정수를 갖는 5개의 배열의 배열입니다.
  배열의 첨자연산 (subscripting operation) E1[E2] 는 *(E1+E2) 와 동일하다고 정의되어 있습니다. 따라서 모양이 이상하지만, 첨자연산은 교환법칙이 성립하는 연산입니다.

	▶ 역자 주   따라서 a 가 배열이고, i 가 정수값이라고 할때, a[i] 뿐만 아니라 i[a] 와 같은 형태의 배열 사용도 가능합니다. a[i] 와 i[a] 는 각각 *(a+i) 와 *(i+a) 로 결국 동일한 결과를 가져옵니다.

+ 연산자와 배열에 적용되는 변환규칙 (A6.6, A7.1, A7.7) 때문에, E1 이 배열이고 E2 가 정수형이라면, E1[E2] 는 E1 의 E2 번째 요소를 참조합니다.
  예를 들면, x3d[i][j][k] 는 *(x3d[i][j] + k) 와 동일합니다. 첫번째 부수식인 x3d[i][j] 는 A7.1 에서 설명한 규칙에 의해 "정수형 배열을 가르키는 포인터"로 변환됩니다; A7.7 절에서 설명했듯이, 덧셈(+)은 배열을 구성하는 정수형의 크기에 곱한 값을 더하게 됩니다. 배열은 행 (row) 단위로 저장되며 (따라서 마지막 첨자가 가장 빨리 변합니다), 선언에서의 첫번째 첨자는 그 배열에 의해 소비되는 기억장소의 양을 결정하는데 도움을 줄 뿐, 첨자계산에 참여하지는 않습니다.

	▶ 역자 주   배열의 첫번째 첨자는 수식의 값을 결정하는데 필요하지 않습니다. 이는 배열연산의 정의가 포인터 연산인데서 연유합니다. 예를 들면, 1차원 배열에서, 어떠한 요소에 저장된 값을 알기 위해서 배열의 크기가 얼마인지 (→ 첫번째 첨자의 의미) 알 필요가 없습니다. 이는 다차원 배열에서도 마찬가지입니다. 다차원 배열에서도, 어떠한 요소의 값을 아는데는 첫번째 첨자를 제외한 나머지 첨자만 있으면 됩니다.

▷ A8.6.3 함수 선언자 (Function Declarator)
  현대적 방식 (new-style) 의 함수선언 T D 에서,

              D1 (parameter-type-list)

D 가 위와 같은 형태를 갖고, 선언 T D1 에 있는 명칭의 데이터형이 "type-modifier T (T 형변경자)" 라면, D 에 있는 명칭의 데이터형은 "type-modifier function with arguments parameter-type-list returning T (매개변수-데이터형-리스트를 인자로 갖고 T형을 반환하는 함수 형변경자)" 입니다.
  매개변수 (parameter) 의 문법은 아래와 같습니다.

현대적 방식의 선언에서, 매개변수 리스트 (parameter list) 는 매개변수의 데이터형을 알려줍니다. 현대적 방식의 함수 선언자가 매개변수를 가지고 있지 않다면, 매개변수 데이터형 리스트 (prarmeter type list) 에는 void 라는 키워드만 나옵니다. 만약 매개변수 데이터형 리스트가 생략부호 ", ..." 로 끝난다면, 그 함수는 주어진 매개변수의 개수보다 더 많은 인자를 받을 수 있습니다. (A7.3.2 참고)
  매개변수의 데이터형이 함수나 배열이라면, A10.1 절에서 설명할 매개변수 변환 (parameter conversion) 규칙에 의해 포인터로 변환됩니다. 매개변수의 선언 지정자 (declaration specifier) 에 허락되는 기억부류 지정자는 register 뿐이며, 이러한 지정자는 선언자가 함수정의 (function definition) 부분에 나오지 않는 이상은 무시됩니다.

	▶ 역자 주   함수의 정의부분에서 매개변수에 register 지정자를 주지않는 이상, 아무리 함수 선언에 register 지정자를 준다고 해도 그 지정자는 무시된다는 의미입니다.

유사하게, 매개변수 선언에 있는 선언자가 명칭을 포함하고 있고, 함수 선언자가 함수정의 부분에 있는 것이 아니라면, 그 명칭은 즉시 통용범위 (scope) 를 빠져나가게 됩니다.

	▶ 역자 주   즉, 함수정의가 아닌 함수선언에 나오는 명칭의 통용범위는 매개변수를 둘러싸고 있는 괄호에서 끝난다는 의미입니다. 아래와 같이, 함수 선언에서 a 라는 명칭을 사용했다고 해도, 이 명칭이 함수정의에서 사용된 것이 아니므로 매개변수 리스트를 닫는 괄호에서 그 통용범위가 끝나는 것입니다.                 int func(int a);                 double a; 함수 func 의 선언에서 사용된 a 라는 명칭의 통용범위는 닫는 괄호 ) 에서 끝나기 때문에, 아래에 있는 double 형 a 에게 영향을 주지 않습니다.                 int func(int a, int a); /* 불가능 */ 단 위에서 보는 것처럼, 선언에서의 중복된 명칭 사용은 분명 a 의 통용범위가 끝나지 않은 상태에서 나온 것이므로 불가능합니다.   반면에, 함수정의에서 사용된 매개변수의 명칭은 함수 본체 (body) 의 가장 윗부분에서 선언된 것으로 보기 때문에 함수 전체에 걸쳐 통용범위가 적용됩니다.   함수선언과 정의에 사용된 명칭에 대한 보다 자세한 사항은 나중에 또 다루게 됩니다.

명칭이 나오지 않는 추상적 (abstract) 선언자는 A8.8 절에서 설명합니다.
  고전적인 방식 (old-style) 의 함수선언 T D 에서,

              D1 (identifier-list opt)

D 가 위와 같은 형태를 갖고, 선언 T D1 에 있는 명칭의 데이터형이 "type-modifier T (T 형변경자)" 라면, D 에 있는 명칭의 데이터형은 "type-modifier function of unspecified arguments returning T (인자의 정보가 주어지지 않고, T형을 반환하는 함수 형변경자)" 입니다. 매개변수가 있다면 다음과 같은 형식을 갖습니다.

고전적 방식의 선언자에서, 그 선언자가 함수정의 (A10.1) 부분에 있는 것이 아니라면 명칭 리스트 (identifier list) 는 없어야만 합니다. 매개변수의 데이터형에 대한 어떠한 정보도 선언에 의해 주어지지 않습니다.
  예를 들어,

            int f(), *fpi(), (*pfi)();

위와 같은 선언은 정수를 반환하는 함수 f, 정수형 포인터를 반환하는 함수 fpi, 정수를 반환하는 함수를 가르키는 포인터 pfi 를 의미합니다. 위의 선언에는 매개변수의 데이터형에 대한 사항이 전혀 없습니다; 즉 위의 선언은 고전적 방식입니다.
  다음과 같은 현대적 방식의 선언에서는,

            int strcpy(char *dest, const char *source), rand(void);

strcpy 는 문자형 포인터와 문자 상수형 포인터 (pointer to constant character) 를 인자로 갖고, int 형을 반환하는 함수입니다. 함수선언에서 매개변수의 이름은 실제로는 주석에 불과합니다. 두번째 함수 rand 는 인자가 없으며, int 형을 반환합니다.

	▶ 역자 주   선언에서 매개변수의 명칭이 주석에 불과하다는 말은, 컴파일러가 함수정의 부분의 명칭과 선언의 명칭이 동일한가 검사하지 않는다는 뜻입니다. (데이터형만을 검사합니다) 즉 위에서 이야기한 것처럼 중복되는 명칭만 사용하지 않으면 굳이 함수정의 부분의 명칭을 그대로 써줄 필요도 없다는 의미입니다. 따라서 다음과 같은 것이 가능합니다. int func(int a, float b)       /* 함수정의 */ {     ... 함수 본체 ... } /* 아래의 선언은 모두 적법 */ int func(int a, float b); int func(int x, float y); int func(int b, float a); int func(int y, float m); int func(int, float); ...