条款40：明智而审慎地使用多重继承

不断学习的菜鸡

已于 2024-02-29 13:00:34 修改

阅读量953

点赞数 23

分类专栏： C++的系统学习文章标签：开发语言 c++ Effective C++ 多重继承

于 2024-01-12 13:43:52 首次发布

本文链接：https://blog.csdn.net/T15779651370/article/details/135549878

版权

C++的系统学习专栏收录该内容

44 篇文章 0 订阅

订阅专栏

1.前言

2.实例分析

3.总结

1.前言

一旦涉及多重继承（multiple inheritance,MI）,c++便分为两个基本阵营。一派认为假设单一继承（single inheritance,SI）是好的，多重继承一定更好；另一派认为单一继承是好的，但多重继承不值得拥有。

首先需要认清地一件事是当MI进入设计框时，程序有可能从一个以上地base classes继承相同名称地函数/typedef等等。那会导致较多地歧义（ambiguity），比如：

class BorrowableItem{

    public:
        void checkOut();/离开时进行检查
        ...

};
class ElectronicGadget{


    private:
        bool checkOut() const;//执行自我检测，返回是否测试成功
        ...

};
class MP3Player: public BorrowableItem public ElectronicGadget//注意这里地多重继承
{

    ....
};

MP3Player mp;
mp.checkOut();//歧义，不知道调用的是哪个checkOut.

注意此例子中对chechOut的调用是歧义，即使两个函数中只有一个可以取用（BorrowableItem内的checkOut是public,ElectronicGadget内的却是private）。这与C++用老解析（resolving）重载函数调用的规则相符：在看到是否有个函数可取用之前，C++首先确认这个函数对此调用之言是最佳匹配。找到最佳匹配函数后才检验其可用性。本例中的两个checkOuts有相同的匹配程度，因此造成歧义，没有所谓的最佳匹配。因此ElectronicGadget::checkOut的可取用性也就从未被编译器审查。

2.实例分析

为了解决上述例子中导致的歧义，必须指出要调用哪一个base class内的函数：

mp.BorrowableItem::checkOut();//所需的checkOut

当然也可以尝试明确调用ElectronicGadget::checkOut,但然后你会获得一个“尝试调用private成员函数”的错误。

多重继承的意思继承一个以上的base classes,但这些base classes并不常在继承体系中又又更高级的base classes，那会导致更要命的“钻石型多重继承”：

class File{...};
class IntputFile:public File{....};
class OutputFile:public File{...};
class iOFile:public IntputFile,public OutputFile{.....};

任何时候如果有一个继承体系，且其中的某个base class和某个derived class之间有一条以上的相通路线，就必须面对这样一个问题：是否打算让base class内的成员变量经由每一条路径被复制？假设File class有个成员变量fileName，那么IOFile内有多少个这个名称的数据呢？从某个角度说，IOFile从其每一个base class继承一份，所以其对象内应该有两份fileName成员变量。但从另外一个角度说，简单的逻辑告诉我们，IOFile对象只该有一个文件名称，所以它继承自两个base classes而来的fileName不该重复。

C++在这并没有倾斜立场，两个方案它都支持，虽然其缺省做法是执行复制。如果那不是我们要的，就必须令那个带有此数据的class成为一个virtual base class。为了这样做，必须令所有直接继承它的classes采用“virtual继承”。

class File{....};
class InputFile:virtual public File {....};
class OutputFile:virtual publicFile {.....};
class IOFile:public InputFile,public OutputFile
{
    ....
};

c++标准程序库中内含一个多重继承体系，只不过其classes其实是class templates，名称分别为basic_ios,basic_istream,basic_ostream和basic_iostream。而非这里的File,InputFile,OutputFile和IOFile。

从正确的行为观点说，public继承应该总是virtual。如果这是唯一的观点，规则很简单：任何时候当你使用public继承，请改用virtual继承。但是，正确性并不是唯一的观点。为避免继承而来得来的成员变量重复，编译器必须提供幕后处理，而其后果是：使用virtual继承的那些classes所产生的对象往往比使用non-virtual继承的兄弟们体积大；并且访问virtual base classes的成员变量时，也比访问non-virtual base classes的成员变量速度慢。

对virtual base classes的建议很简单，第一：非必要不使用virtual bases。一般使用non-virtual继承；第二：如果使用virtual base classes，尽可能避免在其中放置数据，这样的话就不需要担心这些classes身上的初始化和赋值所带来的一些列后处理操作。

接下里举个例子来看看下面这个塑模“人”的c++ interface class：

class IPerson{

    public:
        virtual ~IPerson();
        virtual std::string name() const=0;
        virtual std::string birthDate() const=0;

};

Iperso的客户必须以IPerson的pointer和reference来编写程序，因为抽象的classes无法被实体化创建对象。为了创建一些可被当作IPerson来使用的对象，IPerson的客户使用factory function将派生自IPerson的具象classes实体化。

//factory function，根据一个独一无二的数据库ID创建一个Person对象。
std::trl::shared_ptr<IPerson> makePerson(DatabaseID personIdentifier);
DatabaseID askUserForDatabaseID();
DatabaseID id(askUserForDatabaseID());
std::trl::shared_ptr<IPerson> pp(makePerson(id));//创建一个对象支持Iperson接口，由Iperson成员函数处理*pp