std::mdspan 是 C++23 引入的零开销多维数组视图，非容器，需显式启用实验支持（如 -std=c++2b -fexperimental-library），且目前仅存在于 std::experimental 命名空间；使用时须确保生命周期安全、布局匹配、连续性验证，并用 view(i,j) 而非 viewi 索引。
不能直接用 std::mdspan——它在 C++23 标准里，但 GCC 13/Clang 17/MSVC 19.35 默认仍不启用，必须显式开启实验支持；它也不是“替代 vector
编译器报错 'mdspan' is not a member of 'std' 怎么办
这不是你代码写错了，是编译器和标准库还没认这个符号。截至 2026 年中，所有主流实现都只提供 std::experimental::mdspan，而非正式版 std::mdspan。
- GCC 13+：加
-std=c++2b -fexperimental-library，且确认 libstdc++ ≥ 13.3（旧版头文件缺失<mdspan>） - Clang 17+：加
-std=c++2b -Xclang -stdlib=libc++，并确保libc++≥ 17.0（系统自带 libc++ 通常太老） - MSVC 19.35+：加
/std:c++2b，并安装最新 Windows SDK（否则<mdspan>不可见） - 别写
#include <mdspan>就以为万事大吉——先运行g++ --version确认版本，再检查头文件是否真在include/c++/13.3/experimental/这类路径下
怎么声明一个二维 float 视图并安全绑定 vector 数据
核心是三要素：元素类型、维度规格（extents 或 dextents）、布局策略（layout_right 最常用）。它不接管内存，所以必须让 mdspan 的生命周期严格短于底层 std::vector。
- 静态尺寸（推荐，零开销）：
std::experimental::mdspan<float std::experimental::extents>, std::experimental::layout_right></float>→ 绑定buf.data()后，view(1, 2)等价于buf[1 * 5 + 2] - 动态尺寸（运行时行列数）：
std::experimental::mdspan<float std::experimental::dextents>></float>→ 构造时传入buf.data(), rows, cols，会多一次乘法，但现代 CPU 几乎无感 - 危险操作示例：
return std::experimental::mdspan{vec.data(), m, n}—— 若vec是函数参数且被 move，data()立即失效；正确做法是把vec和mdspan封装进同一个 struct，或改用std::mdarray（C++26 提案，尚未落地）
切片后还能当连续内存用吗
不能默认假设连续。subspan 返回的新 mdspan 是否连续，取决于原 layout 和切片维度。比如对 layout_right 的 3×4 矩阵取第 1 行子集（subspan(1, 1, 0, 4)），底层仍是连续 4 个元素；但若取第 0、2 列（subspan(0, 3, 0, 1)），步长变成 4，内存就跳着访问了。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 运行时检查是否覆盖连续块：
view.mapping().is_exhaustive()返回 true 仅表示没“空洞”，不代表缓存友好 - 要传给
std::reduce这类要求contiguous_iterator的算法？得额外验证view.mapping().stride(0) == 1 && view.rank() == 1，否则行为未定义 - 调试阶段可临时封装带
assert的工厂函数，但生产环境别依赖它兜底（NDEBUG下失效）
为什么不能写 view[i][j] 而必须用 view(i, j)
mdspan::operator[] 是可变参数模板，接受一串整型索引，不是嵌套调用。写成 view[i][j] 会触发 operator[] 返回一个代理对象，而该代理不重载 operator[] —— 编译直接失败，错误信息常是 “no match for operator[]”。
- 合法写法只有：
view(i, j)、view(i, j, k)、view(0)（对一维） - 没有链式下标，也没有
at()成员函数；边界检查靠 accessor（如std::default_accessor在 debug 模式下可能断言），但不强制启用 - 若需类似
vec[i][j]的语法糖，得自己写 wrapper，但会引入间接层，破坏零开销目标
最易被忽略的点：mdspan 的 layout 决定索引语义，不是数据排布本身。同一块内存，用 layout_right 和 layout_left 构造出的两个 mdspan，(1,2) 访问的是完全不同的元素——这在对接 NumPy（默认列主序）或 BLAS（多数行主序）时，错一个 layout 就全算错。
