C++派生类初始化阶段修改基类成员是否为良定义行为？

问题背景 #

目标是在对象创建时将属性注册到容器中，确保属性必须注册后才能创建，采用的初始实现如下（省略Property类受保护构造函数）：

#include <string>
#include <vector>

struct Property
{
    std::string mID;
};

class Base
{
public:
    Property createProperty(std::string name) {
        mPropertyContainer.emplace_back(Property{std::move(name)});
        return mPropertyContainer.back();
    }
private:
    std::vector<Property> mPropertyContainer;
};

class Derived: public Base{
    Property mVerySpecial = createProperty("Very Special");
    Property mGlutenFree = createProperty("Gluten Free");
};

已知基类成员mPropertyContainer会在派生类成员之前初始化，且GCC编译无警告，核心疑问：

1. 该行为是否为良定义行为？
2. 是否允许在派生类初始化阶段修改基类成员？
3. 若存在优化空间，应如何调整设计？

解答 #

1. 行为合法性：属于良定义行为 #

C++标准明确规定，基类子对象的初始化完成于派生类成员初始化之前。此时基类的mPropertyContainer已经通过默认构造创建了一个有效空容器，调用createProperty对其进行修改完全符合标准要求——只要操作的基类成员处于已初始化状态，且成员函数本身未访问未初始化的对象数据，就不存在未定义行为。

2. 是否允许修改基类成员：允许 #

只要基类子对象完成初始化，派生类在成员初始化阶段调用基类非静态成员函数修改基类成员是被标准允许的。这一操作的本质是：当前对象的基类部分已完全构造，具备合法的对象状态，对其成员的修改属于正常的对象操作。

3. 优化设计方案 #

原代码虽合法，但从可读性、维护性角度，可采用以下更严谨的设计：

方案一：基类构造函数集中注册属性

将属性注册逻辑转移到基类构造函数，强制派生类通过构造函数初始化列表传递属性名称，避免分散的成员初始化调用：

#include <string>
#include <vector>
#include <initializer_list>

struct Property
{
    std::string mID;
};

class Base
{
protected:
    explicit Base(std::initializer_list<std::string> propNames) {
        for (const auto& name : propNames) {
            mPropertyContainer.emplace_back(Property{name});
        }
    }
private:
    std::vector<Property> mPropertyContainer;
};

class Derived : public Base {
public:
    Derived() : Base({"Very Special", "Gluten Free"}) {}
};

优势：属性注册逻辑集中，初始化顺序更直观，避免隐式的成员函数调用。

方案二：CRTP模式强制属性注册时机

利用奇异递归模板模式（CRTP），让基类控制派生类的属性注册时机，确保仅在基类构造阶段完成注册：

#include <string>
#include <vector>

struct Property
{
    std::string mID;
};

template<typename Derived>
class Base {
protected:
    Base() {
        static_cast<Derived*>(this)->registerProperties();
    }

    void registerProperty(std::string name) {
        mPropertyContainer.emplace_back(Property{std::move(name)});
    }
private:
    std::vector<Property> mPropertyContainer;
};

class Derived : public Base<Derived> {
    friend class Base<Derived>;
private:
    void registerProperties() {
        registerProperty("Very Special");
        registerProperty("Gluten Free");
    }
};

优势：强制属性注册在指定阶段完成，避免其他时机的非法注册，同时保证类型安全。

方案三：构造函数体内初始化属性

将属性注册移到派生类构造函数体内，替代成员初始化列表中的调用，让初始化逻辑更清晰：

#include <string>
#include <vector>

struct Property
{
    std::string mID;
};

class Base
{
public:
    Property createProperty(std::string name) {
        mPropertyContainer.emplace_back(Property{std::move(name)});
        return mPropertyContainer.back();
    }
private:
    std::vector<Property> mPropertyContainer;
};

class Derived: public Base{
public:
    Derived() {
        mVerySpecial = createProperty("Very Special");
        mGlutenFree = createProperty("Gluten Free");
    }
private:
    Property mVerySpecial;
    Property mGlutenFree;
};

优势：直观体现初始化顺序，避免成员初始化列表中调用非const成员函数的潜在误解。

内容的提问来源于stack exchange，提问作者Mehno