如何在C++中为运行时确定大小的二维/一维动态数组使用智能指针？

方案可行性说明 #

你计划的“将二维数组映射为总大小m*n的连续一维内存、通过偏移量a[j*m + i]访问元素”的思路完全可行。这种实现方式是很多底层矩阵计算库的主流选择：相比传统“指针数组嵌套行指针”的二维实现，它的内存连续、缓存命中率高、没有多次内存申请/释放的额外开销，完全不需要依赖多级二维指针就能实现完整的二维数组功能，而且因为你已经熟悉裸指针一维数组的访问逻辑，迁移到这个方案几乎没有额外的学习成本。

对应智能指针的声明与使用 #

std::unique_ptr 实现写法 #

std::unique_ptr对动态数组有专门的偏特化版本，会自动在对象销毁时调用delete[]释放数组内存，从语法层面避免释放逻辑错误，具体写法为：

• 基础写法（C++11及以上支持）：
  声明存储double类型、总长度为m*n的智能指针对象：
  std::unique_ptr<double[]> dyn_arr(new double[m * n]);
  注意：模板参数里一定要加[]标识数组类型，如果写成std::unique_ptr<double> dyn_arr(...)，释放时会错误调用delete而非delete[]，触发未定义行为。
• 更安全的推荐写法（C++14及以上支持）：
  用std::make_unique完成初始化，避免构造过程中的异常安全问题：
  auto dyn_arr = std::make_unique<double[]>(m * n);
  使用时和裸指针操作完全一致：
• 元素访问：直接用下标语法dyn_arr[j * m + i]即可，和你之前写的裸指针访问逻辑没有区别
• 对接需要裸指针参数的旧接口：通过dyn_arr.get()取出原始内存指针传入即可

std::shared_ptr 实现写法 #

std::shared_ptr的数组支持需要结合编译标准区分写法，避免出现和裸指针版本一样的释放错误：

• C17及以上版本：已经标准化了数组特化，写法和unique_ptr逻辑一致：
  std::shared_ptr<double[]> dyn_arr(new double[m * n]);
  C20之后可以用std::make_shared<double[]>(m * n)初始化，这种写法会将对象内存和引用计数控制块分配在同一块连续内存上，相比手动new的版本减少一次堆分配的开销。
• C++11/14兼容版本：没有内置数组特化，需要手动绑定数组专用的删除器，保证释放时调用delete[]：
  std::shared_ptr<double> dyn_arr(new double[m * n], [](double* p) { delete[] p; });
  这种写法的元素访问逻辑同样和裸指针没有区别，直接用下标即可。

关于“是否需要直接用二维指针”的问题 #

完全没必要。你选择的连续一维内存方案本身就是更优解，传统的多级二维指针（比如double** a = new double*[m]后逐行申请长度为n的内存）的实现存在内存碎片化、缓存效率低、释放逻辑复杂的问题，属于可以被替代的老旧实现。如果觉得手动计算j*m + i的偏移量麻烦，只需要基于这个连续内存的智能指针写一层极简的行访问封装（比如重载二维下标运算符），不需要引入多级指针的复杂度。

避坑提醒：不要为了贴近二维语法写std::unique_ptr<std::unique_ptr<double[]>[]>这类嵌套智能指针，这种写法和传统多级二维指针没有本质区别，完全丢失了连续内存的性能优势，反而增加了不必要的复杂度。

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