c++ - 函数重载 : builtin vs user defined types

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;”，编译器将生成错误“no function 'moo' for type 'int'”或类似的错误(MSVC 将编译，但这是另一回事)。如果我们将 int 重载替换为模板特化，一切都会恢复正常。如果将函数“void foo(int)”移到模板代码之上，那也可以。怎么回事？

Answer 1

What's going on?

Argument-dependent lookup (ADL) .当通过带有至少一个类类型参数的非限定名称调用函数时，除了函数名称的正常名称查找之外，还会执行 ADL。 ADL 在与类关联的命名空间(基本上是定义类的命名空间)中查找函数名称。

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