C++规范的哪一部分限制了参数相关查找不能在相关命名空间中找到函数模板？换句话说，为什么下面main中的最后一个调用无法编译？
namespace ns {
struct foo {};
template<int i> void frob(foo const&) {}
void non_template(foo const&) {}
}
int main() {
ns::foo f;
non_template(f); // This is fine.
frob<0>(f); // This is not.
}
这部分内容的解释如下：
C++标准03 14.8.1.6:
[注意：对于简单的函数名，即使该函数名在调用的范围内不可见，参数相关的查找（3.4.2）也适用。这是因为调用仍具有函数调用的语法形式（3.4.1）。但是当使用具有显式模板参数的函数模板时，除非在调用点上有一个名称为该名称的函数模板可见，否则调用没有正确的语法形式。如果没有这样的名称可见，则调用在语法上不是良好形式，参数相关查找不适用。如果某些名称可见，则应用参数相关查找并且其他命名空间中可能会找到其他函数模板。
namespace A {
struct B { };
template<int X> void f(B);
}
namespace C {
template<class T> void f(T t);
}
void g(A::B b) {
f<3>(b); //ill-formed: not a function call
A::f<3>(b); //well-formed
C::f<3>(b); //ill-formed; argument dependent lookup
// applies only to unqualified names
using C::f;
f<3>(b); //well-formed because C::f is visible; then
// A::f is found by argument dependent lookup
}
<3>是否为模板参数列表之前，无法确定f<3>(b)是否为函数调用参数。反过来，我们在找到f()作为模板之前无法确定<3>是否为模板参数列表。由于这个鸡生蛋的问题无法解决，表达式被解析为(f<3)>(b)，这毫无意义。”请注意，这与成员函数模板的“模板”消歧语法类似。 - TemplateRextemplate f<3>(b) 可能会是更好的语法？ - balki( expressions... )（注意括号前缺少运算符）始终是一个函数调用，编译器一旦看到开放的括号就知道了。问题在于<既可以作为运算符，也可以作为模板参数列表的开始，编译器必须进行大量额外的解析才能弄清楚哪个是哪个（可能有一些代码排列方式无法明确地完成这个任务）。似乎标准作者选择将其视为非法，可能是为了节省编译器开发人员的时间。 - Miral目前只有GCC 9实现了这个特性，所以你的示例可以编译。不再需要用户使用template关键字，而是对查找规则进行修订，这样一个名字如果普通查找产生没有结果或者找到一个或多个函数并且后面跟着一个"<"，将被视为寻找到一个函数模板名称，并导致ADL的执行。
演示实例。#include <string>
#include <utility>
namespace C {
struct B { };
template<class T> void f(T t){}
}
void g(C::B b) {
f(b); // OK
//f<C::B>(b); // ill-formed: not a function call, but only
// because explicit template argument were used
std::string s;
move(s); // OK
//move<std::string&>(s); // Error, again because
// explicit template argument were used
std::move<std::string&>(s); // Ok
}
int main()
{
C::B b;
g(b);
}
编辑：不，这不对。请参见@Kornel的答案。
我不是完全确定，但经过查阅 Stroustrup 的《C++ 程序设计语言》附录 C 第 13.8.4 节后，我认为这可能是原因。
由于 frob 是一个模板，你可以在调用它之后的某个时刻将其专门化为 i=0。这意味着实现留下了两种选择 frob 的可能方式，因为它似乎可以在实例化点或处理翻译单元结束时选择调用哪个 frob。
所以，我认为问题出在你可以这样做：
namespace ns {
struct foo {};
template<int i> void frob(foo const&) {}
}
int main() {
ns::foo f;
frob<0>(f);
return 0;
}
namespace ns {
template<> void frob< 0 >(foo const&) { /* Do something different*/ }
}
template<typename T> void bar(T) {}，ADL 很好地工作，bar(f)成功。 - sbi