实参相依查找[条款25]----《C++必知必会》

　　名字空间对现代C++编程和设计有着深远的影响。其中有些影响直接而明显，例如using声明和using 指令以及采用名字空间作用域加以限定的名字。然而，名字空间还有一些在语法上不那么明显但任然很有基础、很重要的影响。实参相依的查找（Argument Dependent Lookup ADL）就是其中之一。如同许多C++特性一样，ADL在有些场合下可能会变得复杂，但在通常情况下，它的使用是相当直观的，并且解决的问题远比它所引入的要多。

　　ADL背后蕴含的思想非常简单。当查找一个函数调用表达式中的函数名字时，编译器也会到“包含函数调用实参的类型”的名字空间中检查。举个例子，考虑如下的代码：

#include<iostream>

namespace org_semantics{
    class X{};
    void f(const X &){}
    void g(X *){}
    X operator+(const X& a,const X& b){
     return a;//为了正常编译而添加
    }
    class String{};
    std::ostream operator<<(std::ostream &a,const String &b){
        return a;//为了正常编译而添加
    }
};
int g(org_semantics::X*a){
    return 0;//为了正常编译而添加
}
void afunc(){
    org_semantics::X a;
    f(a);//调用org_semantics::f  实参相依查找   //我用VC实现的效果是反的，此处报错，未定义
    g(&a);//错误！具有歧义性  //error C2668:'g'ambiguous call to overloaded function  //我用VC实现的效果是反的 ，此处编译通过
    a=a+a;//调用org_semantics::operator+
}
int main()
{

    return 0;
}

　　普通的查找时不会发现