问题背景:在刷题的过程中,要使用min函数,但是线上OJ并没有这个函数。因为一时也想不起它到底属于哪个头文件,所以为了偷懒,顺手就写下了以下宏定义:

#define min(x, y) (x) < (y) ? (x) : (y)

正常情况下这个宏定义是没有问题的,代码提交错误我也从没怀疑过它有问题。因为我认为自己对宏定义已经十分了解了,它的坑我基本都遇到过,该写的括号都写了,只是没有加do...while(0)而已,应该不会有问题。

直到我提交失败了n次后,当我抱着试一试的态度把这个宏定义替换成了内联函数后,提交就过了:

static inline int min(int x, int y) {
    return x < y ? x : y;
}

此时我的心里就只有两个字:卧槽!为什么我不早点开启调试呢?因为错误案例的数据量特别大,调试到触发问题的点太耗时了,所以一直没有调试。触发问题出现的场景是我对宏定义进行了嵌套调用:

x = min(min(1, 3), 2) + 1

使用-E选项预处理发现他们被展开成了如下形式,预期的结果应该返回2,但是这个表达式返回的结果是1,所以就出现了问题:

x = ((1) < (3) ? (1) : (3)) < (2) ? ((1) < (3) ? (1) : (3)) : (2) + 1;

《Effective C++》中明确提出了一点就是:少使用宏定义!宏定义只是简单的文本替换,它不会在编译时候检查,在复杂的表达式逻辑中很容易就会产生问题。

最后修改:2020 年 04 月 06 日
如果觉得我的文章对你有用,请随意赞赏