0

我可能对多态性与继承的确切概念有错误的想法，但基本上我要做的是让classB从classA派生，并创建一个覆盖classA的纯虚成员函数的classB，如下所示：


A类：

  /////////////////
 // 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;
}


B类：

  /////////////////////
 // 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 中包含的特定函数列表。

如何做到这一点？我是否需要求助于使用模板（如果可能的话）？

4

2 回答 2

1

将评论作为答案：

CCodeBlock::在类中声明成员函数时不需要CCodeBlock

于 2013-02-26T03:32:40.727 回答
1

您的代码有几处问题。成员声明不应以类名作为限定（即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级别调用覆盖程序。

于 2013-02-26T03:58:43.670 回答