posts - 134,comments - 22,trackbacks - 0

如果给定一个函数名,那么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<<

posted on 2009-12-13 12:45 何克勤 阅读(193) 评论(0)  编辑  收藏 所属分类: C/C++

只有注册用户登录后才能发表评论。


网站导航: