C++中模板二段名字查找的示例分析

小编给大家分享一下C++中模板二段名字查找的示例分析,希望大家阅读完这篇文章之后都有所收获,下面让我们一起去探讨吧!

成都创新互联公司专注于中大型企业的网站建设、网站设计和网站改版、网站营销服务,追求商业策划与数据分析、创意艺术与技术开发的融合,累计客户成百上千,服务满意度达97%。帮助广大客户顺利对接上互联网浪潮,准确优选出符合自己需要的互联网运用,我们将一直专注成都品牌网站建设和互联网程序开发,在前进的路上,与客户一起成长!

如下所示:

#include
using namespace std;

void f(){
	cout<<"global f()"<
class A
{
   public:  
	 void f() {  
	 	cout << "A::f()" << endl;  
	 }
};
template
class B:public A
{
  public:  
	void g()
   { 
      f();//gloabl f()
      this->f();//A::f()
		  A::f();//A::f()
   } 
};
int main(){
	B b;
	b.g();
}

根据 C++ 标准,对模板代码中的名字的查找,分为两个阶段进行:

模板定义阶段:刚被定义时,只有模板中独立的名字(可以理解为和模板参数无关的名字)参加查找

模板实例化阶段:实例化模板代码时,非独立的名字才参加查找。

如果没有用模板,事情会简单很多。然而这里的 B 本身是模板,需要进行二段式名字查找。

首先进入 B 的模板定义阶段,此时 B 的基类 A 依赖于模板参数 T,所以是一个「非独立」的名字。所以在这个阶段,对于 B 来说 A 这个名字是不存在的,于是 A::f() 也不存在。但此时这段代码仍旧是合法的,因为此时编译器可以认为 f 是一个非成员函数。

当稍晚些时候进入 B 的模板实例化阶段时,编译器已经坚持认为f 是非成员函数,纵使此时已经可以查到 A::f(),编译器也不会去这么做。

「查非成员函数为什么要去基类里面查呢?」于是就找不到了。

那我们回过头来看 this->f():

模板定义阶段:尽管没法查到 A::f(),但明晃晃的 this-> 告诉编译器,f 是一个成员函数,不是在 B 类里,就是在 B 类的基类里,于是编译器记住了

模板实例化阶段:此时编译器查找的对象是一个「成员函数」,首先在 B 中查,没有找到;然后在其基类里查,于是成功找到 A::f(),功德圆满。

看完了这篇文章,相信你对“C++中模板二段名字查找的示例分析”有了一定的了解,如果想了解更多相关知识,欢迎关注创新互联行业资讯频道,感谢各位的阅读!


分享名称:C++中模板二段名字查找的示例分析
本文链接:http://scyanting.com/article/igsjhs.html