Question

我正在阅读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; }
};

它会完美地运作。

DEMO

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

Answer 1

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

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

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

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

架构x86_64的未定义符号：

＆＃34; A＆＃34;的typeinfo，引自：        ccoVYpAI.o中的B的typeinfo

纯虚函数实现

1 个答案: