template programming 学习(3) Argument dependent lookup

Argument dependent lookup

 

Qualified name: 指的是由类名、变量名或者变量指针作为前缀的名字：

MyClass::f();

x.f();

p->f();

 

这些前缀指定了f()的名字空间。

 

在模板中，有另外一种没有前缀的名字，称为Argument dependent lookup。当名字没有前缀时，编译器会依据其参数的命名空间去寻找名字的命名空间。

 

#include <string>

#include <iostream>

 

int main()

{

std::string s("hello");

std::cout << s;

}

 

该程序本质上等于：

 

#include <string>

#include <iostream>

 

int main()

{

std::string s("hello");

operator<<(std::cout, s);

}

 

这里，operator<<没有指明命名空间的前缀，它是根据std::cout参数的命名空间std去寻找自己的命名空间。

 

如果给operator<<加上括号，则会抑制Argument dependent lookup，就不会根据std::cout寻找命名空间，即

(operator<<)(std::cout, s);

编译会失败。