程序師世界是廣大編程愛好者互助、分享、學習的平台,程序師世界有你更精彩!
首頁
編程語言
C語言|JAVA編程
Python編程
網頁編程
ASP編程|PHP編程
JSP編程
數據庫知識
MYSQL數據庫|SqlServer數據庫
Oracle數據庫|DB2數據庫
 程式師世界 >> 編程語言 >> C語言 >> C++ >> 關於C++ >> C++模板二段名字查找辦法

C++模板二段名字查找辦法

編輯:關於C++

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++模板二段名字查找辦法全部內容了,希望大家多多支持~

  1. 上一頁:
  2. 下一頁:
Copyright © 程式師世界 All Rights Reserved