模板化初始化列表 - 为什么查找失败

Question

考虑到

#include <utility>
template <typename T1, typename T2, typename T3>
void foo(std::initializer_list<std::pair<T1, T2>> _a, std::initializer_list<T3> _b) {
    /* ... */
}

int main() {
        foo({{1,2},{3,4}},{1,2,3,4,5});
}

为什么 gcc 4.6 会产生错误

error: nomatching function for call to 'foo(, )'

注意：候选者为

注：template void foo(std::initializer_list >, std::initializer_list)

更新 现在，当

template <typename T1, typename T2>
std::pair<T1, T2> p(const T1& _1, const T2& _2) {
    return std::make_pair(_1, _2);
}

添加 并将 {{1,2},{3,4}} 替换为 {p(1,2), p(3,4)} 时可以使用>。

Answer 1

您想要做的基本上是链式转换/调用，这在C++中是不允许的。

首先，您需要将其转换

{{1,2},{3,4}}

为 this（同时推导 type 参数），

{std::pair<int,int>{1,2},std::pair<int,int>{3,4}}

然后将其转换为 std::initializer_list。这是不允许的。

您必须自己进行一次转换：

foo( {std::pair<int,int>{1,2},std::pair<int,int>{3,4}}, {1,2,3,4,5});

然后它将编译： http://ideone.com/bRJqV