▶ 역자 주   위에 제시된 함수정의의 문법은 원문에는 한줄로 제시된 것입니다. 문법이 너무 길어 한 줄에 다 넣을 수 없어 부득이하게 두줄로 나눠서 씁니다.

선언 지정자 (declaration specifier) 에 허락되는 유일한 기억부류 지정자는 extern 이나 static 입니다; 두 지정자의 차이점은 A11.2 절에서 다룹니다.
  함수는, 함수나 배열을 제외한 산술형, 구조체, 공용체, 포인터, void 형을 반환할 수 있습니다. 함수선언의 선언자 (declarator) 는 선언되는 명칭이 함수형임을 명백히 지정해줘야 합니다; 따라서 다음 형태중 하나를 포함해야만 합니다. (A8.6.3 참고)

위에서 직접-선언자 (direct-declarator) 는 명칭이거나 괄호에 쌓인 명칭이어야 합니다. 특별히, typedef 의 방법으로 함수를 정의할 수는 없습니다.
  첫번째 형태는, 현대적 방식 (new-style) 의 함수정의이며, 매개변수는 데이터형과 함께 매개변수 데이터형 리스트 (parameter type list) 에서 선언됩니다; 함수의 선언자 (declarator) 뒤에 오는 선언-리스트 (declaration-list) 는 없어야만 합니다. 만약 매개변수 데이터형 리스트에 매개변수가 없다는 것을 의미하는 void 가 혼자 쓰인 경우가 아니라면, 매개변수 데이터형 리스트의 각 선언자는 반드시 명칭을 포함해야 합니다. 매개변수 데이터형 리스트가 ", ..." 로 끝난다면, 그 함수는 매개변수 (parameter) 보다 더 많은 개수의 인자 (argument) 를 받을 수 있습니다; 표준 헤더파일 <stdarg.h> 에서 정의된 va_arg 매크로 기법을 사용해야만 그 가변인자를 참조할 수 있습니다. 가변인자 함수 (variadic function) 에는 적어도 1개의 이름이 붙은 매개변수가 있어야 합니다.
  두번째 형태는, 고전적 방식 (old-style) 의 함수정의 입니다: 명칭 리스트 (identifier list) 는 매개변수의 이름들이며, 선언 리스트 (declaration list) 에서 그 매개변수의 데이터형을 선언해 줍니다. 만약 어떤 매개변수에 데이터형이 주어지지 않으면, int 형으로 취급됩니다. 선언 리스트는 명칭 리스트에 있는 매개변수만을 선언해야 하며, 초기화는 허락되지 않고, 사용할 수 있는 기억부류 지정자는 register 뿐입니다.
  두가지 형태의 함수정의에서, 매개변수들은 함수본체 (body) 를 구성하는 복문 (compound statement) 이 시작하자마자 선언된다고 이해됩니다. 따라서 동일한 명칭이 함수본체에서 재선언될 수 없습니다. (단, 다른 명칭들과 동일하게, 안쪽 블럭에서는 재선언될 수 있습니다) 만약 매개변수가 "배열형 (array of type)" 이라면 선언이 "포인터형 (pointer to type)" 으로 조정되며, 유사하게 "함수형 (function returning type)" 이라면 "함수 포인터형 (pointer to function returning type)" 으로 조정됩니다. 함수를 호출하는 동안, 인자 (argument) 는 필요에 따라 변환되고, 매개변수로 대입됩니다. (A7.3.2 참고)

  현대적 방식의 함수정의에 대한 완벽한 예가 아래에 있습니다.

                int max(int a, int b, int c)
                {
                      int m;
                      m = (a > b) ? a : b;
                      return (m > c) ? m : c;
                }

여기서 첫번째 int 는 선언 지정자 (declaration specifier) 입니다; max(int a, int b, int c) 는 함수의 선언자이며, { ... } 부분은 함수본체를 위한 블럭입니다. 위의 예에 대응하는 고전적 방식의 함수정의는 아래와 같습니다.

                int max(a, b, c)
                int a, b, c;
                {
                      /* ... */
                }

위에서 int max(a, b, c) 는 선언자 (declarator) 이며, int a, b, c; 는 매개변수의 선언 리스트 (declaration list) 입니다.

▷ A10.2 외부선언 (External Declaration)
  외부선언은 대상체, 함수, 혹은 다른 명칭들의 특성을 명시해 줍니다. 여기서 사용하는 "외부 (external)" 라는 용어는 함수의 밖이라는 위치를 의미하는 것일뿐, extern 키워드와는 직접적으로 관계가 없습니다; 외부에서 선언된 대상체의 기억부류 지정자는 없어도 (empty) 좋으며, extern 이나 static 을 지정해줘도 됩니다.
  만약 그 명칭에 대한 정의가 한개만 존재한다면, 데이터형과 연결 (linkage) 이 일치하는한, 같은 명칭에 대한 여러개의 외부선언이 동일한 번역단위 (translation unit) 내에 존재할 수 있습니다.
  두 선언은 A8.10 절에서 설명했던 규칙에 의해, 데이터형이 동일한가 판단됩니다. 만약, 한 선언의 데이터형은 불완전한 (incomplete) 구조체 · 공용체 혹은 열거형 (A8.3) 이고, 다른 선언의 데이터형은 동일한 택을 갖고 있는 대응하는 완전한 형 (complete type) 이라면, 두 데이터형은 일치한다고 취급됩니다. 또, 한 데이터형은 불완전한 배열형 (A8.6.2) 이고, 다른 선언은 완전한 배열형이며, 그외 다른 부분이 동일하다면, 그 두 데이터형도 일치한다고 취급됩니다. 마지막으로 한 데이터형은 고전적 방식 (old-style) 의 함수이고, 다른 데이터형은 다른점에서 동일하고 매개변수 선언 (parameter declaration) 이 있는 현대적 방식 (new-style) 의 함수라면, 그 두 데이터형도 일치한다고 취급됩니다.
  만약 함수나 대상체의 첫번째 외부선언이 static 지정자를 포함한다면, 그 명칭은 내부연결 (internal linkage) 을 갖습니다; 그렇지 않으면 외부연결 (external linkage) 을 갖습니다. 연결 (linkage) 에 대해서는 A11.2 절에서 설명합니다.
  대상체의 외부선언이 초기치를 가지고 있다면 그것은 정의 (definition) 가 됩니다. 대상체의 외부선언이 초기치를 가지고 있지 않으며, extern 지정자를 포함하지 않는다면, 그 선언은 임시정의 (tentative definition) 가 됩니다. 만약 대상체의 정의가 번역단위 (translation unit) 내에 나타난다면, 모든 임시정의는 다만 중복된 선언으로 다루어집니다. 대상체의 정의가 번역단위내에 나타나지 않으면, 그 대상체의 모든 임시정의는 초기치 0 을 갖는 하나의 정의가 됩니다.
  각 대상체는 한번만 정의될 수 있습니다. 내부연결 (internal linkage) 을 갖는 대상체는 각 번역단위에서 유일하기 때문에, 이러한 규칙이 각 번역단위마다 분리되어 적용됩니다. 외부연결 (external linkage) 을 갖는 대상체는 이 규칙이 프로그램 전체에 적용됩니다.