MACROSはどのようにCで動作しますか？

Question

#include<stdio.h> 
#define mul(p,q) p*q 
int main(){ 
int a=5; 
printf("%d",mul(a+3,a-2)); 
return 0; 
} 

これは24枚プリントが期待されていましたが、18枚ありました。どうしてですか？

Answer 1

基本的には、コンパイルする前に見つけて置き換えてください。あなたのコードではなく、あなたが#define mul(p,q) ((p)*(q))を行う必要があり#define mul(p,q) p*qの

int main(){ 
    int a=5; 
    printf("%d",a+3*a-2); 
    return 0; 
} 

になります。それであなたのコードは以下のようになり、あなたは期待される答えを得るでしょう。

int main(){ 
    int a=5; 
    printf("%d",((a+3)*(a-2))); 
    return 0; 
} 

Answer 2

プリプロセッサがコードに驚くようなことをするたびに、前処理された出力を調べることで、それが何であるかを知ることができます。 Unixyコンパイラで、-Eコマンドラインオプションを使用：

$ gcc -E test.c | sed -ne '/main/,$p' 
int main(){ 
int a=5; 
printf("%d",a+3*a-2); 
return 0; 
} 

（sedのビットはstdio.hを含めることによって生成される無関係な材料の線の数千を除去することである）

をマクロ展開は

を生産しています

printf("%d",a+3*a-2); 

今、驚くべき回答が得られた理由は分かりますか？

これは、人々がCプリプロセッサで持っている非常に一般的な問題です。 GNU CPPマニュアルには、 "Operator Precedence Problems"というタイトルのセクション全体があります。短いバージョンはあなたのマクロ定義が

#define mul(p,q) ((p)*(q))