C++继承传递vector引用触发std::bad_array_new_length错误排查
问题原因分析
这是因为C++中子类对象的构造顺序规则导致的:
- 创建子类对象时,会先调用基类的构造函数,完成基类部分的初始化
- 之后才会初始化子类自身的成员变量
在你的代码里,C继承自B,C的构造函数初始化列表为: B(a, v),实际执行流程是:
- 先调用
B的构造函数,此时C::v还未完成初始化,是一个内部状态全为垃圾值的未构造std::vector B的构造函数中调用a.add(v),执行i = v时,std::vector的赋值运算符会读取这个未初始化对象的内部垃圾状态(比如错误的容量、大小值),尝试分配内存时触发非法操作,最终抛出std::bad_array_new_length异常
而原main函数里的v是先在栈上完成初始化,再传给B的构造函数,此时v是完全就绪的合法对象,所以赋值操作不会出错。
修复方案
要让C::v在传给B构造函数前完成初始化,有两种常见可行方法:
方法1:将成员变量改为静态
如果v的内容不需要每个C对象独有,可以声明为静态成员,静态成员会在类加载阶段完成初始化,早于基类构造:
class C : B { public: static std::vector<int> v; C(A &a) : B(a, v) {} }; // 在类外部初始化静态成员 std::vector<int> C::v{1, 2, 3, 4};
方法2:调整构造逻辑确保成员先初始化
如果需要每个C对象拥有独立的v,可以通过委托构造(C++11及以上支持)先完成v的初始化,再调用基类构造:
class C : B { public: std::vector<int> v{1, 2, 3, 4}; // 先完成v的初始化,再委托给私有构造函数调用基类 C(A &a) : C(a, v) {} private: C(A &a, std::vector<int>& v_ref) : B(a, v_ref) {} };
内容的提问来源于stack exchange,提问作者mjkpolo
相关产品推荐
相关产品推荐

