從C看C＋＋之(六)多型

阿新 • • 發佈：2019-02-14

　類似LINUX核心驅動子系統,如下面的示意程式碼:

if(fb->open)
    fb->open();

當我們從更底層對fb->open()進行封裝了的時候,對應的系統呼叫不再是系統預設的,而是呼叫到我們更底層的fb->open.

　這個C++裡面的多型思維有點相仿.如果基類和其派生類都定義了相同(部分相同)的一個方法的話,我們可以選擇呼叫基類或其派生類的一個方法.

C++的多型主要分兩個方面:編譯時和執行時,兩者分別對應著過載和覆蓋.

過載:

  載函式必須具有不同的引數個數,或不同的引數型別.僅返回值不同時,不能定義為過載函式.

下面給出一個示例.

原始碼:

#include <iostream>

class simpleClass
{
	public:
		void func(char);
		void func(int);
		void func(int,int);
};

void simpleClass::func(char a)
{

	std::cout << "funcChar" << std::endl;

}

void simpleClass::func(int i)
{

	std::cout << "funcInt" << std::endl;

}

void simpleClass::func(int i,int j)
{

	std::cout << "funcIntInt" << std::endl;

}

int main(void)
{
	char ch = 7;
	int i = 77;
	int j = 777;

	simpleClass *cls1 = NULL;

	cls1 = new simpleClass;

	cls1->func(ch);
	cls1->func(i);
	cls1->func(i,j);

	delete cls1;
	cls1 = NULL;
	
	return 0;
}

編譯執行:

[email protected]:~/learn/Cpp_Program# g++ reload.cpp -o reload
[email protected]:~/learn/Cpp_Program# ./reload 
funcChar
funcInt
funcIntInt

可見,函式的過載必須是實參的型別或數量不同.

覆蓋:

  覆蓋是指派生類的某函式和基類完全一致,注意這裡是完全一致,而不是像上面的過載一樣要有所區別.過載是編譯時確定下來的,而覆蓋則是在執行時選擇的.此時,該方法需要
加關鍵字"virtual"修飾.至於選擇呼叫是基類的函式還是其派生類的函式的話,由實際的例項物件決定.

　為了加深印象,下面給出非多型的一個示例:

原始碼:

#include <iostream>

using namespace std;

class baseClass
{
private:
	unsigned int age;
	bool sex;
public:
	baseClass(unsigned int a,bool s)
	{
		age = a;
		sex = s;
	}

	~baseClass()
	{
		std::cout << "~Base Class"<< std::endl;
	}

	unsigned int baseGetAge(void);
	bool baseGetSex(void);

	void display(void);	
};

unsigned int baseClass::baseGetAge(void)
{
	return age;
}

bool baseClass::baseGetSex(void)
{
	return sex;
}

void baseClass::display(void)
{
	std::cout << "base Class Display" << std::endl;
}

class deriveClass:public baseClass
{
private:
	unsigned int score,number;
public:
	deriveClass(unsigned int a,bool se,unsigned int sc,unsigned int nu):baseClass(a,se)
	{
		score = sc;
		number = nu;
	}

	~deriveClass()
	{
		std::cout << "~derive Class" << std::endl;
	}

	unsigned int deriveGetAge(void);
	bool deriveGetSex(void);
	unsigned int deriveGetScore(void);
	unsigned int deriveGetNumber(void);

	void display(void);	
};

unsigned int deriveClass::deriveGetAge(void)
{
	return baseGetAge();
}

bool deriveClass::deriveGetSex(void)
{
	return baseGetSex();
}

unsigned int deriveClass::deriveGetScore(void)
{
	return score;
}

unsigned int deriveClass::deriveGetNumber(void)
{
	return number;
}

void deriveClass::display(void)
{
	std::cout << "derive Class Display" << std::endl;
}


