▶ 역자 주   ISO 646 은 1983년 ISO 에 의해 표준화된 82자의 기본 문자세트 입니다. C 언어의 소스문자세트와 실행문자세트 (source and execution character set) 는 ISO 646 안의 문자들을 모두 포함해야 합니다. 하지만 ISO 646 문자세트는 C 언어에서 사용되는 모든 문자를 담고 있지 않으며, 일부 외국어의 문자세트 역시 마찬가지인 경우가 있습니다.

프로그램을 더 적은 문자세트로 표현할 수 있도록, 다음에 나오는 모든 삼중자 (trigraph sequence) 는 대응하는 하나의 문자로 대체됩니다. 이러한 삼중자의 대체작업은 다른 어떤 전처리기능 보다 우선합니다.

  위에서 나열된 삼중자외에 대체작업은 일어나지 않습니다.

▷ A12.2 라인 연결 (Line Splicing)
  백슬러쉬 \ 로 끝나는 라인은, 백슬러쉬와 그 뒤에 따라오는 개행문자 (newline) 을 제거해서 다음 라인과 연결됩니다. 이러한 라인 연결은 소스가 토큰으로 분석되기 전에 일어납니다.

▷ A12.3 매크로 정의와 확장 (Macro Definition and Expansion)

  위와 같은 제어라인 (control line) 은 프로그램 소스에 나타나는 명칭 (identifier) 을 주어진 토큰열 (token-sequence) 로 바꿔줍니다; 토큰열의 앞뒤에 있는 공백문자 (white space) 는 제거됩니다. 토큰 안에 있는 공백문자까지 고려해서, 주어진 토큰열이 동일하지 않으면, 동일한 명칭의 중복된 매크로가 주어지는 것은 잘못된 것입니다.

  첫번째 명칭 (identifier) 과 여는 괄호 ( 사이에 공백이 없어야 하는, 위와 같은 형태의 라인은 명칭 리스트 (identifier-list) 를 매개변수 (parameter) 로 갖는, 매크로 정의입니다. 첫번째 형태에서처럼, 토큰열 앞뒤의 공백문자 (white space) 는 제거되며, 매개변수의 개수·철자와 토큰열이 동일해야만 매크로가 중복 정의될 수 있습니다.

  위와 같은 제어라인 (control line) 은 명칭의 전처리기 정의를 없던 것으로 만들어 줍니다. 정의되지 않은 명칭에 #undef 를 적용하는 것은 잘못된 것이 아닙니다.
  매크로가 두번째 형태로 정의되면, 프로그램 소스에 나오는 매크로 명칭 (매크로 명칭뒤에는, 생략가능한 공백문자, 여는 괄호, 쉼표로 분리된 토큰열들, 닫는 괄호가 따라옵니다) 은 그 매크로를 호출합니다. 호출시의 인자 (argument) 는 쉼표로 분리된 토큰열입니다; 따옴표에 쌓여 있거나, 중첩된 괄호로 보호되는 (protected) 쉼표는 인자를 분리하지 않습니다. 매크로 명칭을 검사 (scan) 할 때, 매크로 인자 (argument) 안에 있는 매크로는 확장되지 않습니다.

	▶ 역자 주   아래와 같은 경우, 인자에 있는 매크로 FRAG 는 (FOO 를 확장하는 과정에서 지워져 버리므로) 야예 확장되지도 않습니다.             #define FRAG 1             #define FOO(x,y) (x)             FOO(x,FRAG) 매크로 인자안에 있는 매크로는 미리 확장되지 않기 때문에, FRAG 가 1 로 확장되기 전에 FOO 가 확장되면서 FRAG 를 없애버리게 됩니다.

호출시 인자 (argument) 의 개수는 매크로 정의에 있는 매개변수 (parameter) 의 개수와 일치해야만 합니다. 확장 작업에서, 각 인자의 앞뒤에 있는 공백문자 (white space) 는 제거됩니다. 그런 후에, 인자로 주어지는 토큰열들은, 매크로의 치환 토큰열 (replacement token sequence) 에서 대응하는 매개변수 (parameter) 가 따옴표 없이 나올 때마다 치환됩니다.

	▶ 역자 주   따옴표 안에 있는 매개변수는 문자열이나 문자상수의 일부로 취급되기 때문에 확장되지 않습니다. 만약 주어지는 인자를 문자열로 만들고자 할때는 다음에 설명하는 # 연산자를 사용하면 됩니다.

치환 토큰열에 나오는 매개변수에 # 나 ## 가 붙어있지 않는한, 인자로 주어지는 토큰은 매크로 호출을 위해 검사되고, 삽입 (insertion) 되기 전에 필요에 따라 확장됩니다.

	▶ 역자 주   전처리기는 프로그램 소스상에 보이는 토큰의 매크로 정의가 있는지 찾아보고, 있다면 그 매크로를 확장해 줍니다. 단 # 연산자의 뒤나, ## 연산자 앞뒤에 있는 것은 다른 매크로로 정의되어 있다고 해도 확장되지 않습니다. (새로운 토큰을 만들기 위해서 입니다)             #define X Y             #define A Z ## X 위와 같은 상태에서 매크로 A 를 호출하면, ZY 가 아닌 ZX 로 치환됩니다.

  두개의 특별한 연산자가 치환 작업 (replacement process) 에 영향을 줍니다. 첫째, 치환 토큰열 (replacement token sequence) 에 있는 매개변수 (parameter) 앞에 # 가 붙어 있다면, 대응하는 매개변수 주위에 문자열 따옴표(")가 들어가고, # 와 매개변수 명칭이 인자 (argument) 로 치환됩니다. (인자에 포함된, 문자열이나 문자상수의, 내부 혹은 주변에 있는 " 나 \ 문자 앞에는 \ 가 추가됩니다)

	▶ 역자 주   " 나 \ 문자앞에 \ 를 추가해 주는 것은, 주어진 문자를 확장열로 만들어 주기 위해서 입니다.

  둘째, 두 종류의 매크로 정의에서, 치환 토큰열 (replacement token sequence) 이 ## 연산자를 포함한다면, 매개변수 치환이 일어난 후에 곧바로, ## 와 양쪽의 공백문자 (white space) 가 지워져서, 인접한 토큰이 연결되어 하나의 토큰이 형성됩니다.

	▶ 역자 주   당연한 이야기겠지만, 다음과 같은 경우를 생각해 볼 수 있습니다.             #define FOO 1             #define BAR 2             #define FOOBAR 3             #define conexp(A,B) A ## B             conexp(FOO,BAR) 위에서 conexp(FOO,BAR) 의 호출 결과는, 12 (FOO 의 1, BAR 의 2) 가 아니라 3 (FOOBAR 의 3) 이 됩니다. 위에서 이야기했듯이, 매개변수 치환이 일어난 후에 곧바로 두개의 토큰 (FOO 와 BAR) 이 연결되어, 하나의 새로운 토큰 (FOOBAR) 을 형성하기 때문입니다.

만약, 유효하지 않은 토큰이 생성되거나, 결과가 ## 연산자의 작업순서에 따라 달라지는 경우라면, 그 영향은 알 수 없습니다 (undefined).

	▶ 역자 주   C90 표준안에서, ## 연산자의 평가순서는 명시되지 않는다고 (unspecified) 되어 있습니다. 만약 ## 연산자의 작업순서에 의존적인 경우, 가능한 순서중 하나라도 부적절한 전처리기 토큰을 생성한다면, 그 행동을 알 수 없게 됩니다 (undefined).             AA ## 11_ ## 22 위와 같은 경우 11_ ## 22 가 먼저 평가되면, 올바른 숫자도 명칭도 아닌 부적절한 토큰이 생성되어 결과를 알 수 없게 됩니다 (undefined). 물론 AA ## 11_ 이 먼저 평가된다면 결과는 유효한 명칭이 되고, 22 와 연결되어 올바른 결과가 나오게 됩니다.

또한 ## 는 치환 토큰열의 맨앞이나 맨뒤에 나타날 수 없습니다.
  두 종류의 매크로 정의에서, 치환 토큰열 (replacement token sequence) 은 다른 매크로 정의 명칭으로 반복해서 검사 (scan) 됩니다. 하지만, 치환 토큰열 안에 그 토큰열을 확장해주는 매크로 명이 들어가 있다면 (중첩된 매크로 사이에 들어 있다고 해도), 한번만 확장됩니다. 즉, 재검사 (rescan) 할 때 그 매크로가 다시 발견된다고 해도 확장되지 않습니다.

	▶ 역자 주   다음과 같은 경우를 말하는 것입니다.             #define char unsigned char 위와 같이 매크로가 정의되어 있다면, 프로그램 소스상의 char 는 unsigned char 로 치환됩니다. 만약 위에서 설명한 규칙이 존재하지 않는다면, unsigned char 의 일부분인 char 가 또 매크로로 인식되는 일이 반복되므로 언젠가는 시스템 에러로 전처리기능이 종료됩니다. 하지만 위에서 이야기한 규칙이 이를 방지해 주기 때문에 한번만 확장되어 unsigned char 까지만 확장해 줍니다.             #define ONE IS TWO             #define TWO ARE THREE TWO             #define THREE WERE ONE 또한 여러번 중첩된 매크로 사이에서도 위의 규칙은 제대로 적용됩니다. 따라서 위와 같이 매크로를 정의해 놓은 상태에서, ONE 을 호출하면 정확하기 IS ARE WERE ONE TWO 로만 확장됩니다. (더 복잡하게 만들면 더 잼있습니다 ^^;)

  만약 매크로 확장의 최종 결과가 # 로 시작한다고 해도, 이는 전처리기 지시자로 취급되지 않습니다.

  예를 들어, 아래와 같은 매크로는 "manifest constant" 를 사용할 수 있도록 해줍니다.

            #define TABSIZE 100
            int table[TABSIZE];

아래와 같은 경우는, 두 인자 사이의 차를 절대값으로 반환하는 매크로를 정의해 줍니다.

            #define ABSDIFF(a, b)  ((a)>(b) ? (a)-(b) : (b)-(a))

동일한 일을 담당하는 함수와는 달리, 매크로로 작성된 경우에는 인자와 반환값이 어떠한 산술형 (arithmetic type) 이나 포인터 (pointer) 여도 상관없습니다. 또한 주어진 인자는, 검사하는데 한번, 값을 생성하는데 한번, 총 두번 평가되므로 부작용 (side effect) 이 발생할 수도 있습니다.
  다음과 같은 정의가 주어지면,

            #define tempfile(dir)  #dir "/%s"

매크로 호출 tempfile(/usr/tmp) 는 아래와 같은 결과를 생성합니다.

            "/usr/tmp" "/%s"

또 위의 결과는 하나의 문자열로 연결됩니다. 다음과 같은 매크로가 정의되면,

            #define cat(x, y)  x ## y

cat(var,123) 와 같은 호출은 var123 이라는 토큰을 생성합니다. 하지만, cat(cat(1,2),3) 와 같은 호출은 정의되어 있지 않습니다 (undefined). ## 의 존재는 바깥쪽 호출의 인자가 확장되지 않도록 해줍니다. 따라서 다음과 같은 토큰이 생성됩니다.

            cat ( 1 , 2 )3

여기서 첫번째 인자의 마지막 토큰과 두번째 인자의 첫번째 토큰이 연결된 )3 은 적법하지 않은 토큰이 됩니다. 만약 다음과 같이 두단계에 걸쳐 매크로가 정의되면,

            #define xcat(x,y)  cat(x,y)

