依赖于参数的查找和函数模板

Question

这是一个例子：

#include <string>
#include <algorithm>
#include <memory>

using std::string;

int main()
{
    string str = "This is a string";

    // ok: needn't using declaration, ADL works
    auto it = find(str.begin(), str.end(), 'i');

    // error: why ADL doesn't work?
    std::shared_ptr<string> sp = make_shared<string>(str);
}

当我试图编译这个程序时，编译器报错：

error: no template named 'make_shared'; did you mean 'std::make_shared'?
        std::shared_ptr<string> sp = make_shared<string>(str); // error...
                                     ^~~~~~~~~~~
                                     std::make_shared

我猜第一个函数find 不需要using 声明，因为依赖于参数的查找（ADL）：编译器将搜索string 所在的命名空间（即std） find 的定义。但是对于第二个函数make_shared，似乎ADL 不起作用：我必须改用std::make_shared 或using 声明。我知道两个函数模板的定义是不同的：前者将其模板参数之一（typename T 或类似的东西）作为函数参数类型并返回相同的类型。后者将函数参数包作为函数参数，其返回类型是另一个模板参数。这是禁用ADL 的区别吗？或者您能帮忙回答问题并提供一些参考资料吗？

Answer 1

依赖于参数的查找适用于不合格的函数调用表达式。这对于“普通”函数和函数模板特化都是如此。

但是，当您为模板函数提供显式模板参数时，表达式在语法上看起来不像函数调用：

foo<3>(x)  //   "foo less than three?"

这就是为什么这些情况不会触发 ADL。但是，一旦名称​​已知是模板，ADL 就适用！

template <int> void foo();

foo<double, 5, T>(x);   // uses ADL

Answer 2

当我们用<> 显式指定模板参数时，模板方法不使用ADL，除非范围内有可见的模板方法（同名）。