健全なマクロ
From Wikipedia, the free encyclopedia
健全なマクロ（英語: hygienic macros）とは、マクロ処理の過程で見かけ上同じに見える識別子が発生（名前が衝突）しても、意図しない問題が起こらないことが保証されているマクロである。Scheme[1]、Dylan、Rust、Nim、Juliaなどのプログラミング言語がこの機能を持っている[2]。マクロ処理の過程で見かけ上同じに見える識別子が発生するという問題は、健全なマクロが導入される以前からLISPコミュニティで広く知られていた。マクロの作者は、プログラムコード中の他のどれとも異なるユニークな識別子を生成する gensym などの組み込み関数を使ってプログラマーが明示的に回避したり、通常使用されないような長くて複雑な名前の識別子を用いることでこの問題の可能性を低減させてきた。健全なマクロはこの問題を解決する方法をマクロの展開機能に組み込むことで問題を根本的に解決している。「健全」を意味する「hygiene」という語は、コールベッカー[3]らが1986年に書いた健全なマクロの展開を導入した論文で、数学の用語の影響を受けて初めて使用された[4]。
健全なマクロの機能を持たないプログラミング言語では、マクロの展開中に作成された変数の束縛によって、すでに存在する変数の束縛が隠されてしまう可能性がある。C言語では、次のようなコードによってこの問題を説明できる。
#define incr(X) {int a=0 ; ++X ;}
int main (void)
{
int a=0, b=0 ;
incr(a) ;
incr(b) ;
printf("a=%d, b=%d\n", a, b) ;
return 0 ;
}
C言語のプリプロセッサで上のコードを変換すると、次のコードが生成される。
int main (void)
{
int a=0, b=0 ;
{int a=0; ++a ;}
{int a=0; ++b ;}
printf("a=%d, b=%d\n", a, b) ;
return 0 ;
}
main のスコープで宣言された変数 a は、マクロの中にある変数 a によって隠されてしまっている。その結果、プログラムを実行しても a の値は変化せず、コンパイルされたプログラムは次のように出力する。
a=0, b=1