纯虚函数实现

Question

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

Pure virtual functions specify inheritance of interface only.

Simple (impure) virtual functions specify inheritance of interface plus inheritance of a default implementation.

现在，考虑以下两个 class：

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

如果我不定义impure虚函数如下：

struct A {
    virtual void foo();
};



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

它会很好地工作。

DEMO

所以，纯虚函数的唯一目的是class抽象（不可实例化）？

Answer 1

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

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

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

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

Undefined symbols for architecture x86_64:

"typeinfo for A", referenced from: typeinfo for B in ccoVYpAI.o

纯虚函数实现

Pure virtual function implementation

c++

inheritance

virtual-functions

definition

one-definition-rule