如下所示:
#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++模板二段名字查找方法全部內容了,希望大家多多支持VEVB武林網~
新聞熱點
疑難解答