服务器之家

服务器之家 > 正文

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

时间:2021-04-26 15:36     来源/作者:C++教程网

如下所示:

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
#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();
}

根据 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++模板二段名字查找方法全部内容了,希望大家多多支持服务器之家~

相关文章

热门资讯

2020微信伤感网名听哭了 让对方看到心疼的伤感网名大全
2020微信伤感网名听哭了 让对方看到心疼的伤感网名大全 2019-12-26
yue是什么意思 网络流行语yue了是什么梗
yue是什么意思 网络流行语yue了是什么梗 2020-10-11
背刺什么意思 网络词语背刺是什么梗
背刺什么意思 网络词语背刺是什么梗 2020-05-22
苹果12mini价格表官网报价 iPhone12mini全版本价格汇总
苹果12mini价格表官网报价 iPhone12mini全版本价格汇总 2020-11-13
Intellij idea2020永久破解,亲测可用!!!
Intellij idea2020永久破解,亲测可用!!! 2020-07-29
返回顶部