C++嵌套vector外层修改时固定大小内层vector的元素地址是否稳定？

你示例中的ch指针在C++11及后续标准环境下是完全安全可正常使用的，你的代码中assert断言成立、printf访问*ch的操作不存在未定义行为。

• 首先明确std::vector的底层存储逻辑：内层std::vector<char>对象自身仅存储三个核心数据：指向堆上char数组的指针、当前元素个数、容量。实际的char元素是存储在内层vector自行管理的独立堆内存上，和外层vector的存储区域完全分离。
• 外层vector执行插入、删除、缩容等操作触发自身内存重分配时，仅会修改「内层vector对象」的存储位置：
  1. 未被erase删除的内层vector对象会通过移动构造转移到外层vector新分配的内存区域，C++标准明确规定std::vector的移动构造函数不会抛出异常，且移动操作不会修改内层vector管理的堆内存地址，也就是data()返回值在移动前后完全一致。
  2. 你的前提已经保证对应的内层vector不会执行任何修改容量、擦除元素的操作，因此它管理的char数组地址从始至终都不会变化。
• 只有当你把对应的内层vector从外层vector中erase删除时，该内层vector被析构，它管理的char数组才会被释放，之前保存的ch指针才会失效。

如果你的编译环境仅支持C03标准（无移动语义），那么外层vector重分配时会拷贝未被删除的内层vector对象，此时新的内层vector会申请独立的char数组存储拷贝的元素，原ch指针就会失效，你的代码断言也会失败。不过目前绝大多数开发环境都已经默认使用C11及更高版本标准，这种场景几乎不会遇到。

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