int main(void)
{
	deriveClass *clsDerive = NULL;
	baseClass *clsBase = NULL;

	clsDerive = new deriveClass(18,0,100,26);	
	clsBase = clsDerive;

	std::cout << "Age = " << clsDerive->deriveGetAge()<< std::endl;
	std::cout << "Sex = " << clsDerive->deriveGetSex()<< std::endl;
	std::cout << "Score = " << clsDerive->deriveGetScore()<< std::endl;
	std::cout << "Number = " << clsDerive->deriveGetNumber()<< std::endl;

	clsBase->display();
	clsDerive->display();

	delete clsDerive;
	clsDerive = NULL;

	return 0;
}

編譯執行:

[email protected]:~/learn/Cpp_Program# g++ class.cpp -o class
[email protected]:~/learn/Cpp_Program# ./class
Age = 18
Sex = 0
Score = 100
Number = 26
base Class Display
derive Class Display
~derive Class
~Base Class

檢視原始碼,基類及其派生類都有完全一樣的函式display().當用基類指標時(見clsBase->display()),呼叫的是基類的的display();當用派生類指標時(見clsDerive->display()),呼叫的是派生類的display().這很符合常規的邏輯,什麼樣的物件,操作該物件的行為.下面在上述的程式碼裡面只多增加了關鍵字"virtual".如下:

#include <iostream>

using namespace std;

class baseClass
{
private:
	unsigned int age;
	bool sex;
public:
	baseClass(unsigned int a,bool s)
	{
		age = a;
		sex = s;
	}

	~baseClass()
	{
		std::cout << "~Base Class"<< std::endl;
	}

	unsigned int baseGetAge(void);
	bool baseGetSex(void);

	virtual void display(void);	
};

unsigned int baseClass::baseGetAge(void)
{
	return age;
}

bool baseClass::baseGetSex(void)
{
	return sex;
}

void baseClass::display(void)
{
	std::cout << "base Class Display" << std::endl;
}

class deriveClass:public baseClass
{
private:
	unsigned int score,number;
public:
	deriveClass(unsigned int a,bool se,unsigned int sc,unsigned int nu):baseClass(a,se)
	{
		score = sc;
		number = nu;
	}

	~deriveClass()
	{
		std::cout << "~derive Class" << std::endl;
	}

	unsigned int deriveGetAge(void);
	bool deriveGetSex(void);
	unsigned int deriveGetScore(void);
	unsigned int deriveGetNumber(void);

	virtual void display(void);	
};

unsigned int deriveClass::deriveGetAge(void)
{
	return baseGetAge();
}

bool deriveClass::deriveGetSex(void)
{
	return baseGetSex();
}

unsigned int deriveClass::deriveGetScore(void)
{
	return score;
}

unsigned int deriveClass::deriveGetNumber(void)
{
	return number;
}

void deriveClass::display(void)
{
	std::cout << "derive Class Display" << std::endl;
}


int main(void)
{
	deriveClass *clsDerive = NULL;
	baseClass *clsBase = NULL;

	clsDerive = new deriveClass(18,0,100,26);	
	clsBase = clsDerive;

	std::cout << "Age = " << clsDerive->deriveGetAge()<< std::endl;
	std::cout << "Sex = " << clsDerive->deriveGetSex()<< std::endl;
	std::cout << "Score = " << clsDerive->deriveGetScore()<< std::endl;
	std::cout << "Number = " << clsDerive->deriveGetNumber()<< std::endl;

	clsBase->display();
	clsDerive->display();

	delete clsDerive;
	clsDerive = NULL;

	return 0;
}

編譯執行:

[email protected]:~/learn/Cpp_Program# g++ class.cpp -o class
[email protected]:~/learn/Cpp_Program# ./class
Age = 18
Sex = 0
Score = 100
Number = 26
derive Class Display
derive Class Display
~derive Class
~Base Class

這次兩次呼叫的都是派生類的display()函式.派生類的關鍵字virtual可以是忽略的不用標識的,但是為了程式的可讀性,最好要加上.

　至此,我們要呼叫派生類的方法有兩種,派生類物件的靜態引用和通過基類指標通過覆蓋(虛擬函式)的方式引用.為了程式的可讀性,個人建議選擇靜態引用.如下:

原始碼:

#include <iostream>

using namespace std;

class  A
{
protected:	
	int x;
public:	
	A()
	{
		x =1000;
	}   

