C++中运行时确定大小的动态多维数组解决方案问询

一、标准库原生方案：std::mdspan（C++20及以上） #

你提到std::mdspan语法冗长，但可以通过类型别名或封装辅助函数简化使用。它正是为这类「运行时确定维度/大小、生命周期内不变」的多维数组场景设计的——本质是一个非拥有式的多维视图，可以绑定到连续内存块（比如std::vector、new分配的数组），完全避免std::vector<std::vector<T>>的碎片化内存分配问题。

示例简化用法：

#include <mdspan>
#include <vector>

// 封装创建2D mdspan的辅助函数
template<typename T>
auto make_2d_span(std::vector<T>& data, size_t rows, size_t cols) {
    return std::mdspan<T, std::extents<std::size_t, std::dynamic_extent, std::dynamic_extent>>(
        data.data(), rows, cols
    );
}

// 使用示例
int main() {
    size_t width = 10, height = 5;
    std::vector<int> buffer(width * height); // 连续内存块
    auto arr2d = make_2d_span(buffer, height, width);
    
    // 直接用多维索引访问
    arr2d[2][3] = 42;
    // 等价于手动计算偏移：buffer[2*width + 3] = 42
}

对于N维场景，可通过std::dextents定义通用的动态维度视图类型：

template<typename T, size_t N>
using dynamic_mdspan = std::mdspan<T, std::dextents<std::size_t, N>>;

// 创建3D数组视图
std::vector<float> buffer_3d(10*20*30);
auto arr3d = dynamic_mdspan<float, 3>(buffer_3d.data(), 10,20,30);
arr3d[2][3][4] = 3.14f;

相比std::valarray搭配std::slice的方案，mdspan的索引语法更直观，且支持编译期/运行时混合维度，灵活性更强。

二、为什么标准库没有单独提供2D/3D动态数组？ #

标准库的设计遵循通用化、最小化原则：

• mdspan作为通用多维视图，可适配任意维度、任意连续存储（栈数组、堆数组、vector等），无需为2D、3D分别设计专用容器；
• 专用的2D/3D数组容器会增加标准库复杂度，且场景局限性强——而mdspan+连续内存的组合已能覆盖绝大多数需求。

三、替代方案：轻量级自定义封装 #

如果不想依赖C++20特性，或想要更简洁的语法，可以基于你之前的实现做简化：

template<typename T>
class Array2D {
private:
    std::vector<T> data;
    size_t rows;
    size_t cols;
public:
    Array2D(size_t r, size_t c) : data(r*c), rows(r), cols(c) {}
    
    T& operator()(size_t i, size_t j) {
        return data[i * cols + j];
    }
    
    const T& operator()(size_t i, size_t j) const {
        return data[i * cols + j];
    }
    
    // 可选：兼容C++20的mdspan视图
    auto span() {
        return std::mdspan<T, std::extents<std::size_t, std::dynamic_extent, std::dynamic_extent>>(data.data(), rows, cols);
    }
};

// 使用示例
Array2D<int> arr(5,10);
arr(2,3) = 42;

这种封装既保留了连续内存的性能优势，又提供了直观的访问语法，还能兼容现代C++的视图特性。

总结 #

• 首选方案：C++20及以上用std::mdspan+连续内存（std::vector或堆数组），通过封装简化语法；
• 兼容旧标准：使用自定义轻量级连续多维数组类；
• 避免嵌套vector，它会导致内存碎片化、缓存效率低下。

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