C++11 新特性：继承构造函数

康熙说编程

于 2024-03-23 09:00:00 发布

阅读量869

点赞数 16

分类专栏： Modern C++ Basic C++ 文章标签： c++ 开发语言

本文链接：https://blog.csdn.net/kelvin_yin/article/details/136954791

版权

Basic C++ 同时被 2 个专栏收录

60 篇文章 7 订阅

订阅专栏

Modern C++

53 篇文章 1 订阅

订阅专栏

C++11 标准引入了继承构造函数（Inheriting Constructors），这是对 C++ 类继承机制的一个重要补充。

在这之前，派生类不能直接使用基类的构造函数来初始化其对象，这导致了，在某些情况下需要在派生类中重复基类构造函数的代码，增加了代码的冗余。继承构造函数特性的引入，旨在减少这种冗余，提高代码的复用性。

提出背景

在 C++11 之前，如果基类有多个构造函数，派生类需要为自己需要用到的每一个基类构造函数编写对应的构造函数，即使这些派生类构造函数只是简单地将参数传递给基类构造函数。

这不仅增加了代码量，也提高了维护成本，因为任何基类构造函数的修改，都需要在所有派生类中进行相应的更新。

继承构造函数允许派生类继承基类的所有构造函数，从而无需在派生类中显式定义这些构造函数。这样做可以显著减少代码重复，使得派生类的编写更加简洁明了。

此外，这还意味着基类构造函数的任何修改都会自动反映在派生类中，无需手动更新派生类代码，从而降低了维护成本。

基本用法

假设有一个基类 Base，它有多个构造函数：


class Base {
public:
    Base() {
        // 默认构造函数的实现
    }

    Base(int value) {
        // 带参数的构造函数实现
    }
};

在 C++11 之前，如果想在派生类Derived中使用这些构造函数，需要显式定义它们：

class Derived : public Base {
public:
    Derived() : Base() {
        // 派生类使用基类的默认构造函数
    }

    Derived(int value) : Base(value) {
        // 派生类使用基类的带参数构造函数
    }
};

而使用C++11的继承构造函数特性，可以简化为：

class Derived : public Base {
    using Base::Base; // 继承基类的所有构造函数
};

在这个示例中，通过在派生类中使用 using Base::Base; 语句，Derived 类自动继承了 Base 类的所有构造函数。不需要在 Derived 类中显式定义这些构造函数，就可以像使用 Base 类的构造函数那样使用它们来初始化 Derived 类的对象。

这里使用了 using 关键字，通常情况下，using 声明语句只是令某个名字在当前作用域内可见。**而当作用于构造函数时，using 声明语句将令编译器产生代码。**对于基类的每个构造函数，编译器都生成一个与之对应的派生类构造函数。换句话说，对于基类的每个构造函数，编译器都在派生类中生成一个形参列表完全相同的构造函数。

这些编译器生成的构造函数形如:

Derived(parms) : Base(args) { }

其中，Derived 是派生类的名字，Base 是基类的名字，parms 是构造函数的形参列表，args 将派生类构造函数的形参传递给基类的构造函数。

在我们的 Derived 类示例中，继承的构造函数等价于:

Derived() : Base() { }
Derived(int value) : Base(value) { }

如果派生类含有自己的数据成员，则这些成员将被默认初始化。

继承构造函数与多重继承

如果从多个基类中继承了相同的构造函数(即形参列表完全相同)，则程序将产生错误:

struct Base1{
    Base1() = default;
    Base1(const std::string&);
    Base1(std::shared ptr<int>);
};

struct Base2 {
    Base2() = default;
    Base2(const std::string&);
    Base2(int);
};

// 错误: D1 试图从两个基类中都继承D1::D1(const string&)
struct D1 : public Base1, public Base2
{
    using Base1::Base1; //从 Base1 继承构造函数
    using Base2::Base2; //从 Base2 继承构造函数
};

如果一个类从它的多个基类中继承了相同的构造函数，则这个类必须为该构造函数定义它自己的版本:

struct D2:public Base1, public Base2 {
    using Base1::Basel; //从 Base1 继承构造函数
    using Base2::Base2; //从 Base2 继承构造函数
    // D2 必须自定义一个接受 string 的构造函数
    D2(const string &s) : Base1(s), Base2(s) { }
    D2()= default; // 一旦 D2 定义了它自己的构造函数，则必须出现
};