c - 带参数的宏

Question

假设我用参数定义宏，然后按如下方式调用它:

#define MIN(x,y) ((x)<(y)?(x):(y))
int x=1,y=2,z;
z=MIN(y,x);

鉴于 (a) 宏用作文本替换，(b) 这里的实际参数就像正式参数，只是交换了，-- 这个特定的 z=MIN(y,x) 会按预期工作吗？如果会，为什么？我的意思是，预处理器如何设法不混淆实际参数和正式参数？

这个问题是关于C 编译器的技术。这不是 C++ 问题。
本题不推荐大家使用宏。
这个问题与编程风格无关。

Answer 1

宏的内部表示将是这样的，其中空格表示 token 边界，#1 和 #2 是神奇的仅供内部使用的 token ，表示要替换参数的位置:

MIN( #1 , #2 )  -->  ( ( #1 ) < ( #2 ) ? ( #1 ) : ( #2 ) )

——也就是说，预处理器在内部不使用宏参数的名称(除了执行关于重定义的规则)。因此，形式参数名称与实际参数相同并不重要。

当宏体使用不是形式参数名称的标识符时，可能会导致问题，但该标识符也出现在中形式参数的扩展。例如，如果您使用 GNU 扩展重写了您的 MIN 宏，这样您就可以避免对参数求值两次...

#define MIN(x, y) ({ \
    __typeof__(x) a = (x); \
    __typeof__(y) b = (y); \
    a < b ? a : b; \
})

然后您尝试像这样使用它:

int minint(int b, int a) { return MIN(b, a); }

宏扩展看起来像这样:

int minint(int b, int a)
{
   return ({
       __typeof__(b) a = (b);
       __typeof__(a) b = (a);
       a < b ? a : b;
   });
}

并且该函数将始终返回它的第一个参数，无论它是否更小。 C 在一般情况下没有办法避免这个问题，但是许多人使用的约定是总是在宏中定义的每个局部变量的名称末尾加上下划线，并且< em>永远不要在任何其他标识符的末尾放置下划线。 (对比 Scheme 的 hygienic macros 的行为，保证不会有这个问题。Common Lisp 让你自己担心，但至少你有 gensym 来帮忙。)