std::mdspan 是 C++23 引入的非拥有式多维视图，现可通过较新编译器（GCC 13+/Clang 16+/MSVC 19.32+）及对应标准库直接使用；它将一维缓冲区按指定维度和布局（如 row-major 或 column-major）解释为多维数组，支持静态（std::extents）和动态（std::dextents）维度，但不管理内存生命周期，需注意布局匹配、越界检查和对象生命周期。
std::mdspan 是什么，为什么现在就能用（即使编译器还没完全支持 C++23）
std::mdspan 不是“等 C++23 正式发布才能用”的功能——它早在 C++23 标准化前就以 std::experimental::mdspan 形式进入 GCC 12+、Clang 15+ 和 MSVC 19.32+，且在 GCC 13/Clang 16 起已移入 std 命名空间（无需 experimental 前缀）。只要开启 -std=c++2b（GCC/Clang）或 /std:c++23（MSVC），并确保标准库版本够新（如 libstdc++ 13、libc++ 16、MSVC STL 17.4+），就能直接写 std::mdspan。
它本质是一个非拥有的多维视图（non-owning multidimensional view），不管理内存生命周期，只负责把一维原始缓冲区（比如 float* 或 std::vector 的 .data()）按指定维度和布局解释为多维数组。这点和 std::span 类似，但扩展到了 N 维。
最简可用示例：从 float[] 构造 2D mdspan 并读写
假设你有一块按行优先（row-major）排列的 3×4 float 数据：
float data[12] = {1,2,3,4, 5,6,7,8, 9,10,11,12};
std::mdspan<float, std::extents<size_t, 3, 4>> mat(data);
这里关键点：
立即学习“C++免费学习笔记（深入）”；
-
std::extents<size_t, 3, 4>定义了静态维度：第一维大小 3，第二维大小 4；所有维度必须在编译期确定 -
mat(1, 2)等价于data[1 * 4 + 2]→ 返回7.0f，支持常规下标访问 - 不传模板参数时默认使用
std::layout_right（即 C 风格行优先），这也是绝大多数场景需要的 - 如果原始数据是列优先（Fortran 风格），得显式用
std::layout_left，否则索引会错位
动态维度怎么办：用 dextents 替代 extents
实际中维度常来自运行时（比如图像宽高、矩阵尺寸）。这时不能用 std::extents（它要求所有维度字面量），而要用 std::dextents<size_t, 2>：
size_t rows = get_rows(), cols = get_cols(); std::dextents<size_t, 2> dyn_ext(rows, cols); std::mdspan<float, std::dextents<size_t, 2>> dyn_mat(data, dyn_ext);
注意两点：
-
std::dextents<size_t, N>表示 N 维，每维大小运行时传入；但 N 仍需编译期确定 - 构造
std::mdspan时必须同时传入指针和std::dextents对象，顺序不能反 - 动态维度版本性能几乎无损（内部只是多存几个 size_t），但无法做编译期维度推导（比如
mat.extent<0>()返回 runtime 值）
常见坑：布局错配、越界、生命周期管理
三个高频出错点：
-
布局错配：原始数据是列优先（如某些 Fortran 库输出），却用默认
std::layout_right构造 → 所有(i,j)访问结果错乱。应改用std::mdspan<float, std::extents<3,4>, std::layout_left> -
越界不检查：
mdspan默认不带边界检查（像std::span::operator[]），mat(5,0)是未定义行为。调试时可临时加assert(i < mat.extent<0>() && j < mat.extent<1>()) -
生命周期悬空：
mdspan不持有数据，若原始std::vector被移动或析构，再访问mdspan就是野指针。务必确保原始缓冲区寿命 ≥mdspan实例
最后提醒：目前 std::mdspan 还不支持自定义映射器（custom mapping）或切片返回新 mdspan（如 mat.subspan(0,2, 1,3)），这些要等后续标准演进；当前切片得靠手动计算偏移 + 新建视图。
