咬文嚼字之：ADL 和 Koening

最新推荐文章于 2018-04-19 17:09:01 发布

audi2

最新推荐文章于 2018-04-19 17:09:01 发布

阅读量670

点赞数

CC 4.0 BY-SA版权

分类专栏：咬文嚼字文章标签：咬文嚼字

本文链接：https://blog.youkuaiyun.com/audi2/article/details/42806705

咬文嚼字专栏收录该内容

3 篇文章

订阅专栏

本文探讨了C++中ADL（Argument-Dependent Lookup）技术的应用，通过对比不同版本的代码示例，解释了为何引入该技术及其如何简化成员函数调用的语法。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

#include <iostream> 
/*
//版本1：
namespace N{

class B{};

void f(B&  b){ std::cout << "void N::f(B&)" << std::endl;}

};

N::B b;

void main(){
    f(b);
}
*/

/*
//版本2： 
namespace N{

class B{};

void f(int a){ std::cout << "N::f(int a)" << std::endl;}

};

N::B b;

void main(){
    f(10);
}
*/

//编译出错。找不到f这个标识符。善于动脑子的人问题就来了：为什么版本1就没有这个问题呢？
//因为版本1使用Koening查找技术。利用f(b)的实际参数b所在的名字空间，得知需要查找N名字空间的f。
//此技术的大名是：ADL(argument-depentment lookup)
//问题又来了：为什么Koening要发明这个东西呢？我写N::f(10)或者using N::f;也能解决问题呀！

//版本3：
namespace N{

class B{};

B operator+(B& l, B& r){  return B() ; } 

};

void main(){
    
    using N::B;
    
    B b1,b2;

    //假设没有ADL技术，世界时这样的
    //B b = N::operator+(b1,b2);

    //或者
    //using N::operator+;

    //而现实是更便利的语法
    B b = b1 + b2 ;

}


//总结：要像成员函数调用语法一样便捷，发明了ADL技术。
//      b.f(); //无需指出f处于哪个名字空间，即 b.B::f()这样的怪物。
//      f(b);  //普通函数也能做到这一点。