类似函数的宏和奇怪的行为

Question

我已经开始阅读《Effective C++》，在第 2 项中的某个时间点，提到了以下内容：

// call f with the maximum of a and b
#define CALL_WITH_MAX(a, b) f((a) > (b) ? (a) : (b))

...

int a = 5, b = 0;
CALL_WITH_MAX(++a, b); // a is incremented twice
CALL_WITH_MAX(++a, b+10); // a is incremented once

这里是在调用 f 之前 a 递增的次数 取决于与之比较的对象！

确实，如果我在f 中使用简单的打印语句，第一次调用会打印 7，但我终其一生都无法弄清楚原因。我错过了一些明显的东西吗？

Answer 1

使用g++ -E myprog.cpp（如果您不使用whatever-your-compiler-is，则将g++ 替换为whatever-your-compiler-is）- 它适用于几乎所有编译器，它会在预处理后生成实际的东西。

这是一个很好的例子，说明了为什么你不应该使用宏来做函数类型的事情。

如果您使用内联函数，您（可能）会得到更多期望：

 inline void CallWithMax(int a, int b) 
 {
     f((a) > (b) ? (a) : (b));
 }

任何体面的编译器都应该至少能够像宏一样高效地执行此操作，另外还有一个优势是您的 a 和 b 在调用代码中被评估一次，并且不会发生任何“奇怪”的事情。

如果您使用调试符号构建代码，您也可以单步执行内联函数，因此如果您想查看函数内部的实际值 a 和 b，您可以这样做。宏，因为它们在源代码中展开到原来的地方，所以你无法真正看到里面发生了什么。

Answer 2

编译器会用您传入的内容逐字逐句替换宏。所以你最终得到了

int a = 5, b = 0;
f((++a) > (b) ? (++a) : (b));
f((++a) > (b+10) ? (++a) : (b+10));