对可变参数模板的调用不明确

Question

我有一个可变参数模板函数，除非我使用与T 相同类型的参数调用它。

template <typename T, typename... Arg>
std::shared_ptr<T> make_shared(Arg&&... arg)
{
    return std::shared_ptr<T>(new T(std::forward<Arg>(arg)...));
}

工作电话：

auto sahredStr = make_shared<std::string>("fubar"); 

模棱两可的称呼：

std::string str = "fubar";
auto sharedStr = make_shared<std::string>(str);  

我想了解第二次通话有什么问题。

LIVE DEMO

Answer 1

对于使用非限定名称调用函数，名称查找过程还考虑在其中声明参数类型（及其类型模板参数）的命名空间 - 也称为 Argument Dependent Lookup .对于std::string 类型的参数，这意味着make_shared 函数也在std 命名空间中被搜索。因此，可行的重载集还包括 std::make_shared 函数，因此存在歧义。

解决方案是更改函数名称以避免与std 的重载冲突，或者将函数名称用括号括起来：

auto sharedStr = (make_shared<std::string>)(str);
//              ~^~                      ~^~