您好,登錄后才能下訂單哦!
小編給大家分享一下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++中模板二段名字查找的示例分析”有了一定的了解,如果想了解更多相關知識,歡迎關注億速云行業資訊頻道,感謝各位的閱讀!
免責聲明:本站發布的內容(圖片、視頻和文字)以原創、轉載和分享為主,文章觀點不代表本網站立場,如果涉及侵權請聯系站長郵箱:is@yisu.com進行舉報,并提供相關證據,一經查實,將立刻刪除涉嫌侵權內容。