多態性/繼承問題與虛擬類的成員函數

Question

我可能有錯誤的觀念上正是多態性與繼承，但基本上我想要做的是有CLASSB從CLASSA派生，並創建一個CLASSB它覆蓋CLASSA的純虛成員函數，如下所示：

CLASSA：

///////////////// 
// CodeBlock.h // 
///////////////// 

typedef enum { 
    CCBT_UNDEFINED, 
    CCBT_FUNCTION, 
    //... 
} CODE_BLOCK_TYPE; 

class CCodeBlock { 
public: 
    CCodeBlock::CCodeBlock(); 
    CCodeBlock::CCodeBlock(CString& source, DWORD startPos); 
    CCodeBlock::~CCodeBlock(); 
    virtual CODE_BLOCK_TYPE CCodeBlock::GetType() = 0 

    CString m_code; 
    DWORD m_startPos; 
    DWORD m_length; 
    int m_numLines; 
} 

    /////////////////// 
// CodeBlock.cpp // 
/////////////////// 

//... 
CCodeBlock::CCodeBlock(CString& source, DWORD startPos) : m_code(source), m_startPos(startPos) { 
    m_length = m_code.GetLength(); 
} 

CODE_BLOCK_TYPE CCodeBlock::GetType() { 
    return CCBT_UNDEFINED; 
} 

CLASSB：

///////////////////// 
// FunctionBlock.h // 
///////////////////// 

#include "CodeBlock.h" 

class CFunctionBlock : public CCodeBlock { 
public: 
    CFunctionBlock::CFunctionBlock(); 
    CFunctionBlock::CFunctionBlock(CString& source, DWORD startPos); 
    CFunctionBlock::~CFunctionBlock(); 
    CODE_BLOCK_TYPE CFunctionBlock::GetType(); 
} 

    /////////////////////// 
// FunctionBlock.cpp // 
/////////////////////// 

//... 
CFunctionBlock::CFunctionBlock(CString& source, DWORD startPos) 
{ 
    m_code = source; 
    m_startPos = startPos; 
} 

CFunctionBlock::~CFunctionBlock() 
{ 
    CCodeBlock::~CCodeBlock(); 
} 

CODE_BLOCK_TYPE CFunctionBlock::GetType() 
{ 
    ////////////////////////////// 
    // >> NEVER GETS CALLED! << // 
    ////////////////////////////// 
    return CCBT_FUNCTION; 
} 

主：

CCodeBlock *block = new CFunctionBlock(L"function hello(){ print('hello') }", iPos) 
CODE_BLOCK_TYPE type = block->GetType(); // ALWAYS RETURNS CCBT_UNDEFINED! 

正如你所看到的，的GetType（）總是返回 CCBT_UNDEFINED。請記住，CCodeBlock是CFunctionBlock的一個'通用'版本（以及其他一些志同道合的類，其中一些包含CCodeBlock'm_parent'成員變量），並且應該繼承任何CCodeBlock成員變量&成員函數，以及覆蓋CCodeBlock中包含的特定函數列表。

這是如何實現的？我是否需要訴諸使用模板（如果甚至可能的話）？

Answer 1

帶註釋的答案：

你不需要CCodeBlock::在聲明中類的成員函數CCodeBlock

Answer 2

有幾件事情你的代碼錯誤。會員聲明不應該有類名作爲資格（即CCodeBlock::應該從聲明中刪除）。將它留在那裏會使代碼生病。

除此之外，派生類型的析構函數將隱式地調用基類的析構函數，你不應該這樣做。如果您手動調用它，基礎子對象將被銷燬兩次，可能會導致未定義的行爲（如果基礎析構函數不重要）。

現在，隨着main代碼中的具體問題可能是更多這樣的：

CCodeBlock *block 
    = new CFunctionBlock(L"function hello(){ print('hello') }", iPos) 
CODE_BLOCK_TYPE type = block->CCodeBlock::GetType(); 
//       ^^^^^^^^^^^^ 

在C++中，符合條件的函數調用禁用動態調度。表達式block->GetType()將被分派到block指針指向的對象的動態類型的最終覆蓋。但是，如果添加限定條件：block->CCodeBlock::GetType()，則要求編譯器在CCodeBlock級別調用覆蓋。