C++模板二段名字查找方法
如下所示:
#include<iostream> usingnamespacestd; voidf(){ cout<<"globalf()"<<endl; } template<typenameT> classA { public: voidf(){ cout<<"A::f()"<<endl; } }; template<typenameT> classB:publicA<T> { public: voidg() { f();//gloablf() this->f();//A::f() A<T>::f();//A::f() } }; intmain(){ B<int>b; b.g(); }
根据C++标准,对模板代码中的名字的查找,分为两个阶段进行:
模板定义阶段:刚被定义时,只有模板中独立的名字(可以理解为和模板参数无关的名字)参加查找
模板实例化阶段:实例化模板代码时,非独立的名字才参加查找。
如果没有用模板,事情会简单很多。然而这里的B本身是模板,需要进行二段式名字查找。
首先进入B的模板定义阶段,此时B的基类A<T>依赖于模板参数T,所以是一个「非独立」的名字。所以在这个阶段,对于B来说A<T>这个名字是不存在的,于是A<T>::f()也不存在。但此时这段代码仍旧是合法的,因为此时编译器可以认为f是一个非成员函数。
当稍晚些时候进入B的模板实例化阶段时,编译器已经坚持认为f是非成员函数,纵使此时已经可以查到A<T>::f(),编译器也不会去这么做。
「查非成员函数为什么要去基类里面查呢?」于是就找不到了。
那我们回过头来看this->f():
模板定义阶段:尽管没法查到A<T>::f(),但明晃晃的this->告诉编译器,f是一个成员函数,不是在B类里,就是在B类的基类里,于是编译器记住了
模板实例化阶段:此时编译器查找的对象是一个「成员函数」,首先在B中查,没有找到;然后在其基类里查,于是成功找到A<T>::f(),功德圆满。
以上就是小编为大家带来的C++模板二段名字查找方法全部内容了,希望大家多多支持毛票票~