C++重写基类本身的Base类的抽象方法？

Question

如果我有一个基类:

class Base {
    public:
        Base(){}
        virtual void foo()=0;
};

现在如果我从Base类中派生出任何类,它将不得不重写foo().

如果我也希望foo()Base类的行为怎么办？所以基类有它自己的foo,最重要的是,它的每一个都必须覆盖foo？那可能吗？

Answer 1

如果您执行以下操作:

class Base {
    public:
        Base(){}
        virtual void foo() = 0;
};
void Base::foo() {
{ 
     cout << "Hello";
}

你将得到一个抽象类,所以你将无法创建类Base的对象b并让它通过调用b.foo()来使用你的foo()实现.

所以这不是你想要的!接下来的问题是,如果您不能使用它,为什么允许您为Base :: foo提供实现.嗯,实际上你可以!不是直接的.

class Deriv : public Base {
    public:
        Deriv(){}
        virtual void foo();
};
void Deriv::foo() 
{ 
     Base::foo(); cout << "  world!";
}

正如你所看到基地:: foo的()可以通过派生类中使用.

回到你的问题.答案是你可以完全按照你指定的方式完成,除了Base类是抽象的.

替代方法是执行大多数人所做的事情,而不是在Base中为foo()提供实现时指定= 0.这意味着派生类可以覆盖FOO(),但不具备对.这在我看来实际上是完全合理的:在Base :: foo()的默认实现有意义的派生类中,你保留它,但对于那些需要不同的东西你覆盖它.

更新:我试图提出一个实际需要问题的方案,并想出了这个:

想象一下,Document及其派生类表示文档类型,Document包含一个虚拟方法getClassIcon(),返回代表文档类型的图标的图像文件的URL.Document有一个图标(表示通用文档的东西)是有意义的,并且要求所有派生类重写getClassIcon()以提供自己的图标也是有意义的.

话虽如此,在这个特定的例子中,似乎很容易找到另一种设计:使Document :: getClassIcon()成为一个纯虚方法(= 0)(使Document成为一个抽象类)并将OtherDocument添加为其派生类之一,它以前是getClassIcon Document的实现.PDFDocument,MSWordDocument等都需要根据需要覆盖getClassIcon().这个重新设计可能需要揭示的是,之前的设计(由一个假想的C++版本支持,允许问题所要求的)已经混淆了基类,Document和类的作用.对于不属于任何已知类型的文档,OtherDocument.当然,这一切都在旁观者的眼中: - )有人可能认为第二种设计仅仅是必要的,因为语言缺少功能.我想我们(在很大程度上)根据我们所说的(计算机)语言来思考.:-)