C++：如何将派生类数组元素引用传递给基类构造器？

本质问题 #

你的代码触发了未定义行为：C++中类的初始化顺序是固定的——先构造基类，再初始化派生类的成员变量。你在Impl的初始化列表里写的顺序是someArray(new int[size]), Base(someArray[2])，但实际执行顺序是先调用Base的构造函数，此时someArray还是未初始化的野指针，访问someArray[2]属于非法内存操作，最终导致someInteger引用了随机内存地址，和后续分配的数组元素地址不一致。

可行解决方案 #

方案1：静态工厂方法（适配裸指针场景） #

将数组的创建逻辑移到基类构造之前，通过静态工厂函数封装对象创建流程：

#include <iostream>

class Base {
public:
    int& someInteger;
    Base(int& thisIsSomeInteger) : someInteger(thisIsSomeInteger) {}
};

class Impl : public Base {
private:
    int* someArray;
    // 私有构造函数，确保只能通过工厂方法调用
    Impl(int* arr) : Base(arr[2]), someArray(arr) {}
public:
    static Impl create(int size) {
        // 先分配数组，确保基类构造时指针有效
        int* arr = new int[size];
        return Impl(arr);
    }

    // 手动管理内存，添加析构函数
    ~Impl() { delete[] someArray; }

    // 禁用拷贝/赋值，避免重复释放内存
    Impl(const Impl&) = delete;
    Impl& operator=(const Impl&) = delete;
};

int main() {
    Impl test = Impl::create(5);
    test.someArray[2] = 20;

    // 现在地址一致
    std::cout << &test.someInteger << "\n";
    std::cout << &test.someArray[2] << "\n";
}

方案2：改用std::vector（更安全，避免手动内存管理） #

用标准库容器替代裸指针，结合工厂方法实现：

#include <iostream>
#include <vector>

class Base {
public:
    int& someInteger;
    Base(int& thisIsSomeInteger) : someInteger(thisIsSomeInteger) {}
};

class Impl : public Base {
private:
    std::vector<int> someArray;
    Impl(std::vector<int> vec) : Base(vec[2]), someArray(std::move(vec)) {}
public:
    static Impl create(int size) {
        return Impl(std::vector<int>(size));
    }
};

int main() {
    Impl test = Impl::create(5);
    test.someArray[2] = 20;

    std::cout << &test.someInteger << "\n";
    std::cout << &test.someArray[2] << "\n";
}

方案3：调整类结构（耦合度较高，按需使用） #

如果允许修改基类设计，可将数组的所有权移到基类，或让基类通过索引访问派生类的数组。这种方式会增加类间耦合，仅适合业务逻辑确实需要基类感知数组的场景。

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