当我至少有一个参数时，为什么 GCC 声称我违反了“可变参数宏的至少一个参数”？

Question

这是我用来重现此错误的示例代码：

#include <iostream>

#define TEST_2_ARG_MACRO_OVERLOAD(_1,_2,FUNC_NAME,...) FUNC_NAME

#define TEST_HELLO_IMPL(condition) do{ \
        if(!(condition)) {\
          std::cout << "hello!" << std::endl; \
        }\
      } while(0)

#define TEST_HELLO_MESSAGE_IMPL(condition, message) do{ \
        if(!(condition)) {\
            std::cout << "hello" << message << std::endl; \
        }\
      } while(0)

//Runs during runtime and debug
#define TEST_HELLO(...) TEST_2_ARG_MACRO_OVERLOAD(__VA_ARGS__, TEST_HELLO_MESSAGE_IMPL, TEST_HELLO_IMPL)(__VA_ARGS__)


int main()
{
    auto x = 3 * (3);
    TEST_HELLO(x >= 3);
}

在带有 GCC x86-64 8.2 的 Godbolt 中使用：

-std=c++14 -Wall -Wextra -Wshadow -Wnon-virtual-dtor -Wpedantic -Werror

作为参数我得到以下错误：

<source>:24:22: error: ISO C++11 requires at least one argument for the "..." in a variadic macro [-Werror]

 TEST_HELLO(x >= 3);

                  ^

cc1plus: all warnings being treated as errors

Compiler returned: 1

然而，宏中显然至少有一个参数。现在我知道当我不启用此警告时编译，并且当我不启用此警告作为错误时，但由于其他原因，我想保留这些编译器标志（或至少保持相同的结果）。

为什么 GCC 声称我传递了零个参数，而我没有传递？

Answer 1

问题其实出在TEST_2_ARG_MACRO_OVERLOAD，错误信息有点误导。

宏接受 3 个参数和 ... ，在 ISO C++ 中这意味着您必须传递至少 4 个参数，但实际上您只传递 3 个。（参考：C++17 [cpp.replace]/4）

TEST_HELLO 扩展为 TEST_2_ARG_MACRO_OVERLOAD(x >= 3, TEST_HELLO_MESSAGE_IMPL, TEST_HELLO_IMPL)(x >= 3)。