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();
}

根據(jù) C++ 標(biāo)準(zhǔn)，對(duì)模板代碼中的名字的查找，分為兩個(gè)階段進(jìn)行：

模板定義階段：剛被定義時(shí)，只有模板中獨(dú)立的名字（可以理解為和模板參數(shù)無關(guān)的名字）參加查找

模板實(shí)例化階段：實(shí)例化模板代碼時(shí)，非獨(dú)立的名字才參加查找。

如果沒有用模板，事情會(huì)簡(jiǎn)單很多。然而這里的 B 本身是模板，需要進(jìn)行二段式名字查找。

首先進(jìn)入 B 的模板定義階段，此時(shí) B 的基類 A<T> 依賴于模板參數(shù) T，所以是一個(gè)「非獨(dú)立」的名字。所以在這個(gè)階段，對(duì)于 B 來說 A<T> 這個(gè)名字是不存在的，于是 A<T>::f() 也不存在。但此時(shí)這段代碼仍舊是合法的，因?yàn)榇藭r(shí)編譯器可以認(rèn)為 f 是一個(gè)非成員函數(shù)。

當(dāng)稍晚些時(shí)候進(jìn)入 B 的模板實(shí)例化階段時(shí)，編譯器已經(jīng)堅(jiān)持認(rèn)為f 是非成員函數(shù)，縱使此時(shí)已經(jīng)可以查到 A<T>::f()，編譯器也不會(huì)去這么做。

「查非成員函數(shù)為什么要去基類里面查呢？」于是就找不到了。

那我們回過頭來看 this->f()：

模板定義階段：盡管沒法查到 A<T>::f()，但明晃晃的 this-> 告訴編譯器，f 是一個(gè)成員函數(shù)，不是在 B 類里，就是在 B 類的基類里，于是編譯器記住了

模板實(shí)例化階段：此時(shí)編譯器查找的對(duì)象是一個(gè)「成員函數(shù)」，首先在 B 中查，沒有找到；然后在其基類里查，于是成功找到 A<T>::f()，功德圓滿。

看完了這篇文章，相信你對(duì)“C++中模板二段名字查找的示例分析”有了一定的了解，如果想了解更多相關(guān)知識(shí)，歡迎關(guān)注億速云行業(yè)資訊頻道，感謝各位的閱讀！