函数重载:内置类型与用户定义类型

Question

template <class T>
void foo(T t) {
t.moo();
}
template <class T>
void f(T t) {
foo(t);
}
struct C {
};
void foo(C) {}
void foo(int) {}
int main() {
C c;
f(c);
return 0;
}

上面的代码编译没有错误。如果行"C c;"被替换为"int c;"，编译器将生成错误"类型'int'没有函数'moo'"或类似的东西(MSVC将编译，但那是另一回事(。如果我们将 int 重载替换为模板专用化，一切都会再次工作。如果函数"void foo(int("被移动到模板代码上方，那也可以。这是怎么回事？

Answer 1

> 这是怎么回事？

依赖于参数的查找 (ADL(。当通过至少具有一个类类型参数的非限定名调用函数时，除了对函数名称进行正常名称查找外，还会执行 ADL。ADL 在与类关联的命名空间(基本上是定义类的命名空间(中查找函数名称。

重要的属性是，对于函数模板，非限定名称查找仅考虑在模板定义中可见的名称，但 ADL 还考虑在模板实例化时可见的名称。由于非模板重载是在模板之后声明的，因此普通的非限定名称查找无法找到它们。但是，ADL 可以(并且正在(找到foo(C)，因为C是一种类类型。int不是，因此不会执行 ADL，也不会找到foo(int)。