实参相依查找[条款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;
}

　　普通的查找时不会发现

原文链接: https://www.cnblogs.com/azbane/p/8535327.html

欢迎关注

微信关注下方公众号，第一时间获取干货硬货；公众号内回复【pdf】免费获取数百本计算机经典书籍;

也有高质量的技术群，里面有嵌入式、搜广推等BAT大佬

原创文章受到原创版权保护。转载请注明出处：https://www.ccppcoding.com/archives/399029

非原创文章文中已经注明原地址，如有侵权，联系删除

关注公众号【高性能架构探索】，第一时间获取最新文章

转载文章受原作者版权保护。转载请注明原作者出处！

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

相关推荐