競プロのrepマクロで、括弧が使われている理由

Question

いつもお世話になっています。

#define rep(i,n) for(int (i)=0;(i)<(n);(i)++)

競プロで他の方のソースコードを参考にしていると、上記のようなrepマクロが定義されているのをよく見ます。
質問なのですが、なぜiやnを括弧で囲っているのでしょうか。以下の定義では駄目なのでしょうか。

#define rep(i,n) for(int i=0;i<n;i++)

ご回答よろしくお願いいたします。

Answer 1

大昔に私が覚えたときも C 言語のマクロでは、仮引数はカッコで囲めと教えられました。
カッコの無いマクロ定義だと演算子の結合順位によって意図しない結合をしてしまうからです。

#define rep(i,n) for(int i=0;i<n;i++)

この定義に対して例えば、

rep(i, x > 0 ? x : y)

みたいなことを書くとマクロの展開結果は

for(int i=0;i< x > 0 ? x : y;i++)

となって、コンパイルエラーにはならないけど、結果はバグっているというえらいめんどくさいことになります。'<' や '>' は '?' ':' より結合度が強いので、マクロの '<' が先に結合してしまいます。カッコで囲まれていれば、

for(int (i)=0;(i)< (x > 0 ? x : y);(i)++)

となるので大丈夫ですよね。
もちろん、マクロ内に出てくる演算子によってはそうならない（コンパイルエラーになる）ものもありますが、そんなことを考えるのが面倒なので習慣としてマクロ定義内の仮引数はすべてカッコで囲みましょうということになっています。

Comments

[toshiyan]

回答ありがとうございました。