如何在宏之后要求分号

Question

所以我正在编写一个库，它必须使用-pedantic -ansi -std=c++98 -Werror 和-Weverything 构建clang 和-Wall -Wextra 构建gcc，我有这个宏TESTSUITE(X)，它打算在全局范围内使用，如下所示：

TESTSUITE(current testsuite);

它的作用是用字符串调用一个函数（在程序启动时通过初始化一个虚拟变量）：

#define TESTSUITE(name) \
static int ANONYMOUS_VARIABLE(SOME_PREFIX) = setTestSuiteName(#name)

问题是这会在clang 下为-Wglobal-constructors 生成警告。

如果我像这样用_Pragma 包围它：

#define TESTSUITE(name)                                              \
_Pragma("clang diagnostic push");                                    \
_Pragma("clang diagnostic ignored \"-Wglobal-constructors\"");       \
static int ANONYMOUS_VARIABLE(SOME_PREFIX) = setTestSuiteName(#name) \
_Pragma("clang diagnostic pop")

编译时不需要使用宏后的分号（如果缺少它，-pedantic 会报错）。

如果我在宏的末尾添加这个

static int ANONYMOUS_VARIABLE(SOME_PREFIX) = 5

分号是必需的，但我会收到一个未使用变量的警告，我无法将其静音（因为如果我用 _Pragma 语句包围它，我将回到不需要分号的方块 1）。

那么有谁知道我如何要求分号并且还有 0 个警告？

Answer 1

聚会有点晚了，但我想我会在稍后为寻找答案的人插话。实现此目的的推荐方法是将宏包装在 do {....} while (0) 中。这只会执行一次，编译器通常会为您优化它，不会生成额外的代码，但仍然可以实现抽象。

来源：https://gcc.gnu.org/onlinedocs/cpp/Swallowing-the-Semicolon.html

Answer 2

类似于@thomas-eding 的解决方案，您可以将static_assert(true, "") 放在宏的末尾以要求分号。

这适用于内部和外部的类和函数。

而且它不会污染任何命名空间，也不会生成任何代码。

Answer 3

我在宏末尾使用enum {} 来强制使用分号。

这适用于内部和外部的类和函数。

这种方法不会污染任何命名空间，也不会生成任何代码。

Answer 4

您可以在宏的末尾添加一个函数声明：

#define TESTSUITE(name)  \
//...                    \
void ANONYMOUS_FUNCTION()

Demo

函数名称在不同的TESTSUITE 宏中甚至不必不同。如果它没有在其他任何地方使用就足够了，因此它不会参与任何重载。