当前位置：首页 > 资讯 > 技术文档

C++模板二段名字查找方法

时间：2022-06-05 14:41 编辑：来源：阅读：
扫一扫，手机访问

摘要：C++模板二段名字查找方法

[b]如下所示：[/b]

#include<iostream>
using namespace std;

void f(){
 cout<<"global f()"<<endl;
}

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

[b]根据 C++ 标准，对模板代码中的名字的查找，分为两个阶段进行：[/b] [b]模板定义阶段：[/b]刚被定义时，只有模板中独立的名字（可以理解为和模板参数无关的名字）参加查找 [b]模板实例化阶段：[/b]实例化模板代码时，非独立的名字才参加查找。如果没有用模板，事情会简单很多。然而这里的 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++模板二段名字查找方法全部内容了，希望大家多多支持编程素材网~

全部评论(0)

上一篇：C# interface与delegate效能比较的深入解析
下一篇：对C语言中sizeof细节的三点分析介绍

资讯排行榜
更多>>