C++模板二段名字查找辦法。本站提示廣大學習愛好者:(C++模板二段名字查找辦法)文章只能為提供參考,不一定能成為您想要的結果。以下是C++模板二段名字查找辦法正文
如下所示:
#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++模板二段名字查找辦法全部內容了,希望大家多多支持~