作者：王姍姍,華清遠(yuǎn)見嵌入式學(xué)院講師。

通常在實(shí)現(xiàn)一個(gè)接口的時(shí)候使用純虛函數(shù)。接口一般就是一個(gè)抽象類。

有時(shí)在基類中將某一成員函數(shù)定為虛函數(shù)，并不是基類本身的要求，而是考慮到派生類的需要，在基類中預(yù)留一個(gè)函數(shù)名，具體功能留給派生類根據(jù)需要去定義。例如，我們定義一個(gè)Point基類，Point類中沒有求面積的area函數(shù)，因?yàn)辄c(diǎn)是沒有面積的。但是在其直接派生類cricle和間接派生類cylinder中都需要有area函數(shù)，而且這兩個(gè)area函數(shù)功能不同，一個(gè)求圓面積，一個(gè)求圓柱體表面積。在這種情況下應(yīng)當(dāng)將area函數(shù)聲明為虛函數(shù)?？梢栽诨恜oint中加一個(gè)area函數(shù)，并聲明為虛函數(shù)。

virtual float area( ) //虛函數(shù)

{

return 0；

}

因?yàn)辄c(diǎn)是沒有面積的，所以返回值為0.其實(shí)在基類中并不使用這個(gè)函數(shù)，其返回值也是沒有意義的。為簡(jiǎn)化，可以不寫出這種無意義的函數(shù)體，只給出函數(shù)的原型，也就是寫成純虛函數(shù)的形式。純虛函數(shù)聲明的結(jié)尾處為=0，使用如下：

class Point

{public:

virtual float area( )=0;//虛函數(shù)

virtual float volume() =0; //虛函數(shù)

virtual void shapeName()=0; //純虛函數(shù)

}

當(dāng)類聲明中包含純虛函數(shù)時(shí)，則不能創(chuàng)建該類的對(duì)象。這里，純虛函數(shù)的類只用作基類。原型中的=0使虛函數(shù)成為純虛函數(shù)。

使用純虛函數(shù)要注意：

1） 純虛函數(shù)沒有函數(shù)體

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

3） 這是一個(gè)聲明語句，最后以分號(hào)結(jié)束。

純虛函數(shù)其實(shí)就是聲明一個(gè)虛函數(shù)，在派生類中在定義它。也就是說純虛函數(shù)只有函數(shù)的名字而不具備函數(shù)的功能，不能被調(diào)用。而在派生類中只有對(duì)此函數(shù)提供定義后，才能具備函數(shù)的功能，才能被調(diào)用。它僅僅是在基類中為其派生類保留一個(gè)函數(shù)的名字，以方便派生類根據(jù)需要對(duì)它定義。如果基類中沒有保留函數(shù)名字，就無法實(shí)現(xiàn)多態(tài)。

一般情況下，純虛函數(shù)是用來定義抽象基類的時(shí)候來使用的。所謂的抽象基類就是一種不用來定義對(duì)象，而只作為一種基本類型用作繼承的抽象類，而常常用它來作為基類，所以叫抽象基類。凡是包含純虛函數(shù)的類都是抽象類。因?yàn)榧兲摵瘮?shù)時(shí)不能被調(diào)用的，包含純虛函數(shù)的類是無法建立對(duì)象的。抽象類的作用是作為一個(gè)類族的共同基類，或者為一個(gè)類族提供一個(gè)公共接口。

在很多情況下，基類本身生成對(duì)象是不合情理的。例如，動(dòng)物作為一個(gè)基類可以派生出老虎、孔雀等子類，但動(dòng)物本身生成對(duì)象明顯不合常理，動(dòng)物只是一個(gè)抽象概念，動(dòng)物都有動(dòng)作、大小等屬性，但只有具體到某一類動(dòng)物的時(shí)候這些屬性才能具體化，所以動(dòng)物只能實(shí)現(xiàn)為接口，即抽象類，把動(dòng)作等屬性定義為純虛函數(shù)C++通過使用純虛函數(shù)提供未實(shí)現(xiàn)的函數(shù)。一般情況下，純虛函數(shù)是用來定義抽象基類的時(shí)候來使用的。這樣，純虛函數(shù)會(huì)在子類中被重載，這樣可以實(shí)現(xiàn)用相同的接口去做不同的事。

“本文由華清遠(yuǎn)見http://www.embedu.org/index.htm提供”