如何为数组型std::shared_ptr的元素创建std::weak_ptr？

你的问题核心在于数组型std::shared_ptr的控制块是针对整个数组的，单个元素的裸指针无法直接关联到这个控制块，导致你尝试的两种写法都存在问题：

1. 直接用&allObjects[i]构造std::weak_ptr<Object>：weak_ptr必须从关联了控制块的shared_ptr构造，裸指针无法直接生成weak_ptr，因此编译失败。
2. 直接用&allObjects[i]构造std::shared_ptr<Object>：这个操作会创建一个独立的控制块，当该shared_ptr销毁时会调用delete &allObjects[i]，而最终数组型shared_ptr会调用delete[] allObjects，导致双重释放，引发内存问题。

解决方案：利用shared_ptr的别名构造函数 #

std::shared_ptr提供了别名构造函数，可以让一个shared_ptr共享另一个shared_ptr的控制块，但指向不同的对象。通过这个特性，我们可以为数组元素创建关联到数组控制块的shared_ptr，进而生成合法的weak_ptr。

方案1：保持数组型shared_ptr

直接基于现有的数组型shared_ptr构造元素的shared_ptr，再从它生成weak_ptr：

std::shared_ptr<Object[]> allObjects(new Object[count]); // 管理整个数组的内存
for(int i=0;i<count; i++){
   // 别名构造：共享allObjects的控制块，指向数组的第i个元素
   auto elemShared = std::shared_ptr<Object>(allObjects, &allObjects[i]);
   std::weak_ptr<Object> elemWeak = elemShared;
   // 使用elemWeak做后续操作
}

这种方式下，所有元素的shared_ptr/weak_ptr都共享数组的控制块，只有当allObjects和所有元素的shared_ptr都销毁后，数组才会被delete[]释放，不会出现双重释放问题。

方案2：改用std::vector包裹（更推荐）

如果场景允许，用std::shared_ptr<std::vector<Object>>代替数组型shared_ptr会更安全、灵活，vector会自动处理元素的构造/析构，也支持动态调整大小：

// 创建包含count个默认构造Object的vector，并用shared_ptr管理
std::shared_ptr<std::vector<Object>> allObjects = std::make_shared<std::vector<Object>>(count);
for(int i=0;i<count; i++){
   // 别名构造：共享vector的控制块，指向第i个元素
   auto elemShared = std::shared_ptr<Object>(allObjects, &(*allObjects)[i]);
   std::weak_ptr<Object> elemWeak = elemShared;
   // 使用elemWeak做后续操作
}

关键说明 #

• 别名构造的shared_ptr不会单独释放指向的元素，它的销毁不会触发元素的delete操作，只有当原数组/vector的shared_ptr完全释放时，才会销毁整个数组/vector。
• 如果你需要通过weak_ptr访问元素，记得在使用前调用lock()检查原数组是否还存在（避免悬空指针）。

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