函数模板推导和initlializer_list

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}

也可能被视为 an ， d)initializer_list<int>的问题是make_pair不会为该对的第一部分生成 aconst int