为什么我应该避免 C++ 中的宏？ [关闭]

Question

我读过很多书和教程，我应该避免在 c++ 中使用宏。很好，但为什么呢？我不明白。它们非常有用，经常在 C 语言中使用。

有人可以（非常）详细地解释一下，为什么我应该在 C++ 中避免使用它们？

Answer 1

宏不遵守范围规则，而是在文本级别操作，而不是在语法级别。由此产生了许多可能导致奇怪的、难以隔离的错误的陷阱。

考虑以下众所周知的例子：

#define max(a, b) ((a) < (b) ? (b) : (a))
⋮
int i = max(i++, j++);

在这种情况下，首选的替代方法是函数模板：

template <typename T>
T max(const T & a, const T & b) { return a < b ? b : a; }

这是另一个导致微妙问题的案例：

#define CHECK_ERROR(ret, msg) \
    if (ret != STATUS_OK) { \
        fprintf(stderr, "Error %d: %s\n", ret, msg); \
        exit(1); \
    }
⋮
if (ready)
    CHECK_ERROR(try_send(packet), "Failed to send");
else
    enqueue(packet);

您可能认为解决方案就像将CHECK_ERROR 的内容包装在{ … } 中一样简单，但是由于; 在else 之前，这不会编译。

为避免上述问题（else 附加到CHECK_ERROR 的if 而不是外部if），应将此类宏包装在do … while (false) 中，如下所示：

#define CHECK_ERROR(ret, msg) \
  do { \
    if (ret != STATUS_OK) { \
        fprintf(stderr, "Error %d: %s\n", ret, msg); \
        exit(1); \
    } \
  while (false)

这对宏的含义没有影响，但确保整个块始终被视为单个语句，并且不会以令人惊讶的方式与 if 语句交互。

长话短说，宏在许多层面都是危险的，因此只能作为最后的手段使用。