题干与适用场景
请设计一个二维矩阵接口：既不复制数据，又能支持行主序和列主序，并说明 std::mdspan 的布局、生命周期和性能风险。
题目适合 C++23、数值计算、图像处理或高性能服务的现场编码。面试官期待你把“二维下标”连接到线性存储、对象所有权和访问模式，而不是只背出一个容器名称。
面试官考察点
- 是否知道
std::mdspan是非拥有的多维视图，不负责分配或释放元素。 - 能否说明
layout_right、layout_left与自定义步长的映射差异。 - 能否识别底层缓冲区生命周期、扩容和移动造成的悬空视图风险。
- 能否把布局选择、遍历顺序和缓存局部性联系起来。
- 能否用静态维度、动态维度和运行时校验表达接口契约。
回答前需要澄清的问题
- 底层数据由谁拥有，接口是否允许调用方在视图存活期间扩容或移动容器？
- 行列维度是否在编译期已知，是否需要支持不同维度的同一函数？
- 输入数据原本是行主序、列主序，还是带有 padding 的分块存储？
- 性能目标是顺序扫描、随机访问，还是需要同时适配 CPU 与其他执行设备？
30 秒回答框架
mdspan 是 C++23 的非拥有多维数组引用：它保存数据句柄、维度和索引到偏移量的映射。先保证拥有者的生命周期长于视图，再根据数据来源选择 layout_right（最右维步长为一，常见的 C 风格行主序）、layout_left（最左维步长为一，常见的列主序）或 layout_stride。静态维度可以进入类型，动态维度用 dextents，但缓冲区大小和生命周期仍需由调用者保证。遍历顺序要匹配步长，否则结果仍正确，却可能产生大量缓存未命中。
分步骤深入解答
1. 先区分视图与容器
mdspan 类似一维 span 的多维扩展：它提供下标、维度和映射，不拥有元素。下面的 storage 才是所有者：
#include <mdspan>
#include <vector>
std::size_t rows = 3;
std::size_t cols = 4;
std::vector<float> storage(rows * cols);
using matrix_view = std::mdspan<float, std::dextents<std::size_t, 2>>;
matrix_view matrix(storage.data(), rows, cols);
matrix(1, 2) = 7.0f;storage 被销毁、移动或重新分配后，matrix 不能继续使用。接口应明确禁止这些操作，或只接收在调用期间保持稳定的指针和大小。
2. 解释布局映射
逻辑坐标会经过布局策略映射成线性偏移。layout_right 让最右维连续，因此二维访问通常按 row 再按 column 扫描；layout_left 让最左维连续，适合相反的存储约定。layout_stride 可以表达转置、padding 或分块数据。
布局不会复制数据，也不会自动把行主序转换成列主序。若映射与真实缓冲区不一致，读取的就是错误元素；若映射正确但遍历方向不匹配，主要代价是缓存局部性下降。
3. 选择静态或动态维度
固定列数可以写进类型，帮助编译器传播信息：
using four_column_view = std::mdspan<
float,
std::extents<std::size_t, std::dynamic_extent, 4>>;行数运行时确定，列数是类型契约。完全动态时使用二维 dextents 别名。无论哪种形式，都应在构造前检查 rows * cols 不超过实际缓冲区容量，并注意乘法溢出。
4. 把性能讨论落到步长
面试中可以展示两个循环：对 layout_right 视图按行扫描，使内层列下标连续；对 layout_left 则调整循环顺序。检查 matrix.mapping().stride(i) 或映射所需的跨度，能够把“缓存友好”从口号变成可测量的假设。基准测试应分别覆盖顺序、反向和跨步访问，并固定数据规模与编译选项。
5. 说明边界与访问器
默认访问不等于自动边界检查。若产品接口需要检查，可以在入口验证维度，或提供带检查语义的访问器策略；不要把调试断言误当成生产期安全保证。自定义 accessor 还能表达设备指针或代理引用，但应先说明其访问和生命周期契约，再讨论实现。
高质量示范回答
我会把矩阵所有权留给 vector、数组或调用方分配的缓冲区，把 mdspan 作为轻量视图传给算法。构造时记录两个维度并校验乘积，视图的存活时间不能超过底层存储，也不能跨过会导致 vector 重新分配的操作。布局策略必须和数据的真实步长一致：默认的 layout_right 适合最右维连续的 C 风格数据，layout_left 适合列连续数据，带 padding 时使用 layout_stride。算法遍历顺序跟随连续维度，避免把正确但跨步的访问误认为高性能。最后，我会用地址清理器检查悬空视图，用维度和步长断言检查映射，再用固定基准比较不同布局和循环顺序。
常见错误
- 把
mdspan当成拥有内存的矩阵容器，忘记保存拥有者。 - 用默认布局解释外部数据，却没有确认数据的实际步长。
- 只说“行主序更快”，没有说明快取决于遍历顺序和连续维度。
- 忽略
vector扩容、移动或临时数组结束造成的悬空指针。 - 只检查两个维度，没有检查缓冲区容量和乘法溢出。
- 声称
mdspan自动做边界检查或自动完成转置。
追问及应对
mdspan 和 span 的差别是什么？
span 描述一段一维连续元素；mdspan 额外携带多维 extents、布局映射和访问器，因此可以把多维坐标转换为线性偏移。两者都不拥有底层元素。
什么时候选 layout_stride？
当数据有 padding、转置视图、切片或非连续维度时选它。先确认每个维度的真实 stride，再验证映射需要的最大偏移不会超过缓冲区。
视图能否返回给调用者？
可以，但必须同时保证返回期间底层所有者仍存活且地址稳定。不要从局部 vector 返回视图，也不要在视图存活时允许拥有者重新分配。
如何证明布局选择带来收益？
记录 stride 和访问顺序，分别测量连续扫描与跨步扫描的吞吐、缓存指标和数据规模变化。结论应来自同一编译器、优化级别和输入分布下的基准，而不是只凭类型名称。
资料来源：cppreference 的 std::mdspan 与 mdspan 头文件条目、WG21 P0009R6《mdspan: A Non-Owning Multidimensional Array Reference》、Verve AI 二维数组面试讨论（完整链接见 meta.json）。