這篇文章主要介紹了深入解析C++編程中的純虛函數(shù)和抽象類,是C++入門學(xué)習(xí)中的基礎(chǔ)知識,需要的朋友可以參考下

C++純虛函數(shù)詳解

有時(shí)在基類中將某一成員函數(shù)定為虛函數(shù)，并不是基類本身的要求，而是考慮到派生類的需要，在基類中預(yù)留了一個(gè)函數(shù)名，具體功能留給派生類根據(jù)需要去定義。

純虛函數(shù)是在聲明虛函數(shù)時(shí)被“初始化”為0的函數(shù)。聲明純虛函數(shù)的一般形式是

1. virtual 函數(shù)類型 函數(shù)名 (參數(shù)表列) = 0; 

關(guān)于純虛函數(shù)需要注意的幾點(diǎn)：

純虛函數(shù)沒有函數(shù)體;

最后面的“=0”并不表示函數(shù)返回值為0，它只起形式上的作用，告訴編譯系統(tǒng)“這是純虛函數(shù)”;

這是一個(gè)聲明語句，最后應(yīng)有分號。

純虛函數(shù)只有函數(shù)的名字而不具備函數(shù)的功能，不能被調(diào)用。它只是通知編譯系統(tǒng):“在這里聲明一個(gè)虛函數(shù)，留待派生類中定義”。在派生類中對此函數(shù)提供定義后，它才能具備函數(shù)的功能，可被調(diào)用。

純虛函數(shù)的作用是在基類中為其派生類保留一個(gè)函數(shù)的名字，以便派生類根據(jù)需要對它進(jìn)行定義。

如果在基類中沒有保留函數(shù)名字，則無法實(shí)現(xiàn)多態(tài)性。如果在一個(gè)類中聲明了純虛函數(shù)，而在其派生類中沒有對該函數(shù)定義，則該虛函數(shù)在派生類中仍然為純虛函數(shù)。

再談C++抽象類

如果聲明了一個(gè)類，一般可以用它定義對象。但是在面向?qū)ο蟪绦蛟O(shè)計(jì)中，往往有一些類，它們不用來生成對象。定義這些類的惟一目的是用它作為基類去建立派生類。它們作為一種基本類型提供給用戶，用戶在這個(gè)基礎(chǔ)上根據(jù)自己的需要定義出功能各異的派生類。用這些派生類去建立對象。

打個(gè)比方，汽車制造廠往往向客戶提供卡車的底盤(包括發(fā)動(dòng)機(jī)、傳動(dòng)部分、車輪等)，組裝廠可以把它組裝成貨車、公共汽車、工程車或客車等不同功能的車輛。底盤本身不是車輛，要經(jīng)過加工才能成為車輛，但它是車輛的基本組成部分。它相當(dāng)于基類。在現(xiàn)代化的生產(chǎn)中，大多采用專業(yè)化的生產(chǎn)方式，充分利用專業(yè)化工廠生產(chǎn)的部件，加工集成為新品種的產(chǎn)品。生產(chǎn)公共汽車的廠家決不會(huì)從制造發(fā)動(dòng)機(jī)到生產(chǎn)輪胎、制造車廂都由本廠完成。其實(shí)，不同品牌的電腦里面的基本部件是一樣的或相似的。這種觀念對軟件開發(fā)是十分重要的。一個(gè)優(yōu)秀的軟件工作者在開發(fā)一個(gè)大的軟件時(shí)，決不會(huì)從頭到尾都由自己編寫程序代碼，他會(huì)充分利用已有資源(例如類庫)作為自己工作的基礎(chǔ)。

這種不用來定義對象而只作為一種基本類型用作繼承的類，稱為抽象類(abstract class )，由于它常用作基類，通常稱為抽象基類(abstract base class )。凡是包含純虛函數(shù)的類都是抽象類。因?yàn)榧兲摵瘮?shù)是不能被調(diào)用的，包含純虛函數(shù)的類是無法建立對象的。

抽象類的作用是作為一個(gè)類族的共同基類，或者說，為一個(gè)類族提供一個(gè)公共接口。一個(gè)類層次結(jié)構(gòu)中當(dāng)然也可不包含任何抽象類，每一層次的類都是實(shí)際可用的，可以用來建立對象的。

但是，許多好的面向?qū)ο蟮南到y(tǒng)，其層次結(jié)構(gòu)的頂部是一個(gè)抽象類，甚至頂部有好幾層都是抽象類。

如果在抽象類所派生出的新類中對基類的所有純虛函數(shù)進(jìn)行了定義，那么這些函數(shù)就被賦予了功能，可以被調(diào)用。這個(gè)派生類就不是抽象類，而是可以用來定義對象的具體類(concrete class )。

如果在派生類中沒有對所有純虛函數(shù)進(jìn)行定義，則此派生類仍然是抽象類，不能用來定義對象。雖然抽象類不能定義對象(或者說抽象類不能實(shí)例化)，但是可以定義指向抽象類數(shù)據(jù)的指針變量。當(dāng)派生類成為具體類之后，就可以用這種指針指向派生類對象，然后通過該指針調(diào)用虛函數(shù)，實(shí)現(xiàn)多態(tài)性的操作。

幾個(gè)關(guān)于C++純虛函數(shù)與抽象類的實(shí)例

下面是一個(gè)完整的程序，為了便于閱讀，分段插入了一些文字說明。程序如下：

第(1)部分

1. #include <iostream> 
2. using namespace std; 
3. //聲明抽象基類Shape 
4. class Shape 
5. { 
6. public: 
7. virtual float area( )const {return 0.0;} //虛函數(shù) 
8. virtual float volume()const {return 0.0;} //虛函數(shù) 
9. virtual void shapeName()const =0; //純虛函數(shù) 
10. }; 

Shape類有3個(gè)成員函數(shù)，沒有數(shù)據(jù)成員。3個(gè)成員函數(shù)都聲明為虛函數(shù)，其中shapeName聲明為純虛函數(shù)，因此Shape是一個(gè)抽象基類。shapeName函數(shù)的作用是輸出具體的形狀(如點(diǎn)、圓、圓柱體)的名字，這個(gè)信息是與相應(yīng)的派生類密切相關(guān)的，顯然這不應(yīng)當(dāng)在基類中定義，而應(yīng)在派生類中定義。所以把它聲明為純虛函數(shù)。Shape雖然是抽象基類，但是也可以包括某些成員的定義部分。類中兩個(gè)函數(shù)area(面積)和volume (體積)包括函數(shù)體，使其返回值為0(因?yàn)榭梢哉J(rèn)為點(diǎn)的面積和體積都為0)。由于考慮到在Point類中不再對area和volume函數(shù)重新定義，因此沒有把a(bǔ)rea和volume函數(shù)也聲明為純虛函數(shù)。在Point類中繼承了Shape類的area和volume函數(shù)。這3個(gè)函數(shù)在各派生類中都要用到。

第(2)部分

1. //聲明Point類 
2. class Point:public Shape//Point是Shape的公用派生類 
3. { 
4. public: 
5. Point(float=0,float=0); 
6. void setPoint(float ,float ); 
7. float getX( )const {return x;} 
8. float getY( )const {return y;} 
9. virtual void shapeName( )const {cout<<"Point:";}//對虛函數(shù)進(jìn)行再定義 
10. friend ostream & operator <<(ostream &,const Point &); 
11. protected: 
12. float x,y; 
13. }; 
14. //定義Point類成員函數(shù) 
15. Point::Point(float a,float b) 
16. {x=a;y=b;} 
17. void Point::setPoint(float a,float b) 
18. {x=a;y=b;} 
19. ostream & operator <<(ostream &output,const Point &p) 
20. { 
21. output<<"["<<p.x<<","<<p.y<<"]"; 
22. return output; 
23. } 

Point從Shape繼承了3個(gè)成員函數(shù)，由于“點(diǎn)”是沒有面積和體積的，因此不必重新定義area和volume。雖然在Point類中用不到這兩個(gè)函數(shù)，但是Point類仍然從Shape類繼承了這兩個(gè)函數(shù)，以便其派生類繼承它們。shapeName函數(shù)在Shape類中是純虛函數(shù)， 在Point類中要進(jìn)行定義。Point類還有自己的成員函數(shù)( setPoint, getX, getY)和數(shù)據(jù)成 員(x和y)。

第(3)部分

1. //聲明Circle類 
2. class Circle:public Point 
3. { 
4. public: 
5. Circle(float x=0,float y=0,float r=0); 
6. void setRadius(float ); 
7. float getRadius( )const; 
8. virtual float area( )const; 
9. virtual void shapeName( )const {cout<<"Circle:";}//對虛函數(shù)進(jìn)行再定義 
10. friend ostream &operator <<(ostream &,const Circle &); 
11. protected: 
12. float radius; 
13. }; 
14. //聲明Circle類成員函數(shù) 
15. Circle::Circle(float a,float b,float r):Point(a,b),radius(r){} 
16. void Circle::setRadius(float r):radius(r){} 
17. float Circle::getRadius( )const {return radius;} 
18. float Circle::area( )const {return 3.14159*radius*radius;} 
19. ostream &operator <<(ostream &output,const Circle &c) 
20. { 
21. output<<"["<<c.x<<","<<c.y<<"], r="<<c.radius; 
22. return output; 
23. } 

