Go to the first, previous, next, last section, table of contents.

매크로 사용하기

이 장은 매크로의 기본적인 사용법과 매크로에서 인자를 넘겨주는 방법과 매크로가 어떻게 취급되는지를 설명한다.

매크로의 기본적인 사용방법

매크로를 불러낼 때에는 아래와 같이 한다.

name

이것은 아무런 인자도 없이 매크로를 불러내는 것이다. 또는 다음과 같이 한다.

name(arg1, arg2, ..., argn)

이것은 n개의 인자로 매크로를 불러내는 것이다. 매크로의 인자의 갯수에는 제한이 없다. 모든 인자는 문자열이다. 그러나 다른 매크로는 인자를 나름대로의 방식으로 해석할 수 있다.

반드시 왼쪽 괄호는 name 다음에 공백없이 바로 나와야 한다. 그렇지 않으면 매크로는 하나의 인자도 없는 채 호출된다.

매크로를 하나도 없는 채 호출을 한다면, 반드시 괄호는 없어야 한다. 다음 매크로 호출

name()

은 하나의 인자를 가진다. 그것은 빈 문자열이며, 인자 없는 호출이 아니다.

m4이 그 조상들보다 (예를 들어, Stratchey의 GPM과 같은) 뛰어난 점 중 한가지는 매크로로 확장한 것을 다시 확장한다는 것이다. 이것은 어떤 호출을 의미하는 접두어 같은 것이 없이도, 특별한 재정렬이 없이도 다시 매크로를 인식한다는 점이다. 이것은 유용한 반면 문제의 원천이 되기도 한다. 원치 않는 매크로 호출을 파생할 수도 있다는 것이다. 따라서 GNU m4는 명칭을 매크로 호출로 인식하는 것을 억제하는 여러 가지의 메카니즘과 테크닉을 제공한다.

그 첫 번째로, 많은 내장 매크로들은 인자가 없이는 호출할 수 없다. 이러한 내장 매크로들은 명칭 다음에 여는 괄호가 바로 따라오지 않는다면 호출되지 않는다. 이것은 거의 대부분의 경우에 문제의 해결책이 된다. `include'나 `eval'같은 경우가 대표적인 예이다. 이 문서의 후반부에 "이 매크로는 인자가 있을 때에만 인식된다"는 발언은 이런 것을 염두에 둔 것이다.

이러한 작업을 도와주는 명령행 호출 옵션(--prefix-builtins, 또는 -P)이 있다. 이것은 내장 매크로를 호출할 때 `m4_'를 앞에 붙이도록 하는 것이다. 이 옵션은 사용자 매크로에는 전혀 영향을 미치지 않는다. 예를 들면 m4_dnl과 같이 심지어는 m4_m4exit과 같이 적어야 한다는 이야기이다.

독자가 가지고 있는 GNU m4가 changeword 기능을 컴파일하여 가지고 있다면, 이것은 내장 매크로와 사용자 정의 매크로에 공히 매크로 명칭의 문법에 더 많은 유연성을 제공한다. 이러한 시험적인 특징에 대해 자세히 알고 싶으면 See section 단어의 어휘 구조 바꾸기.

물론, 하나의 명칭을 존재하는 매크로를 호출하는 것으로 해석하는 것을 억제하는 가장 간단한 방법은 그것을 따옴표로 묶어 버리는 것이다. 이 장의 후반부에서 따옴표로 둘러싸는 것이 매크로 호출에 미치는 영향에 대해 좀 더 깊게 알아보고 매크로 호출을 억제하는 데 따옴표로 묶는 방법이 어떻게 사용될 수 있는지를 설명한다.

보통은 매크로 전체 명칭을 따옴표로 묶을 수도 있지만, 명칭의 일부분만을 묶는 경우도 있다. 빈 문자열을 따옴표로 묶는 것도 가능하지만, 명칭의 내부에서만 작동한다. 예를 들면,

`divert'
`d'ivert
di`ver't
div`'ert

모두다 문자열 `divert'를 의미한다. 다음의 두 개는,

`'divert
divert`'

내장 매크로 divert를 호출할 것이다.

출력되는 매크로 확장은 다시 재검색된다. 다음의 예는 문자열 `de'가 될 것이다. 마치 m4에 입력으로 `substr(abcde, 3, 2)'가 들어 올 때에 되는 것과 정확히 똑같다.

