纯虚拟功能实现

Question

我正在阅读Scott Meyers的有效C++，我在关于继承的部分。他说

纯虚拟函数仅指定接口的继承。

简单（不纯）虚拟函数指定接口的继承加上默认实现的继承。

现在，考虑以下两个类：

struct A {
    virtual void foo() = 0;
};
void A::foo(){ std::cout << "Default foo" << std::endl; }
struct B : A{
    virtual void foo(){ A::foo(); std::cout << "Derived foo" << std::endl; }
};

我们仍然可以为纯虚拟函数提供默认实现，就像我在示例中所做的那样，并通过qualified-function-call-expression调用它。我们可以对不纯净的虚拟函数做几乎相同的事情

struct A {
    virtual void foo(); //No longer pure virtual
};
void A::foo(){ std::cout << "Default foo" << std::endl; }
struct B : A{
    virtual void foo(){ A::foo(); std::cout << "Derived foo" << std::endl; }
};

如果我不定义不纯虚拟函数如下：

struct A {
    virtual void foo();
};

struct B : A{
    virtual void foo(){ std::cout << "Derived foo" << std::endl; }
};

它会很好用的。

演示

那么，纯虚拟函数的唯一目的是使类抽象（不可实例化）？

Answer 1

纯虚拟函数不仅使基类不可实例化，而且强制所有派生类实现相应的虚拟函数。如果你不让基函数成为纯虚拟的，那么派生类可能会选择不实现它。定义纯虚拟函数是可以的，只要你从派生实例中使用它，并且它提供了一个可以用作默认实现的实现，正如Scott Meyers所指出的。

请注意，您的演示并不像您想象的那样工作。如果你在使用多态性时做了通常认为常见的事情，

A* p = new B; // or, std::unique_ptr<A> p = make_unique<B>();
p->foo();

然后你会得到一个讨厌的链接器错误：

体系结构x86_64:的未定义符号

"A的typeinfo"，引用自：ccoVYpAI.o 中B的类型信息