在Circle類中要重新定義area函數(shù)，因?yàn)樾枰付ㄇ髨A面積的公式。由于圓沒有體積，因此不必重新定義volume函數(shù)，而是從Point類繼承volume函數(shù)。shapeName函數(shù)是虛函數(shù)，需要重新定義，賦予新的內(nèi)容(如果不重新定義，就會(huì)繼承Point類中的 shapeName函數(shù))。此外，Circle類還有自己新增加的成員函數(shù)(setRadius, getRadius)和數(shù)據(jù)成員(radius)。

第(4)部分

1. //聲明Cylinder類 
2. class Cylinder:public Circle 
3. { 
4. public: 
5. Cylinder (float x=0,float y=0,float r=0,float h=0); 
6. void setHeight(float ); 
7. virtual float area( )const; 
8. virtual float volume( )const; 
9. virtual void shapeName( )const { 
10. cout<<"Cylinder:"; 
11. }//對虛函數(shù)進(jìn)行再定義 
12. friend ostream& operator <<(ostream&,const Cylinder&); 
13. protected: 
14. float height; 
15. }; 
16. //定義Cylinder類成員函數(shù) 
17. Cylinder::Cylinder(float a,float b,float r,float h):Circle(a,b,r),height(h){} 
18. void Cylinder::setHeight(float h){height=h;} 
19. float Cylinder::area( )const{ 
20. return 2*Circle::area( )+2*3.14159*radius*height; 
21. } 
22. float Cylinder::volume( )const{ 
23. return Circle::area( )*height; 
24. } 
25. ostream &operator <<(ostream &output,const Cylinder& cy){ 
26. output<<"["<<cy.x<<","<<cy.y<<"], r="<<cy.radius<<", h="<<cy.height; 
27. return output; 
28. } 

Cylinder類是從Circle類派生的。由于圓柱體有表面積和體積，所以要對area和 volume函數(shù)重新定義。虛函數(shù)shapeName也需要重新定義。此外，Cylinder類還有自已 的成員函數(shù)setHeight和數(shù)據(jù)成員radius。

第(5)部分

1. //main函數(shù) 
2. int main( ) 
3. { 
4. Point point(3.2,4.5); //建立Point類對象point 
5. Circle circle(2.4,1.2,5.6); 
6. //建立Circle類對象circle 
7. Cylinder cylinder(3.5,6.4,5.2,10.5); 
8. //建立Cylinder類對象cylinder 
9. point.shapeName(); 
10. //靜態(tài)關(guān)聯(lián) 
11. cout<<point<<endl; 
12. circle.shapeName(); //靜態(tài)關(guān)聯(lián) 
13. cout<<circle<<endl; 
14. cylinder.shapeName(); //靜態(tài)關(guān)聯(lián) 
15. cout<<cylinder<<endl<<endl; 
16. Shape *pt; //定義基類指針 
17. pt=&point; //指針指向Point類對象 
18. pt->shapeName( ); //動(dòng)態(tài)關(guān)聯(lián) 
19. cout<<"x="<<point.getX( )<<",y="<<point.getY( )<<"/narea="<<pt->area( ) 
20. <<"/nvolume="<<pt->volume()<<"/n/n"; 
21. pt=&circle; //指針指向Circle類對象 
22. pt->shapeName( ); //動(dòng)態(tài)關(guān)聯(lián) 
23. cout<<"x="<<circle.getX( )<<",y="<<circle.getY( )<<"/narea="<<pt->area( ) 
24. <<"/nvolume="<<pt->volume( )<<"/n/n"; 
25. pt=&cylinder; //指針指向Cylinder類對象 
26. pt->shapeName( ); //動(dòng)態(tài)關(guān)聯(lián) 
27. cout<<"x="<<cylinder.getX( )<<",y="<<cylinder.getY( )<<"/narea="<<pt->area( ) 
28. <<"/nvolume="<<pt->volume( )<<"/n/n"; 
29. return 0; 
30. } 

在主函數(shù)中調(diào)用有關(guān)函數(shù)并輸出結(jié)果。先分別定義了 Point類對象point，Circle類對象circle和Cylinder類對象cylinder。然后分別通過對象名point, circle和cylinder調(diào)用 了shapeNanme函數(shù)，這是屬于靜態(tài)關(guān)聯(lián)，在編譯階段就能確定應(yīng)調(diào)用哪一個(gè)類的 shapeName函數(shù)。同時(shí)用重載的運(yùn)箅符“<<”來輸出各對象的信息，可以驗(yàn)證對象初始化是否正確。

