LeetCode中两个max宏定义的差异原因咨询

嘿，这个问题我太熟了！本质是C语言宏的纯文本替换特性和运算符优先级在搞鬼，咱们一步步拆解清楚：

核心差异：运算符优先级的坑 #

先看你最初的宏定义：

#define max(a,b) ((a) > (b))?(a):(b)

宏不是函数，它会直接把代码里的max(a,b)替换成后面的文本。当这个宏被放到复杂表达式里时，比如假设你在代码里写了：

int current_height = max(l, r) + 1;

替换后代码会变成：

int current_height = ((l) > (r))?(l):(r) + 1;

这里的关键是：C语言中+的优先级比三元运算符?:高！所以这段代码会被编译器解释成：

int current_height = ((l) > (r))?(l):((r) + 1);

这完全偏离了你原本的意图——你本来想先取l和r的最大值，再加1，但实际逻辑变成了：如果l大于r就取l，否则取r+1，结果自然会出错。

而你修改后的宏：

#define max(a,b) (((a) > (b))?(a):(b))

替换同样的表达式后会变成：

int current_height = (((l) > (r))?(l):(r)) + 1;

外层的括号把整个三元运算的结果包裹成了一个整体，确保它先完成求值，再参与后续的+1运算，优先级问题就彻底解决了。

额外小建议：更安全的替代方案 #

其实宏定义的max还有个隐藏陷阱：如果传入的参数是带副作用的表达式（比如max(x++, y++)），会导致变量被多次求值，结果完全不符合预期。在你的LeetCode场景里，传入的是getHeight的返回值，没副作用所以没触发，但如果想更稳妥，建议用内联函数替代宏：

static inline int max(int a, int b) {
    return (a > b) ? a : b;
}

这样既避免了优先级问题，也不会有多次求值的坑，代码可读性还更高~

内容的提问来源于stack exchange，提问作者52coder