非多態和非抽象基類中的虛析構函數

Question

如果已經提問此問題，我表示抱歉。我正在寫一個將與python接口的C++類。到目前爲止的類實現是：

struct body_data 
{ 
map <int, atom*> atoms; 
map <int, bond*> bonds; 
map <int, dihedral*> dihedrals; 
}; 

該類是另一個類的基類。我沒有添加這個類的析構函數，因爲我很困惑。在所有我已經讀過關於基類的析構函數的文章中，他們建議析構函數應該是公共虛擬的或者是保護的。由於我不打算在C++代碼或python接口中多態地使用上述類，我是否真的需要使析構函數爲public virtual或protected？我正在考慮讓這個類公開，這樣程序員就會知道永遠不會多態地使用這個類。我的想法是否正確？

Answer 1

您只有需要公共析構函數在您有虛函數時聲明爲虛函數，表示您打算從中派生類型。我強調「需要」，因爲只有當您的基本類型具有非POD類型時才需要或您知道從您派生的類型將具有非POD類型。是的，你可以擁有一個虛擬成員爲零的基類，但是這樣的基礎具有邊際效用。不必要地添加虛擬成員會增加開銷。即如果你有一個沒有虛擬析構函數以外的虛擬成員的類型，通常你增加了一個指針的每個實例的大小，並且所述對象的銷燬會稍微慢一點，因爲你必須至少調用析構函數單個內存間接。在第一個虛擬成員之後增加虛擬成員應該有固定的內存開銷，但是你仍然會因爲不必要的虛擬化功能而導致運行時懲罰。

在你的情況下，你的數據類型似乎表明了動態分配的內存（其值是原始指針的映射）的所有權，並且你已經指出這是用作其他類型的基礎（這是關鍵），在這種情況下，你肯定會想要定義一個析構函數來正確釋放內存，並且既然你已經聲明它是其他類型的基礎，它應該被標記爲虛擬的，除非你能絕對確保這些實例永遠不會被銷燬除了指向最派生類型的指針之外的任何東西（作出這種假設是非常危險的並且失敗可能導致難以診斷內存泄漏）。