c – 纯虚函数实现

发布时间：2020-12-16 10:00:25 所属栏目：百科来源：网络整理

导读：我正在阅读Scott Meyers的“有效C”,而我正在阅读关于继承的部分.他说过 Pure virtual functions specify inheritance of interface only. Simple (impure) virtual functions specify inheritance of interface plus inheritance of a default implementati

我正在阅读Scott Meyers的“有效C”,而我正在阅读关于继承的部分.他说过

Pure virtual functions specify inheritance of interface only.

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

现在,考虑以下两个类：

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

那么,纯虚函数的唯一目的是使类抽象(不可实现)？

解决方法

纯虚函数不仅使基类不可实例化,而且强制所有派生类实现相应的虚函数.如果不使基本函数为纯虚拟,则派生类可能会选择不实现它.定义纯虚函数是可以的,只要你从派生实例中使用它,并且它提供了一个可以用作默认值的实现,正如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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!