如下是一個股票交易的例子：

1 class Transaction // 交易的基類 2 { 3 public: 4 Transaction(); 5 virtual void logTransaction() const = 0; // 用于記錄交易日志 6 }; 7 Transaction::Transaction() 8 { 9 logTransaction();　　　　　　　　　　　　　　// 調用虛函數 10 } 11 12 class BuyTransaction : public Transaction // 買進股票 13 { 14 virtual void logTransaction() const; 15 }; 16 void BuyTransaction::logTransaction() const{ } 17 18 class SellTransaction : public Transaction // 賣出股票 19 { 20 virtual void logTransaction() const; 21 }; 22 void SellTransaction::logTransaction() const{ } 23 24 int main() 25 { 26 BuyTransaction b; 27 28 return 0; 29 }

上述代碼中執行BuyTransaction b時，會調用基類的構造函數，而基類的構造函數會調用一個虛函數來完成工作。但是該虛函數是否會調用派生類的對應函數呢？答案是否定的，解釋如下：

1>? 基類的構造是先于派生類的構造的。當基類的構造函數執行時，派生類中的成員尚未被初始化，如果允許基類構造期間調用派生類的函數，可能也會調用了沒有初始化的“垃圾值”，導致不確定行為發生。

2>? 基類構造期間，virtual函數的行為絕對不會伸到派生類中，因為此時構造的是基類，即此時構造的對象的類型是基類而非派生類，這點很重要。

?

但是有時我們在構造基類的時候又需要派生類中才有的參數信息，如何解決：

在基類中將logTransaction函數改為非虛函數，然后在構造派生類時將必要的參數傳遞到基類的構造函數中去，像如下這樣：

1 #include <string> 2 3 class Transaction // 交易的基類 4 { 5 public: 6 explicit Transaction(const std::string& logInfo); 7 void logTransaction(const std::string& logInfo) const; // 用于記錄交易日志 8 }; 9 Transaction::Transaction(const std::string& logInfo) 10 { 11 logTransaction(logInfo);　　　　　　　　　　　　　　　　　　// 調用非虛函數
12 } 13 void Transaction::logTransaction(const std::string& logInfo) const{ } 14 15 class BuyTransaction : public Transaction // 買進股票 16 { 17 public: 18 BuyTransaction(const std::string& parameter) : Transaction(parameter){ } 19 }; 20 21 22 int main() 23 { 24 BuyTransaction b("BT"); 25 26 return 0; 27 }

?

由上可知，如果基類構造時要使用派生類的信息，可以通過派生類構造函數的初始化列表傳入相關參數，切不可調妄圖調用虛函數實現，因為在構造基類期間其對象的類型是基類類型。

對于析構函數也是同樣的道理，基類的析構總是在派生類析構后才進行，此時派生類的對象已經不存在了，而調用虛函數必然會引發一個不確定行為。當然你也可以將基類的虛函數實現后在析構函數中進行調用，但是這樣的話，為什么不定義為非虛函數呢，虛函數的意義將不復存在了。

?

轉載于:https://www.cnblogs.com/benxintuzi/p/4527948.html

總結

以上是生活随笔為你收集整理的条款9：不要在构造和析构过程中调用virtual函数的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。