问题:
我想写一个可变参数宏
#define WRAP(token, ...)
其中,当使用令牌和 N 个参数调用时
WRAP(decltype, a, b, c)
将扩展为包含在令牌中的参数的逗号分隔列表
decltype(a), decltype(b), decltype(c)
这将允许我编写如下内容:
#define MACRO(...) \
Class< WRAP(decltype, __VA_ARGS__) >::Function();
如果我这样称呼它:
MACRO(a, b, c)
这将导致:
Class<decltype(a), decltype(b), decltype(c)>::Function(0;
我不知道如何实现这一目标。可能吗?也许有BOOST_PP
或一些这样的?
动机:
我有一个用于记录的宏:
#define LOG(fmt, ...) \
logger::instance().push(__FUNCTION__, fmt, __VA_ARGS__);
我有一个可变参数类模板,它能够验证参数是否与提供的格式字符串匹配
template<typename... Ts>
struct Format
{
template<std::size_t N>
static constexpr bool check(const char (&fmt)[N], std::size_t n);
};
如果我定义一个具有固定数量参数的宏,我可以调用我的格式检查函数:
#define LOG(fmt, a) \
static_assert(Format<decltype(a1)>::check(fmt, 0), ""); \
logger::instance().push(__FUNCTION__, fmt, a);
但是,如果我使用可变参数宏,这将不适用于超过 1 个参数:
#define LOG(fmt, ...) \
static_assert(Format<decltype(__VA_ARGS__)>::check(fmt, 0), ""); \
logger::instance().push(__FUNCTION__, fmt, __VA_ARGS__);
那是因为decltype(__VA_ARGS__)
显然是无效的语法。
要修复它,我需要扩展__VA_ARGS__
到decltype(a1), decltype(a2), decltype(a3)
可变参数函数模板?
我尝试使用constexpr
可变参数函数模板来实现这一点,但我无法传递fmt
给 astatic_assert
因为它此时不再是字符串文字:
template<size_t N, typename... Ts>
constexpr void check(const char (&fmt)[N], const Ts&...)
{
static_assert(Format<Ts...>::check(fmt, 0), "");
}
试图调用这个检查函数
check("%s", "hello world");
编译失败:
main.cpp:216:46: in constexpr expansion of ‘Format<T, Ts ...>::check<7ul>((* & fmt), 0ul)’
main.cpp:216:5: error: ‘fmt’ is not a constant expression