	virtual void  print()
	{	
		std::cout << "x = " << x << std::endl;
	}//虛擬函式
};

class B:public A
{	
private:
	int y;

public:	B() 
	{ 
		y=2000;
	}

	virtual void  print()
	{
		std::cout << "y = " << y << std::endl;
	}//派生虛擬函式
};	

class C:public A
{
private:
	int z;

public:	
	C()
	{
		z=3000;
	}
	
	virtual void  print()
	{
		std::cout << "z = " << z << std::endl;
	}//派生虛擬函式
};

int main(void)
{  
	A  a, *pa;
	B  b;	C  c;
     	a.print();    
	b.print();	
	c.print();  //靜態呼叫

    	pa=&a;    
	pa->print();//呼叫類A的虛擬函式

    	pa=&b;    
	pa->print();//呼叫類B的虛擬函式

	pa=&c;     
	pa->print();//呼叫類C的虛擬函式

	return 0;
}

編譯執行:

[email protected]:~/learn/Cpp_Program# g++ reference.cpp -o reference
[email protected]:~/learn/Cpp_Program# ./reference 
x = 1000
y = 2000
z = 3000
x = 1000
y = 2000
z = 3000

純虛擬函式:

當我們使用到繼承與派生的時候,我們比較關注的並不是基類本身,而是派生類的具體例項,這當然涉及到其中的操作集(函式).多型(覆蓋)的實現,可以實現"一個介面,多種功能實現",從而提高程式的可讀性和複用性.純虛擬函式就是這樣的一個"華而不實"的介面標識.定義如下:

在基類中不對虛擬函式給出有意義的實現,它只是在派生類中有具體的意義.這時基類中的虛擬函式只是一個入口,具體的目的地由不同的派生類中的物件決定.
這個虛擬函式稱為純虛擬函式.

其定義形式如下:

class    <基類名>
{	virtual <型別><函式名>(<引數表>)=0;
	......
};

　一個簡單的示例程式碼:

class  A{
protected:	int x;
public:	A(){x =1000;}   
	virtual void  print()=0;  //定義純虛擬函式
};
class B:public A{  //派生類
private:   int y;
public:	B(){ y=2000;}
	void  print(){cout <<“y=”<<y<<‘\n’;}//重新定義純虛擬函式
};	
class C:public A{   //派生類
	int z;
public:	C(){z=3000;}
	void  print(){cout <<“z=”<<z<<‘\n’;}//重新定義純虛擬函式
};
void  main(void )
{   A  *pa;	B  b;  	C  c;     
    pa=&b;    pa->print();	pa=&c;    pa->print();
    A  a;     pa=&a;       pa->print( );
}

小結:

可見,過載、覆蓋二者的區別為:

選擇時機:
    過載:編譯時決定;
    覆蓋:執行時決定.
存在形式:
    過載:部分相同;
    覆蓋:完全一致.

從C看C＋＋之(六)多型

從C看C＋＋之(六)多型

從C看C＋＋之(八)檔案流操作

C++從零實現深度神經網路之六——實戰手寫數字識別（sigmoid和tanh）

Keil C51對C語言的關鍵詞擴充套件之六： compact

從彙編看c語言函式呼叫

C++學習筆記 (六) ---- 多型與虛擬函式

從壹開始微服務 [ DDD ] 之六 ║聚合與聚合根（下）

初學程式設計C++之動態多型

C++學習之對多型的理解

菜鳥的C#學習之旅——多型的實現途徑

從插圖看《程式碼整潔之道——程式設計師的職業素養》

SpringCloud 從菜鳥到大牛之六訊息和非同步 MQ

mysql數據庫從刪庫到跑路之mysql多表查詢

C++筆記第四十九課多型的概念和意義---狄泰學院

(C/C++學習心得)5.C++中的虛繼承-虛擬函式-多型解析

C++類物件中虛擬函式與多型性的實現

【C++學習筆記】虛擬函式實現多型原理

C＃中的介面和繼承多型

SpringBoot2.0之六多環境配置

C++中的過載,覆蓋,隱藏與多型

從C看C＋＋之(六)多型

相關推薦