std::mdspan是C++23引入的轻量级多维数组视图,不拥有数据,仅持指针、布局和尺寸;构造需三要素(指针、extents、layout)且指针生命周期须覆盖mdspan;下标访问用operator()而非嵌套operator[];函数传参宜用模板推导;与拥有数据的std::mdarray定位不同;需编译器和标准库支持。
std::mdspan 是 C++23 引入的轻量级多维数组视图,它不拥有数据,只持有指向内存的指针 + 布局信息(layout)+ 尺寸(extents),类似 std::span 的多维扩展。它本身不分配内存,也不管理生命周期,用错最常见后果是悬空访问或越界读写——不是编译报错,而是运行时未定义行为。
怎么构造一个合法的 std::mdspan
构造核心是三要素:数据指针、尺寸描述(std::extents)、布局策略(std::layout_left/std::layout_right/std::layout_stride)。缺一不可,且指针必须保证在 mdspan 生命周期内有效。
常见错误:
- 传入栈上局部数组地址,但
mdspan逃逸出作用域 → 悬空 - 用
std::vector::data()构造后,又对 vector 调用push_back或resize→ 迭代器失效,指针失效 - 尺寸参数顺序与实际内存布局不匹配(比如按行主序传了列数在前)→ 索引错位
正确示例(二维行主序):
立即学习“C++免费学习笔记(深入)”;
int data[12] = {0};
std::extents ext; // 3 行 × 4 列
std::mdspan<int, std::extents, std::layout_right> view{data, ext};
view(1, 2) = 42; // 等价于 data[1 * 4 + 2]
std::mdspan 的下标访问和 operator[] 差异
mdspan 支持多参数 operator()(如 view(i, j, k)),也支持单参数 operator[],但后者只对一维视图或降维后视图有意义。误用会导致编译失败或意外降维。
关键点: