C++ 中函数查找与模板的混淆

从以下内容开始（使用gcc version 4.0.1):

namespace name {
   template <typename T>
   void foo(const T& t) {
      bar(t);
   }

   template <typename T>
   void bar(const T& t) {
      baz(t);
   }

   void baz(int) {
      std::cout << "baz(int)\n";
   }
}

如果我添加（在global命名空间）

struct test {};
void bar(const test&) {
   std::cout << "bar(const test&)\n";
}

然后，正如我所料，

name::foo(test()); // produces "bar(const test&)"

但如果我只是添加

void bar(const double&) {
   std::cout << "bar(const double&)\n";
}

它似乎找不到这个重载：

name::foo(5.0) // produces "baz(int)"

更重要的是，

typedef std::vector<int> Vec;
void bar(const Vec&) {
   std::cout << "bar(const Vec&)\n";
}

也没有出现，所以

name::foo(Vec());

给出编译器错误

error: cannot convert ‘const std::vector<int, std::allocator<int> >’ to ‘int’ for argument ‘1’ to ‘void name::baz(int)’

这是查找应该如何工作的吗？ （注意：如果我删除命名空间name，然后一切都按我的预期进行。）

我如何修改这个示例，以便任何重载bar被认为？ （我认为应该考虑重载before模板？）

我假设你添加了double版本也到全局名称空间，并且您调用foo定义完所有内容后从 main 开始。所以这基本上是两个阶段的名称查找。查找因调用中的参数依赖（取决于其类型）而依赖的非限定函数名是分两个阶段完成的。

第一阶段在定义上下文中进行不合格且依赖于参数的查找。然后它冻结结果，并使用实例化上下文（实例化点的声明之和）进行第二个参数相关查找only. No不再进行不合格的查找。所以对于你的例子来说这意味着：

• 电话bar(t) within foo<test>仰望;查询bar在实例化上下文中使用依赖于参数的查找（它没有使用非限定查找找到它，因为foo被宣布above栏模板）。取决于你是否定义了全局bar之前或之后foo模板，它会找到全局bar声明使用参数依赖查找已经在第一阶段（它是在test的命名空间）。然后 main 中的调用将实例化foo<test>并且有可能发现bar在此阶段（如果您在声明模板之后声明它）。

• 电话bar(t) within foo<int>不进行参数相关的查找（或者更确切地说，查找的结果是一个空的声明集），因为int是一个基本类型。因此，对定义上下文的不合格查找也将找不到任何内容，因为匹配bar模板已声明after the foo模板。该调用的格式不正确，该标准在以下位置描述了这种情况14.6.4.2/1

  如果调用格式不正确[...]，则程序具有未定义的行为。

  因此，我认为您应该将其视为“我做了一件肮脏的事情，而编译器选择不打我”的情况：)

• 电话bar(t) within foo<Vec>将再次进行查找，并在中查找 barstd::（因为那就是那里std::vector被定义为）。它没有找到一个bar在那里，不在定义上下文中。因此它决定再次采用未定义的行为，并使用bar模板，它本身又通过使用来执行未定义的行为baz在它之后声明，并且 ADL 和定义上下文中的非限定查找都无法找到它。

  如果向量是vector<test>，然后查找bar也将在全局范围内完成，因为依赖于参数的查找不仅会直接使用参数类型，还会直接使用其中的模板参数的类型（如果有）。

如果您使用 GCC，那么不要完全依赖它的行为。在下面的代码中，它声称调用是不明确的，尽管代码完全没问题 -f in afake不应成为候选人。

namespace aname {
  struct A { };
  void f(A) { }
}

namespace afake {
  template<typename T>
  void g(T t) { f(t); }
  void f(aname::A) { }
}

int main() { aname::A a; afake::g(a); }

如果您想测试您的代码片段是否符合一致性，最好使用comeau在线编译器与严格的设置。