C奇妙なマクロ構文

Question

私はこのCのコード例を見つけて、私は絶対に困惑しています：

#include <stdio.h> 
#define M(a,b) a%:%:b 

main() 
{ 
    int a=1, b=2, ab[]={10,20}, c; 
    printf("%d", M(a,b)<:a:>); 
    printf("%d", M(a,b)<:a:>?a:b); 
    printf("%d", c=M(a,b)<:a:>?a:b); 
} 

誰かがこれを行うことになっているかを説明できますか？それはVisual Studioでもコンパイルされませんが、オンラインで（ideone.comに）実行し、それは2011と表示され、これも混乱の原因となります。

Answer 1

これは、1994年のC標準の改訂版であり、したがってC99標準の一部であったC digraphsを使用しています。彼らの実際の文字と二重字をスワップアウト、あなたが得る：

#include <stdio.h> 
#define M(a,b) a##b 

main() 
{ 
    int a=1, b=2, ab[]={10,20}, c; 
    printf("%d", M(a,b)[a]); 
    printf("%d", M(a,b)[a]?a:b); 
    printf("%d", c=M(a,b)[a]?a:b); 
} 

ので、a##bは、単一の識別子への入力を一緒にマージされることに注意してください。マクロはちょうどaとbを渡されているので、あなたが効果的に持っているので、結果は、ちょうどabです：

main() 
{ 
    int a=1, b=2, ab[]={10,20}, c; 
    printf("%d", ab[a]); 
    printf("%d", ab[a]?a:b); 
    printf("%d", c=ab[a]?a:b); 
} 

cへの割り当ては、実際には関係ありませんので、我々はそれを取り除くことができます。

main() 
{ 
    int a=1, b=2, ab[]={10,20}; 
    printf("%d", ab[a]); 
    printf("%d", ab[a]?a:b); 
    printf("%d", ab[a]?a:b); 
} 

は今、私たちは静的にそれをうまくすることができますので、のは、三項演算子（?:）を取り除くみましょう（aは1とab[1]が20であるため、ab[a]は常に真である、すなわち、非ゼロ）：

今

main() 
{ 
    int a=1, b=2, ab[]={10,20}; 
    printf("%d", ab[a]); 
    printf("%d", a); 
    printf("%d", a); 
} 

、1

main() 
{ 
    int a=1, b=2, ab[]={10,20}; 
    printf("%d", 20); 
    printf("%d", 1); 
    printf("%d", 1); 
}