C++中vector存指针指向另一可变长vector元素失效问题求解

你写的代码首先存在两处语法错误：

• 初始化vector<int*> b时末尾括号不匹配
• 存储int元素的地址需要用取地址符&，而非解引用符*，修正语法后的代码如下：

vector<int> a = {1,2,3};
vector<int*> b = {&a[0], &a[1], &a[2]};

修正语法后你遇到的指针失效问题是std::vector的设计特性决定的：vector的元素采用连续堆内存存储，当元素数量超过当前预分配的容量（capacity）触发扩容时，会申请更大的连续内存块，将原有元素拷贝/移动到新内存后释放旧内存块。此时b中存储的地址全部指向已被释放的旧内存，成为野指针，访问会触发未定义行为。

• 预分配容量避免扩容：如果你能提前确定a的最大元素数量，可以在初始化后调用reserve()提前预留足够空间，只要后续插入元素总数不超过预留容量，a就不会触发扩容，元素内存地址全程保持不变，存储的原生指针可以正常使用。

  vector<int> a;
  a.reserve(1024); // 预留1024个int的存储空间，size不超过1024就不会扩容
  a = {1,2,3};
  vector<int*> b = {&a[0], &a[1], &a[2]};
  

• 存储索引而非指针（通用推荐）：这是无额外开销、适配性最强的方案。将b的元素类型改为无符号整数类型，存储对应元素在a中的下标即可。无论a怎么扩容迁移元素，只要不删除对应位置的元素，下标和元素的对应关系永远不会失效，访问时通过a[b[i]]就能拿到正确值。

  vector<int> a = {1,2,3};
  vector<size_t> b = {0, 1, 2};
  a.push_back(4); // 哪怕触发扩容也不影响访问
  // 访问b[0]对应的a元素直接写a[b[0]]即可
  

• 增加间接层固定元素地址：如果必须存储指针，可以修改a的存储结构，让元素本身的地址不随容器扩容变化。比如用std::deque替代vector（deque按块存储，扩容不会迁移已有元素），或者将a定义为存储智能指针的数组vector<unique_ptr<int>>，此时元素本身是单独分配在堆上的，容器扩容只会移动智能指针对象，不会改变其指向的int地址。这种方案有额外内存开销，适合有明确需求的场景。

内容的提问来源于stack exchange，提问作者Амир Кашапов