时间戳

首页 > 解决方案 > 除非前面有命名参数，否则为什么可变参数宏会在 ')' 标记之前出现预期的主表达式失败？

c++ - 除非前面有命名参数，否则为什么可变参数宏会在 ')' 标记之前出现预期的主表达式失败？

问题描述

我正在尝试创建一些使用可变参数的跟踪宏。只有当命名参数在可变参数之前时，宏似乎才能正确运行。

我正在做的最小代码版本如下所示。只有不带参数的 TraceTest() 失败。我还尝试创建一个中间宏，将一个虚拟的第一个参数传递给 TraceTest1，但这也失败了。

template<typename ...Args>
inline void f(const char*, Args&&... args) { }

#define TraceTest1(a, args...) f("Trace Start ", ##args)
#define TraceTest(args...) f("Trace Start", ##args)

TraceTest();     // error: expected primary-expression before ‘)’ token
TraceTest("a");  // works
TraceTest1();    // works
TraceTest1("a"); // works

我已经阅读了关于可变参数宏的 gnu 文档，但找不到任何可以解释这一点的东西。

我在 Ubuntu 18.04 下使用 gcc 7.4.0 并使用

g++ -Wall -Wextra -std=c++17 src/event.cpp -obin/event

标签： c++macrosg++variadic-macros

解决方案

TraceTest()展开为f("Trace start",)，这显然是一个语法错误。

命名的可变参数宏参数和“，”的标记粘贴以及可变参数宏参数都不是标准的 C++（即使我能找到的每个编译器都实现了后者）。如果您希望它们与 GCC 一起使用，请使用“-std=gnu++17”而不是“-std=c++17”。

请注意，C++20 正在添加一个新的__VA_OPT__预处理器令牌，可用于以可移植的方式执行此操作：

#define TraceTest(...) f("Trace Start " __VA_OPT__(,) __VA_ARGS__)

现场演示

__VA_OPT____VA_ARGS__仅当不为空时才替换为其参数，因此TraceTest()将替换为f("Trace Start ").

推荐阅读