ADL关联名字查找

ADL关联名字查找

如果给定一个函数名，那么c++编译器如何去查找这个函数呢？
1.普通的名字查找 
   对变量的调用，一般是按scope的大小来的

#include < iostream >
#include < string >
using   namespace  std;

namespace  NS
{
        string x="namespace NS";
}

string  x = " global scope " ;

class  A
{
        string x;
public:
        A():x("class scope"){};

        void f(){
                string x="local scope";
                cout<<x<<endl;
        }
        void g(){
                cout<<x<<endl;
 }
} ;

class  B
{
        public:
                void f()
                {
                        cout<<x<<endl;
                }
                void g()
                {
                        cout<<NS::x<<endl;
                }
} ;

int  main()
{
        A a;
        B b;
        a.f();a.g();
        b.f();b.g();
}

 

• 首先调用local scope的
• 接着调用class scope的
• 最后才调用global scope的
• 如果直接有用限定符，则调用限定符的，无论是namespace 限定符还是class限定符

函数名字的查找，除了local scope的，基本同上，有一点例外的是，则在下面ADL中说明

2.关联名字查找 (Argument Dependent Lookup)
在说明前要明确2个概念

• 关联(dependent name)：不能解析的名字就叫关联名，这个一般同模版有关，比如template<class T> A{T t;}; 中，t就是关联名，它在模版编译的第一阶段是无法解析的，只有到第二阶段，用实际参数来实例化的时候才知道 
• 限定名(qualified name): 指变量名或函数名前有类名前缀，或者被对象，指针修饰： Class::f() //类名前缀  x.f() //对象修饰 p->f() //指针修饰

而ADL要解决的问题是对非限定名的查找问题（限定名可以根据相应的限定来查找）： 当出现了对某个非限定函数的调用，而该非限定函数却没有在一个（标准）作用域内进行声明时（简单的讲，该函数只声明在某个namespace，而你又没有引入这个namespace)，编译器就会寻找它的每一个参数的名字空间来进行匹配。ADL是为了简化函数调用，不过事实上它有点破坏了namespace的封装。
比如以下函数调用
   std::string s("hello");
   std::cout<<s<<std::endl;
程序中没有指定使用哪一个operator<<函数，程序员当然不想输入
  std::operator<<(std::operator(std::cout,s),std::endl);
这时，ADL根据s查找s的namespace,并查找相应的operator<<