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

它使用了C digraphs，这是 1994 年对 C 标准的修订，因此是 C99 标准的一部分。用它们的实际字符交换有向图，你会得到：

#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 );
}

现在，让我们摆脱三元运算符（?:），因为我们可以静态地计算它（ab[a] 总是正确的，因为a 是 1 而ab[1] 是 20，即非零） ：

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

现在，将变量替换为它们的实际值，即将ab[a] 替换为20，将a 替换为1

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