是否可以在不修改父类的情况下将成员变量初始化推迟到继承类？

Question

我遇到了一个特定问题，我已将其转换为以下Minimal, Complete, and Verifiable example。

#include <iostream>

class Foo {
    public:
        Foo(int v) : val(v) {}

        int get_val() const
        {
            return val;
        }

    private:
        int val;
};

class Parent {
    public:
        Parent() : member(0) {}

        const Foo& get_member() const
        {
            return member;
        }

    protected:
        Foo member;
};

// Nothing above this line should be changed

class Child : public Parent
{
    public:
        // This doesn't work (compile error)
        //Child() Parent::member(1) {}

        // Nor does this (also a compile error)
        //Child() this->member(1) {}
};

int main()
{
    Child x;
    std::cout << x.get_member().get_val() << std::endl;
    return 0;
}

此示例演示了我在一个较大的软件项目中遇到的问题，我从外部库继承但需要直接初始化父级的成员变量之一。

不幸的是，父类没有参数化其成员初始化的构造函数。

如果Parent 类有一个表单的构造函数

Parent(int val) : member(val) {}

然后我可以写一个Child 构造函数为

Child() Parent::Parent(1) {}

但对我来说不是这样。

问题：是否可以将父级成员变量的初始化推迟到继承的类？如果有，怎么做？

Answer 1

是否可以将父级成员变量的初始化推迟到继承的类？如果有，怎么做？

父类的成员变量要么在其成员初始化列表中初始化，要么在构造函数的主体中初始化。子类无法在其初始化列表中初始化父类的成员变量——这是语言所不允许的。看来，您能做的最好的事情就是在子类的构造函数的主体中设置父类成员的值。

例子：

struct foo
{
   int a;
};

struct bar : foo
{
   bar() : a(0) {} // Not allowed
};

但是

struct bar : foo
{
   bar() { a = 0; } // Allowed
};

Answer 2

最简单的方法是在Child类构造函数主体中初始化Parent::member（再次）：

class Child : public Parent
{
    public:
        Child() {
            Parent::member = 1;
        }

};

请参阅live demo。

---

正如在 cmets 中阐明的那样，您不应该分配 Parent::member 变量。

在这种情况下（让我们假设设计至少是有用的）， 您通常可以为父类成员实例的某些属性应用 setter：

class Foo {
    Foo(const& Foo) = delete;
    Foo& operator=(const& Foo) = delete;
public:
    Foo() = default;
    int property() const;
    void property(int newVal);
};

class Parent {
protected:
    Foo member;
public:
    Parent() = default;
};

class Child : public Parent {
public:
    Child() {
        Parent::member.property(1);
    };
};