接受大括号构造对象的可变参数模板列表的函数

Question

模板元编程专家您好。

我正在尝试编写一个（类成员）函数，理想情况下可以将其作为参数，称为类型不可知映射。

最好是这样的：

foo({"Bar", 42}, {"Baz", "Blargh");

还有：

foo({"Blargh", "Bleh"}, {"Biz", 43.6}, {"Bam", {43, 43, 43}});

然后类/函数应该能够通过调用在编译时推导出来的转换函数来转换这些参数，因此它在内部会以字符串作为键和值的 std::map 结束。

原因只是语法糖。在我的用例中，如果提供了不支持的类型，调用者不必担心转换参数并获得编译时错误，这将非常方便。

如果调用者明确使用 make_pair，我已经让它工作了：

foo(std::make_pair<std::string, std::chrono::miliseconds>("Time", 42));

但这自然不是很干净，而且绝对不会比让调用者自己将值类型转换为 std::string 更方便。

我已经尝试创建自己的 std::pair 类，具有针对各种值类型的特化，但如果我使用大括号初始化程序调用，我的编译器 (gcc) 无法找到它，就像使用标准 std 的情况一样：：地图。即使参数具有不同的类型，我的编译器似乎也将其视为 std::initializer_list。

我或多或少得出的结论是，即使在 C++ 14 标准中，我正在尝试使用 C++ 也是不可能的，但我不确定。

有没有人对如何解决这个问题有任何想法，或者能够解释为什么如果是这样的话，为什么这是不可能的？

非常感谢！

编辑

示例代码：

template<typename Value, typename... Args>
void foo(const std::pair<std::string, Value>& val, Args... args)
{
  foo(args...);
}

void foo(const std::pair<std::string, int>& val) {}

void foo(){}

像这样调用 foo()：

foo({"key", 42});

不扩展模板并且有效，同时：

foo({"key", 42}, {"another", 53})

编译失败，报错：

no matching function for call to ‘foo(<brace-enclosed initializer list>, <brace-enclosed initializer list>)’

Answer 1

我猜是下面的代码：

template <typename... Ts>
void foo(Ts... ts) {}

foo({1,2}, {3,4});

由于与以下完全相同的原因而无法编译：

template <typename T>
void foo(T t) {}

foo({1,2});

即大括号括起来的列表根本没有类型，因此无法推导出来。

但是，知道 大括号封闭的初始化列表 可用于通过 非显式 构造函数初始化具体类型，并且编译器能够推断出 @987654325 @ 类型为 std::initializer_list<T>，以下代码使用 老式 可变参数列表按预期工作：

#include <initializer_list>

struct AgnosticMap
{
    AgnosticMap(std::nullptr_t) {}

    template <typename T, typename U>
    AgnosticMap(T t, U u) {}

    template <typename T, typename U>
    AgnosticMap(T t, std::initializer_list<U> il) {}
};

void foo(AgnosticMap a1
       , AgnosticMap a2 = nullptr
       , AgnosticMap a3 = nullptr
       , AgnosticMap a4 = nullptr)
{
}

int main()
{
    foo({"Blargh", "Bleh"}, {"Biz", 43.6}, {"Bam", {43, 43, 43}});
}

DEMO

Answer 2

我能想到的一个解决方案是使用可变参数模板：

template<typename T, typename U, typename... Rest>
auto foo(T t, U u, Rest... rest){
    //deal with t and u,
    //and call foo(rest...) recursievely
}