纯虚函数实现

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的未定义符号:

"typeinfo for A",引自:ccoVYpAI.o中B的typeinfo