c++编译器名字查找之ADL(argumentdepentmentlookup)规则

#include 
using namespace std;
 
namespace Koenig
{
    class KoenigArg
    {
    public:
         ostream& print(ostream& out) const
         {
                 out<          }
 
         KoenigArg(int member &＃61; 5) : member_(member){}

    private:
         int member_;
    };
 

    inline ostream& operator<<(ostream& out, const KoenigArg& kArg)
    {
         return kArg.print(out);
    }
}
 
int main()
{
    Koenig::KoenigArg karg(10);
    cout<  
    char c;cin>>c;

    return 0;
}

我们通常都会写如上的代码&＃xff0c;使用operator<<打印对象的状态&＃xff0c;但是ostream& operator<<(ostream& out, const KoenigArg& kArg) 的定义是处于名字空间Koenig&＃xff0c;为什么编译器在解析main函数&＃xff08;全局域&＃xff09;里面的operator<<调用时&＃xff0c;它能够正确定位到Koenig名字空间里面的operator<<&＃xff1f;这是因为根据Koenig查找规则&＃xff0c;编译器需要把参数类型KoenigArg所在的名字空间Koenig也加入对operator<<调用的名字查找范围中。

如果没有Koenig查找规则&＃xff0c;我们就无法直接写cout<

template void print(const T& value)
{
    std::cout< }
 
print(karg);