带有initialization_list的函数重载导致歧义

Question

我正在尝试使用initialization_list 重载函数作为具有变化的参数以接受映射和向量以及整数。编译器抱怨函数解析不明确。我想知道是什么导致了歧义以及如何解决它

#include <memory>
#include <iostream>
#include <map>
#include <initializer_list>

std::shared_ptr<int> foo(const std::initializer_list<std::pair<const std::string, std::shared_ptr<int> > >& il)
{
    return std::make_shared<int>();
}
std::shared_ptr<int> foo(const std::initializer_list<std::shared_ptr<int> > & il)
{
    return std::make_shared<int>();
}

std::shared_ptr<int> foo(int num)
{
    return std::make_shared<int>();
}

int main()
{
    foo({ { "a", foo(10) } });
}

Try It OUT >>>

注意

1. 我用 VS2013 和 g++ 都试过了，都出错了。
2. 根据@chris，上面的代码编译在clang
3. 标准是怎么说的？还是它实际上说明了什么？

Answer 1

产生歧义的原因

shared_ptr 有一个带有两个参数的构造函数：

template<class Y, class D> shared_ptr(Y* p, D d);

与初始化列表{ "a", foo(10) } 以及pair 匹配。 （或者，如果不是那么好，那么足够接近一些编译器会出错。确切的规则让我大吃一惊，所以我不会试图弄清楚哪个编译器在技术上是正确的。）

如何解决

假设您想要第一个重载，请提供 pair 类型，而不是更通用的初始化列表：

foo({ std::make_pair( "a", foo(10) ) });

标准是怎么说的？还是它实际上说明了什么？

它说了很多，通常用相当不透明的语言。我无法引用 [over.match] 的 20 页内容，也没有语言律师技能来总结它们在此处的应用，同时保持我的理智。