Question

我有以下功能模板：

template <typename K, typename V>
void f(std::initializer_list<std::pair<const K, V>> il)
{
    //...
}

我按如下方式调用该函数：

f({std::pair<const int,int>(1,2), std::pair<const int,int>(3,4)});    //(a)

它工作正常。

但是，如果我尝试按如下方式调用它：

f({{1,2}, {3,4}});    //(b)

它无法推断出正确的类型，并且我得到了一个编译错误：

'no matching function for call to 'f(<brace-enclose initializer list>)
note candidate is:
note: template <class K, class V> void f(std::initializer_list<std::pair<const K, V>>)'

如果我按如下方式打电话：

f({std::pair<const int,int>(1,2), {3,4}});    //(c)

类型推导有效，但如果我尝试按如下方式调用它：

f({std::make_pair(1,2), {3,4}});   //(d)

我得到了与之前相同的编译错误。

我的问题是：

为什么模板类型推导在（c）中起作用而在（d）中起作用？

（编译器是gcc v4.6.3，标志为-std = c ++ 11）

我看过类似的，较旧的SO帖子，但他们似乎没有完全回答这个问题。

Answer 1

b）的问题是，编译器无法推断类型，因为类似

{1,2}

可能还需要initializer_list<int>， d）的问题是make_pair不会为第一个生成const int该对的一部分

函数模板推导和initlializer_list

1 个答案: