プログラマーの独り言

関数形式マクロでは、引数の省略も可能。

その場合、マクロ呼び出しでの実引数の数は、
マクロ定義内の省略記号(...)を除く仮引数の数よりも
多くなければならない。

識別子__VA_ARGS__が省略された引数を表す。
__VA_ARGS__は、仮引数に省略記号を用いる関数形式マクロの
置換要素並びの中だけで使用可能。

例：
／＊
　　　　ｅｘ＿ｄｅｆｉｎｅ＿ｖａ．ｃ
＊／
＃ｉｎｃｌｕｄｅ　＜ｓｔｄｉｏ．ｈ＞　　／＊　ｐｒｉｎｔｆ　＊／
＃ｉｎｃｌｕｄｅ　＜ｓｔｄｌｉｂ．ｈ＞　／＊　ＥＸＩＴ＿ＳＵＣＣＥＳＳ　＊／

＃ｄｅｆｉｎｅ　ＤＢＧ（．．．）　（ｆｐｒｉｎｔｆ（ｓｔｄｅｒｒ，　＿＿ＶＡ＿ＡＲＧＳ＿＿））

ｉｎｔ　ｍａｉｎ（ｉｎｔ　ａｒｇｃ，　ｃｈａｒ　＊ａｒｇｖ［］）
｛
　　　　ｉｎｔ　ｘ　＝　１００；

　　　　ＤＢＧ（”ｘ：％ｄ＼ｎ”，　ｘ）；

　　　　ｒｅｔｕｒｎ　ＥＸＩＴ＿ＳＵＣＣＥＳＳ；
｝

マクロの再定義を実験してみた。

自分の環境では、
再定義可能のパターンではコンパイルがとおり、
再定義不可のパターンでは、warning: "OBJ_LIKE" redefined 等のワーニングが出た。

以下、プログラム。（表示都合上全角）

／＊
　　　　ｄｅｆｉｎｅ＿ｔｅｓｔ．ｃ
＊／
＃ｉｎｃｌｕｄｅ　＜ｓｔｄｉｏ．ｈ＞　　／＊　ｐｒｉｎｔｆ　＊／
＃ｉｎｃｌｕｄｅ　＜ｓｔｄｌｉｂ．ｈ＞　／＊　ＥＸＩＴ＿ＳＵＣＣＥＳＳ　＊／

＃ｄｅｆｉｎｅ　ＯＢＪ＿ＬＩＫＥ　（１−１）
＃ｄｅｆｉｎｅ　ＦＵＮＣ＿ＬＩＫＥ（ａ）　　　　（　ａ　）

ｉｎｔ　ｍａｉｎ（ｉｎｔ　ａｒｇｃ，　ｃｈａｒ　＊ａｒｇｖ［］）
｛
　　　　＃ｄｅｆｉｎｅ　ＯＢＪ＿ＬＩＫＥ　／＊　コメント　＊／　（１−１）　／＊　コメント　＊／
／／　　＃ｄｅｆｉｎｅ　ＯＢＪ＿ＬＩＫＥ　（０）　／／　字句の並びが違う
／／　　＃ｄｅｆｉｎｅ　ＯＢＪ＿ＬＩＫＥ　（１　−　１）　／／　空白類が違う

　　　　＃ｄｅｆｉｎｅ　ＦＵＮＣ＿ＬＩＫＥ（　ａ　）　（　／＊　空白類に注意　＊／　＼
　　　　　　　　　　　　　　　　　　　　　　　　　　　　ａ　／＊　一部が別の行
　　　　　　　　　　　　　　　　　　　　　　　　　　　　＊／　）
／／　　＃ｄｅｆｉｎｅ　ＦＵＮＣ＿ＬＩＫＥ（ａ）　　　　（　’ａ’　）　／／　仮引数の使用法が違う
／／　　＃ｄｅｆｉｎｅ　ＦＵＮＣ＿ＬＩＫＥ（ｂ）　　　　（　ｂ　）　／／　仮引数のつづりが違う