再定義一個(gè)指向基類Shape對象的指針變量pt，使它先后指向3個(gè)派生類對象 point， Circle和cylinder，然后通過指針調(diào)用各函數(shù)，如 pt->shapeName( )，pt ->area()， pt->volume( )。這時(shí)是通過動(dòng)態(tài)關(guān)聯(lián)分別確定應(yīng)該調(diào)用哪個(gè)函數(shù)。分別輸出不同類對象的信息。

程序運(yùn)行結(jié)果如下：

1. Point:[3.2,4.5](Point類對象point的數(shù)據(jù):點(diǎn)的坐標(biāo)) 
2. Circle:[2.4,1.2], r=5.6 (Circle類對象circle的數(shù)據(jù):圓心和半徑) 
3. Cylinder:[3.5,6.4], r=5.5, h=10.5 (Cylinder類對象cylinder的數(shù)據(jù)： 圓心、半徑和高) 
4.  
5. Point:x=3.2,y=4.5 (輸出Point類對象point的數(shù)據(jù):點(diǎn)的坐標(biāo)) 
6. area=0 (點(diǎn)的面積) 
7. volume=0 (點(diǎn)的體積) 
8.  
9. Circle:x=2.4,y=1.2 (輸出Circle類對象circle的數(shù)據(jù):圓心坐標(biāo)) 
10. area=98.5203 (圓的面積) 
11. volume=0 (圓的體積) 
12. Cylinder:x=3.5,y=6.4 (輸出Cylinder類對象cylinder的數(shù)據(jù):圓心坐標(biāo)) 
13. area=512.595 (圓的面積) 
14. volume=891.96 (圓柱的體積) 

從本例可以進(jìn)一步明確以下結(jié)論：

一個(gè)基類如果包含一個(gè)或一個(gè)以上純虛函數(shù)，就是抽象基類。抽象基類不能也不必要定義對象。

抽象基類與普通基類不同，它一般并不是現(xiàn)實(shí)存在的對象的抽象(例如圓形(Circle)就是千千萬萬個(gè)實(shí)際的圓的抽象)，它可以沒有任何物理上的或其他實(shí)際意義方面的含義。

在類的層次結(jié)構(gòu)中，頂層或最上面的幾層可以是抽象基類。抽象基類體現(xiàn)了本類族中各類的共性，把各類中共有的成員函數(shù)集中在抽象基類中聲明。

抽象基類是本類族的公共接口?；蛘哒f，從同一基類派生出的多個(gè)類有同一接口。

區(qū)別靜態(tài)關(guān)聯(lián)和動(dòng)態(tài)關(guān)聯(lián)。如果是通過對象名調(diào)用虛函數(shù)(如point.shapeName())，在編譯階段就能確定調(diào)用的是哪一個(gè)類的虛函數(shù)，所以屬于靜態(tài)關(guān)聯(lián)。 如果是通過基類指針調(diào)用虛函數(shù)(如pt ->shapeName())，在編譯階段無法從語句本身確定調(diào)用哪一個(gè)類的虛函數(shù)，只有在運(yùn)行時(shí)，pt指向某一類對象后，才能確定調(diào)用的是哪 一個(gè)類的虛函數(shù)，故為動(dòng)態(tài)關(guān)聯(lián)。

如果在基類聲明了虛函數(shù)，則在派生類中凡是與該函數(shù)有相同的函數(shù)名、函數(shù)類型、參數(shù)個(gè)數(shù)和類型的函數(shù)，均為虛函數(shù)(不論在派生類中是否用virtual聲明)。

使用虛函數(shù)提高了程序的可擴(kuò)充性。把類的聲明與類的使用分離。這對于設(shè)計(jì)類庫的軟件開發(fā)商來說尤為重要。

開發(fā)商設(shè)計(jì)了各種各樣的類，但不向用戶提供源代碼，用戶可以不知道類是怎樣聲明的，但是可以使用這些類來派生出自己的類。利用虛函數(shù)和多態(tài)性，程序員的注意力集中在處理普遍性，而讓執(zhí)行環(huán)境處理特殊性。

多態(tài)性把操作的細(xì)節(jié)留給類的設(shè)計(jì)者(他們多為專業(yè)人員)去完成，而讓程序人員(類的使用者)只需要做一些宏觀性的工作，告訴系統(tǒng)做什么，而不必考慮怎么做，極大地簡化了應(yīng)用程序的編碼工作，大大減輕了程序員的負(fù)擔(dān)，也降低了學(xué)習(xí)和使用C++編程的難度，使更多的人能更快地進(jìn)入C++程序設(shè)計(jì)的大門。