将大括号括起来的初始化列表传递给可变参数宏并扩展为 std::pair<>

Question

我目前正在开发一个线程日志库，作为一个更大的图形绘制项目的第一部分（用于个人学习和技能发展）。

目前我正在使用一个单例，其中一个线程在旁边运行，并将日志消息和数据放入队列中（这样它们就不会阻塞事件）以供稍后处理。我在 std::map 周围写了一个小包装器作为 LogData，它可以由记录器以下列方式显示在流或文件中。

[0.000155][DEBUG]: FILE LOGGER ADDED { ID="1" LVL="TRACE" }

构造函数允许传递 string、char*、floats、int、short long 等，并将其转换为稍后显示在这些括号中的字符串。

目前构建这个 LogData 有点臃肿。生成上述日志的示例：

GG::LogData id_dat;
id_dat.push("ID", id);
id_dat.push("LVL",GG::loglevel_toString(lvl));
GG_DEBUG("FILE LOGGER ADDED", id_dat);

由于我的班级是单身人士，我使用宏来方便使用，它们都与：

#define GG_TRACE(MESS, ...) GG::Logging::get()->push_to_queue(GG::LOG_LEVEL::TRACE, MESS, ##__VA_ARGS__);

这适用于大多数用途。但我想让它可以在一条线上使用，并让它不那么臃肿。我想要达到的效果是这样的：

//Desired Usage
GG_TRACE("VARIADIC TEST", {"X","1"}, {"Y","2"}, {"Z","3"});

这里展开：

void Logging::push_to_queue(GG::LOG_LEVEL level, std::string mess, std::pair<const char*, std::string> log_data ...)

我会使用大括号初始化列表来生成日志数据，然后我会遍历可变参数并在函数中构造 LogData，而不必每次都手动进行。

我让它直接使用这样的函数。

void test(std::pair<char*,int> p) {
    GG::LogData dat;
    dat.push("key", p.first);
    dat.push("value", p.second);
    GG_TRACE("PAIR: ", dat);
}
// In main...
test({ "test",1 });

而且效果很好。但是，当我尝试使用相同的模式并将宏转发到 push_to_queue 函数时，我在 GCC 中收到以下错误。

有人曾经以这种方式使用过大括号括起来的初始化列表，或者知道如何修复这个错误吗？我对这种模式相当陌生。任何其他建议或改进这一点的指针表示赞赏。 （抱歉，帖子太长了）

Answer 1

注意声明

void Logging::push_to_queue(GG::LOG_LEVEL level, std::string mess,
    std::pair<const char*, std::string> log_data ...);

类型为std::pair<const char*, std::string> 的参数数量不可变。它实际上相当于添加了逗号的版本：

void Logging::push_to_queue(GG::LOG_LEVEL level, std::string mess,
    std::pair<const char*, std::string> log_data,
    ...);

它有一个std::pair<const char*, std::string> 类型的参数，是一个C 风格的可变参数函数，第三个之后的参数只能通过<cstdarg> 宏va_start、va_arg 和va_end 获得。这不可能是你想要的，因为这样的函数没有很好的方法知道有多少参数，而且花括号列表永远不可能是匹配 C 样式省略号的参数。

获得知道参数数量（和类型）的 C++ 风格的可变参数函数的唯一方法是作为带有可变参数模板参数的模板。但是作为参数的花括号列表意味着没有模板参数推导，所以让它很好用会很棘手。

但是我们可以使用std::initializer_list 来使这个语法工作，并在宏中添加更多{}：

#include <initializer_list>
#include <utility>
#include <string>

void GG::Logging::push_to_queue(GG::LOG_LEVEL level, std::string mess,
    std::initializer_list<std::pair<const char*, std::string>> log_data)
{
    GG::LogData dat;
    for (const auto &kv : log_data)
        dat.push(kv.first, kv.second);
    // Do the rest...
}

#define GG_TRACE(MESS, ...) (GG::Logging::get()->push_to_queue( \
     GG::LOG_LEVEL::TRACE, MESS, {__VA_ARGS__}))

因此扩展将有一个类似{{"X","1"}, {"Y","2"}, {"Z","3"}} 的参数，其中外部{} 用于std::initializer_list，内部{} 用于每个std::pair。