Cの衛生的マクロ

ここでは、Cでの衛生的なマクロを確認します。Cでのマクロの使用法はわかっていますが、識別子が誤って取得されたために、目的の結果が返されない場合があります。

次のコードを見ると、正しく機能していないことがわかります。

例

#include<stdio.h>
#define INCREMENT(i) do { int a = 0; ++i; } while(0)
main(void) {
   int a = 10, b = 20;
   //Call the macros two times for a and b
   INCREMENT(a);
   INCREMENT(b);
   printf("a = %d, b = %d\n", a, b);
}

前処理後のコードは次のようになります-

例

#include<stdio.h>
#define INCREMENT(i) do { int a = 0; ++i; } while(0)
main(void) {
   int a = 10, b = 20;
   //Call the macros two times for a and b
   do { int a = 0; ++a; } while(0) ;
   do { int a = 0; ++b; } while(0) ;
   printf("a = %d, b = %d\n", a, b);
}

出力

a = 10, b = 21

ここでは、の値が更新されていないことがわかります。したがって、この場合、衛生的なマクロを使用します。これらの衛生的マクロは、識別子の偶発的なキャプチャを作成しないことを保証する拡張であるマクロです。ここでは、拡張中のコードとのインターフェースのリスクを伴う可能性のある変数名は使用しません。ここでは、別の変数「t」がマクロ内で使用されています。これはプログラム自体では使用されません。

例

#include<stdio.h>
#define INCREMENT(i) do { int t = 0; ++i; } while(0)
main(void) {
   int a = 10, b = 20;
   //Call the macros two times for a and b
   INCREMENT(a);
   INCREMENT(b);
   printf("a = %d, b = %d\n", a, b);
}

出力

a = 11, b = 21