3

我正在阅读 Scott Meyers 的Effective 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; }
};

它会工作得很好。

演示

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

4

1 回答 1

7

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

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

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

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

架构 x86_64 的未定义符号：

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

于 2015-12-03T04:22:21.763 回答