c++ - 模板函数中的名称查找规则

Question

#include <iostream>
using namespace std;

template<typename T>
void adl(T)
{
  cout << "T";
}

struct S
{
};

template<typename T>
void call_adl(T t)
{
  adl(S());
  adl(t);
}

void adl(S)
{
  cout << "S";
}

int main ()
{
  call_adl(S());
}

为什么结果是“TS”？模板函数中的名称查找规则是什么？

http://ideone.com/sB3DnL

Answer 1

模板的编译分为两个阶段，即定义点和实例化点。第一阶段发生在编译器首次处理模板定义时，一些名称立即绑定(bind)到定义。有些名称在模板实例化之前是未绑定(bind)的，因为它们依赖于模板参数，因此在模板实例化并且模板参数已知之前无法查找。

在这个调用中:

adl(S());

没有任何依赖函数的模板参数，所以查找立即完成(在第一阶段)，它找到了唯一一个名为 adl 的函数。这在当时的范围内。

在这个调用中:

adl(t);

它依赖于 t 的类型所以当 t 的类型时，查找被延迟到实例化时众所周知。当您调用 call_adl(S()) adl 的第二次重载在范围内，所以当 adl(t)调用执行名称查找，范围内还有另一个函数，它更适合参数。