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(); }
根據(jù) C++ 標(biāo)準,對模板代碼中的名字的查找,分為兩個階段進行:
模板定義階段:剛被定義時,只有模板中獨立的名字(可以理解為和模板參數(shù)無關(guān)的名字)參加查找
模板實例化階段:實例化模板代碼時,非獨立的名字才參加查找。
如果沒有用模板,事情會簡單很多。然而這里的 B 本身是模板,需要進行二段式名字查找。
首先進入 B 的模板定義階段,此時 B 的基類 A<T> 依賴于模板參數(shù) T,所以是一個「非獨立」的名字。所以在這個階段,對于 B 來說 A<T> 這個名字是不存在的,于是 A<T>::f() 也不存在。但此時這段代碼仍舊是合法的,因為此時編譯器可以認為 f 是一個非成員函數(shù)。
當(dāng)稍晚些時候進入 B 的模板實例化階段時,編譯器已經(jīng)堅持認為f 是非成員函數(shù),縱使此時已經(jīng)可以查到 A<T>::f(),編譯器也不會去這么做。
「查非成員函數(shù)為什么要去基類里面查呢?」于是就找不到了。
那我們回過頭來看 this->f():
模板定義階段:盡管沒法查到 A<T>::f(),但明晃晃的 this-> 告訴編譯器,f 是一個成員函數(shù),不是在 B 類里,就是在 B 類的基類里,于是編譯器記住了
模板實例化階段:此時編譯器查找的對象是一個「成員函數(shù)」,首先在 B 中查,沒有找到;然后在其基類里查,于是成功找到 A<T>::f(),功德圓滿。
以上就是小編為大家?guī)淼腃++模板二段名字查找方法全部內(nèi)容了,希望大家多多支持腳本之家~
相關(guān)文章
基于OpenCV自定義色條實現(xiàn)灰度圖上色功能代碼
今天通過本文給大家分享基于OpenCV自定義色條實現(xiàn)灰度圖上色功能代碼,代碼簡單易懂,對大家的學(xué)習(xí)或工作具有一定的參考借鑒價值,需要的朋友參考下吧2021-11-11C語言實現(xiàn)線索二叉樹的前中后創(chuàng)建和遍歷詳解
這篇文章主要為大家詳細介紹了C語言實現(xiàn)線索二叉樹的前中后創(chuàng)建和遍歷,文中示例代碼介紹的非常詳細,具有一定的參考價值,感興趣的小伙伴們可以參考一下,希望能夠給你帶來幫助2022-02-02