调用std::function后类成员地址变更致数据访问异常问题排查

核心原因：vector扩容导致对象地址失效，lambda捕获的是旧的this指针 #

当你用vector<B> b存储派生类实例时，vector的内存管理机制会在元素数量超过当前容量时触发内存重分配：它会开辟一块更大的新内存，把旧内存里的对象拷贝/移动到新地址，然后释放旧内存。

而你在B类中给m_function赋值的lambda，捕获的是对象在旧内存中的this指针（也就是lambda创建瞬间的对象地址）。当vector扩容后，当前对象已经在新内存地址了，lambda里仍然用旧的this访问m_vectors，此时旧地址的内存已经被释放或重新利用，自然会出现地址无效、数据访问错误的未定义行为。

为什么[this]/[&,this]捕获无效？ #

lambda捕获的this是值拷贝，它记录的是捕获那一刻的对象内存地址，不是动态更新的。哪怕对象后来被移动到新地址，lambda里的this还是指向旧的失效地址，无法关联到当前对象的m_vectors。

为什么只有同时存在两个vector时复现？ #

单独创建对象时，对象的内存地址是固定的，不会被移动。但当用vector<B>存储对象，且存储数据的vectors可能间接导致b的元素数量增长到触发扩容的阈值，才会触发对象地址变更，进而暴露问题。如果b的容量足够大，没有触发扩容，你可能不会遇到这个问题。

针对std::function的可行解决思路 #

既然不能用虚函数，你可以从避免对象地址变更或让lambda正确关联当前对象入手：

• 提前给vector预留容量：在往b里添加元素前，调用b.reserve(N)（N是你预计的元素总数），让vector一次性分配足够内存，避免后续扩容，保证对象地址始终不变。
• 用智能指针存储类实例：把vector<B>改成vector<std::unique_ptr<B>>，vector存储的是指向B对象的指针。即使vector扩容，指针的存储地址会变，但指针指向的B对象的内存地址不会变，lambda捕获的this始终有效。
• 修改std::function的签名：如果基类的m_function签名可以调整，比如从std::function<void()>改成std::function<void(A*)>，然后在apply方法中调用m_function(this)，lambda里用传入的指针访问成员（比如[](A* self) { /* 用self访问m_vectors */ }），这样就不会依赖固定的this地址。

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