　　　　ｐｒｉｎｔｆ（”％ｄ＼ｎ”，　ＦＵＮＣ＿ＬＩＫＥ（ＯＢＪ＿ＬＩＫＥ））；

　　　　ｒｅｔｕｒｎ　ＥＸＩＴ＿ＳＵＣＣＥＳＳ；
｝

Ｃ言語の仕様（ＪＩＳＸ３０１０）によると、
オブジェクト形式マクロは条件付きで再定義できる、とある。

その条件は、
２番目の定義がオブジェクト形式マクロ定義であり、
かつ、２つの置換要素並びが同一、
とのこと。

また、関数形式マクロも条件付きで再定義可能だそう。

その条件は、
仮引数の個数とつづりが最初の定義と同一な関数形式マクロ定義、
かつ、２つの置換要素並びが同一。

置換要素並びとは、

＃ｄｅｆｉｎｅ　ＭＡＸ　１００

でいうと、１００と記されている部分のこと。

また「２つの置換要素並びは、その前処理字句列の個数、順序、
つづり及び空白類による区切り方が同じ場合、そしてその場合に限り、同一の並びとみなす。ただし、空白類による区切りは、いずれも同じものとみなす」とある。

そして、次のような例が挙げられている。

次の再定義は正しい。
＃ｄｅｆｉｎｅ　ＯＢＪ＿ＬＩＫＥ　　　　（１−１）
＃ｄｅｆｉｎｅ　ＯＢＪ＿ＬＩＫＥ　　　　／＊　空白類　＊／　（１−１）　／＊　その他　＊／
＃ｄｅｆｉｎｅ　ＦＵＮＣ＿ＬＩＫＥ（ａ）　　　　（　ａ　）
＃ｄｅｆｉｎｅ　ＦＵＮＣ＿ＬＩＫＥ（　ａ　）　（　／＊　空白類に注意　＊／　￥
　　　　　　　　　　　　　　　　　　　ａ　／＊　一部が別の行
　　　　　　　　　　　　　　　　　　　　　　＊／　）

次の再定義は正しくない。

＃ｄｅｆｉｎｅ　ＯＢＪ＿ＬＩＫＥ　　　　（０）　／／　字句の並びが違う
＃ｄｅｆｉｎｅ　ＯＢＪ＿ＬＩＫＥ　　　　（１　−　１）　／／　空白類が違う
＃ｄｅｆｉｎｅ　ＦＵＮＣ＿ＬＩＫＥ（ｂ）　　　　（　ａ　）　／／　仮引数の使用法が違う
＃ｄｅｆｉｎｅ　ＦＵＮＣ＿ＬＩＫＥ（ｂ）　　　　（　ｂ　）　／／　仮引数のつづりが違う

Ｃ言語のｄｅｆｉｎｅについて調べてみた。
結果をまとめると以下のとおり。

ｄｅｆｉｎｅとは、プリプロセッサ指示のひとつで文字列を別の文字列に置き換えることができるもの。この機能はマクロ置換と呼ばれる。

使用例：
＃ｄｅｆｉｎｅ　ＭＡＸ　１００

この定義以降のプログラムでは、コンパイル時にプリプロセッサによりＭＡＸが１００と変換されてからコンパイルされる。
このようなマクロ置換をオブジェクト形式マクロと呼ぶ。

プリプロセッサとは、コンパイル前の準備的な処理を行うソフトウェアのことである。

マクロ置換は引数を取ることもできる。

使用例：
＃ｄｅｆｉｎｅ　ＲＮＤ（ｘ）　（ｒａｎｄ（）％（ｘ＋１））

このケースではＲＮＤ（９）は０〜９までの乱数となる。
このようなマクロ置換を関数形式マクロと呼ぶ。

関数形式マクロは、引数の型が固定されない、関数呼び出し時のオーバヘッドがない等、関数よりも便利な面がある。
反面、マクロ使用時のパラメータでインクリメントやデクリメントを行うと、それが複数回行われるケースがある等、不具合を発生させる危険もある。そのため、関数形式マクロの使用には注意が必要である。

参考ページ：C言語のdefineについて