std::mdspan是C++23引入的多维数组视图，不拥有数据，仅持指针、extents和映射器，支持零开销、安全灵活的多维索引；解决传统数组维度僵化、索引易错、布局适配难等问题。
std::mdspan 是 C++23 引入的标准库组件，用于表示**任意维度的多维数组视图（view）**——它不拥有数据，只持有指向已有内存的指针、各维度大小和访问策略（即“映射器”），支持高效、安全、灵活的多维索引操作。
它解决什么问题？
传统 C 风格数组或 std::vector<:vector>> 在多维场景下存在明显短板：内存不连续、维度固定难泛化、索引计算易出错、无法零开销适配现有数据布局（如图像像素、矩阵库缓冲区）。std::mdspan 填补了这一空白——它像 std::span 的多维升级版，专注“观察”，不管理内存，但能精确描述如何把一维内存解释为 N 维结构。
核心组成三要素
每个 mdspan 实例由三个关键部分构成：
- 元素指针（pointer）：指向首元素的裸指针（如 double*），不负责生命周期
- 下标 extents（std::extents）：编译期或运行期确定的各维大小（如 extents 表示 3×4×5）
- 映射器（mapping）：定义如何把多维下标 (i,j,k) 转成一维偏移（如 row-major / column-major / 自定义步长）；默认是 layout_right（C 风格行优先）
基础用法示例
以下代码创建一个 2×3 的行优先视图，绑定到栈上数组：
立即学习“C++免费学习笔记（深入）”；
#include <mdspan>
#include <iostream>
int main() {
int data[6] = {1,2,3,4,5,6};
// 2行3列，行优先布局
std::mdspan<int, std::extents<size_t, 2, 3>> view(data);
std::cout << view(0,1) << "\n"; // 输出 2（第0行第1列）
std::cout << view.extent(0) << "x" << view.extent(1) << "\n"; // 输出 2x3
}
常见实用场景
- 零拷贝接入科学计算/图像数据：直接将 OpenCV Mat::data 或 Eigen::Map 的底层指针封装为 mdspan，复用算法而不复制
- 编写维度无关的模板算法：函数模板接受 auto&& tensor，用 tensor.rank()、tensor.extent(i)、tensor(...) 统一处理 2D/3D/4D 输入
- 替代手写多维索引宏或嵌套 vector：更安全（越界可选检查）、更轻量（无额外堆分配）、语义更清晰
- 与 layout_stride 配合实现 strided 子视图：例如取图像每隔一行、每两列的 ROI，无需新内存
基本上就这些。std::mdspan 不复杂但容易忽略——它不是容器，而是“解释器”。用好它，能让 C++ 多维数值编程更贴近数学直觉，也更贴近硬件实际布局。
