std:: mdspan

std::mdspan 是一种多维数组视图，可将多维索引映射到数组的元素。其映射和元素访问策略可配置，且底层数组不必是连续的，甚至无需实际存在于内存中。

每个 MDS 的 mdspan 特化都建模 copyable 概念并满足：

• std:: is_nothrow_move_constructible_v < MDS > 为 true ，
• std:: is_nothrow_move_assignable_v < MDS > 为 true ，且
• std:: is_nothrow_swappable_v < MDS > 为 true 。

当 mdspan 的 accessor_type 、 mapping_type 和 data_handle_type 均为 可平凡复制 类型时，该 mdspan 特化本身也是 可平凡复制 类型。

模板参数

成员类型

数据成员

成员函数

非成员函数

辅助类型与模板

推导指引

注释

示例

#include <cstddef>
#include <mdspan>
#include <print>
#include <vector>
int main()
{
    std::vector v{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12};
    // 将数据视为连续内存，表示 2 行，每行 6 个整数
    auto ms2 = std::mdspan(v.data(), 2, 6);
    // 将相同数据视为 3D 数组 2 x 3 x 2
    auto ms3 = std::mdspan(v.data(), 2, 3, 2);
    // 使用 2D 视图写入数据
    for (std::size_t i = 0; i != ms2.extent(0); i++)
        for (std::size_t j = 0; j != ms2.extent(1); j++)
            ms2[i, j] = i * 1000 + j;
    // 使用 3D 视图读取数据
    for (std::size_t i = 0; i != ms3.extent(0); i++)
    {
        std::println("slice @ i = {}", i);
        for (std::size_t j = 0; j != ms3.extent(1); j++)
        {
            for (std::size_t k = 0; k != ms3.extent(2); k++)
                std::print("{} ", ms3[i, j, k]);
            std::println("");
        }
    }
}

slice @ i = 0
0 1
2 3
4 5
slice @ i = 1
1000 1001
1002 1003
1004 1005

参见