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上，错误消息有些误导。

在ISO C ++中，该宏带有3个参数和...，这意味着您必须至少传递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)。

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

1 个答案: