C++宏的秘密：为什么宏中需要do-while(0)和if-else以及3个致命错误

轻松学习Python，无需理论负担。在浏览器中直接解决带自动检查的实践任务，无需安装任何东西。

C++中的宏：危险的美丽还是必要的邪恶？

每个写过C++的人都会遇到宏。一方面，它是元编程的强大工具，可以减少样板代码的数量。另一方面，宏以其狡猾而闻名。只要漏掉一个分号或错误地放置括号，代码就会变成一个不可预测的怪物。

但在C++世界中，有一类特殊的宏看起来明显很奇怪。你见过这样的代码吗？

#define SAFE_DELETE(ptr) do { delete (ptr); (ptr) = nullptr; } while(0)

看起来逻辑上是对的：删除指针并将其置空。但这里为什么需要这个无意义的do-while(0)？一个保证只执行一次的循环？这看起来像是冗余，近乎荒谬。或者还有这个带有if-else的例子：

#define LOG_ERROR(msg) if (g_logging) std::cerr << (msg)

看起来一切都很简单。但正是在这里，隐藏着让成千上万开发者栽跟头的陷阱。这个问题在Stack Overflow上获得了数万次浏览，今天我们将分析为什么这样的结构不是bug，而是特性，以及它们防止了哪些C++宏错误。

在深入探讨do-while(0)的细节之前，让我们回顾一下宏与普通函数的区别。在C++中，宏是文本替换。预处理器只是将宏体复制到调用它的位置。没有类型检查，没有作用域——纯粹的字符串替换。

正是由于这个原因，才出现了经典的C++宏错误。看一个简单的例子：

#define SQUARE(x) x * x

int main() {    int a = 5;    int result = SQUARE(a + 1); // 期望36，得到11    std::cout << result; // 输出11    return 0;}

发生了什么？宏展开成了a + 1 * a + 1。由于运算符优先级，乘法先于加法执行。第一个错误——缺少括号。我们来修复：

#define SQUARE(x) ((x) * (x))

现在可以了。但这只是小问题。真正的麻烦始于宏包含多个语句或控制结构时。

回到我们的SAFE_DELETE。为什么不更简单地写宏，不带这个奇怪的循环？

#define SAFE_DELETE(ptr) delete (ptr); (ptr) = nullptr;

看起来逻辑是对的。但想象一下你在这样的上下文中使用它：

if (ptr != nullptr)    SAFE_DELETE(ptr);else    std::cout << "Pointer is null";

经过替换，预处理器会将其变成：

if (ptr != nullptr)    delete (ptr);    (ptr) = nullptr;else    std::cout << "Pointer is null";

这就是bug！else现在不再属于if，因为中间出现了第二个语句。编译器会报错，但本质很清楚：宏“破坏”了控制结构。正是为了这种情况才需要do-while(0)。它将多个语句变成一个复合语句，保持逻辑：

if (ptr != nullptr)    do { delete (ptr); (ptr) = nullptr; } while(0);else    std::cout << "Pointer is null";

现在一切正常工作了。宏的do-while(0)惯用法是一种标准技巧，确保宏的行为像一个单一语句。

好问题！因为也可以只使用花括号：

#define SAFE_DELETE(ptr) { delete (ptr); (ptr) = nullptr; }

我们尝试使用

异步 Rust：完整指南

C# (.NET) 函数式编程

机器学习与 Swift：从想法到应用

使用Python进行网络爬虫