define(`x', `substr(ab')
define(`y', `cde, 3, 2)')
x`'y

따옴표 처리된 문자열의 앞이든 뒤이든 어느 쪽이든지에 있는 따옴표가 없는 문자열은 매크로 명칭으로 인식될 수 있다. 아래의 예에서 빈 문자열을 따옴표로 둘러싸는 것은 dnl 매크로를 제대로 인식하도록 만든다.

define(`macro', `di$1')
macro(v)`'dnl

따옴표가 없다면, 문자열 `divdnl'과 그 뒤에 줄바꿈 문자가 뒤에 붙여진 것이 될 것이다.

따옴표로 묶는 것은, 매크로 확장의 결과가 그 주위의 문자들과 결합되어 촉발되는, 매크로 이름으로의 연쇄적인 인식을 막을 수 있다. 다음은 그 예이다.

define(`macro', `di$1')
macro(v)`ert'

입력은 문자열 divert를 생성할 것이다. 따옴표가 없다면 divert라는 내장 매크로가 호출된다.

매크로의 인자들

어떤 명칭이 발견되었을 때, 그것이 매크로로서 정의된 것이라면, 그것은 매크로로 확장된다.

명칭뒤에 여는 괄호가 따라오면, 인자는 매크로를 호출하기 전에 수집되는 단계를 거친다. 너무 적은 수의 인자밖에 주어지지 않았다면 주어지지 않았던 인자는 빈 문자열로 정해지고, 너무 많은 수의 인자가 주어졌다면 초과된 만큼의 인자는 무시된다.

보통 m4는 적합하지 않은 수의 인자를 받으면서 내장(builtin) 매크로가 호출될 때에는 경고를 내보낸다. 이러한 경고는 `-Q' 명령행 옵션으로 잠재울 수 있다. 사용자가 정의한 매크로에서는 주어진 인자의 수를 점검해 보지 않는다.

매크로는 보통 인자를 수집하는 단계에서 확장되고, 그 결과로 확장된 텍스트에 나타나는 콤마나 따옴표, 괄호는 그 역시 인자를 정의하는 데에 사용된다. 그래서 foo가 `, b, c'로 확장된다고 할 때에, 다음의 매크로 호출은

bar(a foo, d)

4개의 인자를 가지는 것이다. 그것은 `a ', `b', `c', `d'가 된다. 첫번째 인자가 공백을 포함하게 되는 이유를 이해하자면 따옴표로 둘러싸이지 않은 공백문자(whitespace; 역자주:탭 문자, 스페이스바 문자, 줄바꿈 문자 등 보통은 화면상에 빈 곳으로만 표시되는 조판문자를 말함)가 앞에 붙을 때에는 결코 인자의 일부분이 아니지만, 뒤에 따라 붙는 공백문자는 언제나 인자의 일부분이라는 것을 기억하자.

매크로의 인자를 따옴표로 묶기

각각의 인자의 앞에 붙은 공백문자가 따옴표로 묶이지 않은 것이라면 제거된다. 각각의 인자에서 따옴표로 묶여지지 않은 모든 괄호는 짝이 맞아야 한다. 예를 들면, foo가 매크로라고 할 때에,

foo(() (`(') `(')

이것은 하나의 인자를 가지는 매크로를 호출한다. 그 값은 `() (() ('이다.

인자가 확장되기를 확실히 바라는 것이 아닌 한 매크로에서 모든 인자를 따옴표로 묶는 것은 통상적인 습관이다. 그래서, 위의 괄호의 예에서 제대로 하는 `올바른' 방법은 다음과 같이 하는 것이다.

foo(`() (() (')

어쨌든, 어떤 인자에서는 따옴표가 없어야 할 경우도 있고, 그렇게 하는 것이 틀린 것도 아니다. 그저 당신이 조심하지 않는다면, 인생을 조금 험난하게 만들 뿐이다.

매크로의 확장

매크로 호출에서 인자가, 만약 있다면, 수집되는 단계가 끝난 후 그 매크로는 확장된다. 그리고 확장된 텍스트는 다시 입력으로 넣어지고, (따옴표로 묶인 것을 벗겨낸 후) 읽혀진다. 따라서 첫번째의 매크로 호출들의 확장에서, 완전하게든 부분적으로든, 다른 매크로 호출들이 포함된다면, 한 매크로 호출로부터 확장된 텍스트에서 더 많은 매크로 호출을 야기할 수 있다.

매우 간단한 예를 하나 들면, 아래의 foo가 `bar'로 확장되고, bar가 `Hello World'로 확장된다고 가정할 때에 다음의 입력

foo