c++ - g++中的模板函数匹配

Question

我遇到了一个奇怪的问题，我想知道为什么 g++ 4.1.2 会这样。

精简到最基本的:

#include <iostream>

template<typename T>
inline void f(T x) { std::cout << x*x; }

namespace foo {
  class A {
  public:
    void f() const { f(2); }
  };
}

f(2) 调用失败，因为编译器无法匹配模板函数f。我可以让它与 ::f(2) 一起工作，但我想知道为什么这是必要的，因为它是完全明确的，并且就我(公认的过时的)匹配知识而言规则是，这应该有效。

Answer 1

编译器从当前范围开始检查候选范围的所有范围。它在直接范围内找到一个名为 f 的函数，并在那里停止搜索。您的模板版本永远不会作为候选版本进行检查。

参见 Namespaces and the Interface Principle以获得完整的解释。