좀 더 유연하게 작동합니다; xcat 의 확장 자체는 ## 연산자와 관련이 없기 때문에, xcat(xcat(1, 2), 3) 는 올바르게 123 을 생성합니다.

	▶ 역자 주   xcat(xcat(1,2),3) 의 확장과정은 다음과 같습니다. 단계 변환 결과   1. (원래상태)       xcat(xcat(1,2),3)     2. (인자확장)   xcat(1,2)     cat(1,2)     12     3.   cat(12,3)     4. (완료)   123   위에서, 가장 바깥쪽 호출 xcat() 의 두 인자는 xcat(1,2) 와 3 이며, 첫번째 인자인 xcat(1,2) 가 매크로 호출이므로 치환 리스트에 삽입되기 전에 완전히 확장됩니다.   xcat(cat(1,2),3) 역시 위와 동일한 과정을 거쳐, 123 으로 완전히 확장됩니다. 하지만, cat(xcat(1,2),3) 의 경우에는, 첫번째 인자인 xcat(1,2) 가 ## 의 영향을 직접 받아서 확장되지 않기 때문에, cat(cat(1,2),3) 와 마찬가지로 유효하지 않은 토큰을 생성하게 됩니다 (undefined behavior).

  유사하게, ABSDIFF(ABSDIFF(a,b),c) 는 예상되는대로 완전하게 확장된 결과를 생성합니다.