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