C 言語 マクロ講座 # ## 編: uyota 匠の一手

# と ## 共に古くからマクロで実装されている。ところが、これを知らない人達がとても多い。 十年、二十年と C 言語を使ってきたという人でも知らないと言う人が結構いる。これを知らないから、余計なコードを書き、バグを増やし続けるのである。

高級言語と呼ばれる言語の中でも、単純な部類に入る C 言語。その C 言語よりも単純なマクロ言語の構文を把握していないのである。マクロ自体では、できることもたかが知れている。マクロでできるのは、ごく限られた置換や条件分岐処理程度のみだ。C 言語の構文だけでは、それこそ複数のファイルにコードを分けて書くこともできない。 ライブラリを作るのなどは、それこそ不可能だ。

しかし、C 言語はその欠点をマクロ言語を使い前処理することにより、強力な力を得た。C 言語以降もいくつもの高級言語が生まれてきたが、前処理を組み込んである言語はごく限られている。すなわち、この二段階に行われる処理を正しく把握して、理解しなければ、C 言語の真の力を引き出のは難しい。

そして、C 言語の二段処理から乗数的な効果を得るために必要不可欠な要素が、創造力だ。

# は、引数を文字列に変換する。

% cat string.c 
#define string(x) #x

string(Hello World)
% gcc -E string.c
# 1 "string.c"
# 1 ""
# 1 ""
# 1 "string.c"


"Hello World"

## は二つの識別子を連結させる。

% cat combine.c 
#define comb(x, y) x ## y

comb(hello, world)
% gcc -E combine.c 
# 1 "combine.c"
# 1 ""
# 1 ""
# 1 "combine.c"


helloworld

確かにこの二つが行うことはとても単純だが、これを侮ってはいけない。

前回。次回。