C++ 多型性有哪些
阿新 • • 發佈：2019-01-04
C++多型性有哪些？
概念：指相同的物件收到不同的訊息或者不同的物件收到相同的訊息時產生的不同的實現動作。
C++支援兩種多型：編譯時多型（靜態）、執行時多型（動態）
（1）編譯時多型：就是在編譯期確定的一種多型。在C++中主要體現在函式模板，這裡需要注意，函式過載和多型無關，很多地方把函式過載誤認為是編譯多型，這是錯誤的？？？
舉例說明一下函式模板是如何體現多型的：
為什麼要引入純虛擬函式： 1、為了使用多型特性，我們必須在基類中定義虛擬函式。 2、在很多情況下，基類本身生成物件是不合情理的。例如，動物作為一個基類可以派生出老虎、孔雀等子類，但動物本身生成物件明顯不合常理。 為了解決上述問題，引入了純虛擬函式的概念，將函式定義為純虛擬函式（方法：virtual ReturnType Function()= 0;），則編譯器要求在派生類中必須予以重寫以實現多型性。同時含有純虛擬函式的類稱為抽象類，它不能生成物件。純虛擬函式永遠不會被呼叫，它們主要用來統一管理子類物件。
在例1中，我們定義了一個函式模板，用來計算兩個數的和。這兩個數的資料型別在使用時才知道，main函式中呼叫同一個函式分別計算了兩個int值和兩個double值的和，這就體現了多型，在編譯期，編譯器根據一定的最佳匹配演算法來確定函式模板的引數型別到底是什麼，這就體現了編譯期的多型性。 （2）執行時多型性 C++執行時多型性主要是通過虛擬函式來實現的。體現在具有繼承關係的父類和子類之間，子類重新定義父類的成員函式成為覆蓋或者重寫，而虛擬函式允許子類重新定義父類的成員函式，即重寫父類的成員函式。 下面舉例說明一下：//例1 函式模板體現編譯期多型性 #include <iostream> using namespace std; template <typename T> T add(T a, T b) { t c = a+b; return c; } int main() { int a1 = 1; int b1 = 2; int c1 = add(a1,b1); cout<<"c1:"<<c1<<endl; double a2 = 2.0; double b2 = 4.0; double c2 = add(a2,b2); cout<<"c2:"<<c2<<endl; }
#include <iostream>
using namespace std;
class A{
public:
void f1()
{
cout<<"A::f1()"<<endl;
}
virtual void f2()
{
cout<<"A::f2()"<<endl;
}
};
class B:public A
{
public:
//覆蓋
void f1()
{
cout<<"B::f1()"<<endl;
}
//重寫
virtual void f2()
{
cout<<"B::f2()"<<endl;
}
};
int main()
{
A* p = new B();
B* q = new B();
p->f1(); //呼叫A::f1()
p->f2(); //呼叫B::f2()，體現多型性 virtual void f() = 0;為什麼要引入純虛擬函式： 1、為了使用多型特性，我們必須在基類中定義虛擬函式。 2、在很多情況下，基類本身生成物件是不合情理的。例如，動物作為一個基類可以派生出老虎、孔雀等子類，但動物本身生成物件明顯不合常理。 為了解決上述問題，引入了純虛擬函式的概念，將函式定義為純虛擬函式（方法：virtual ReturnType Function()= 0;），則編譯器要求在派生類中必須予以重寫以實現多型性。同時含有純虛擬函式的類稱為抽象類，它不能生成物件。純虛擬函式永遠不會被呼叫，它們主要用來統一管理子類物件。