std::mdspan切片后不一定连续，连续性取决于原layout类型和切片维度；安全切片需手动校验各维offset与extent，推荐封装带边界检查的工厂函数。
std::mdspan 切片后还是连续内存吗？
不是。切片（subspan）返回的 mdspan 本身不复制数据，但底层布局可能不再是连续的 —— 它取决于原 mdspan 的 layout 类型和切片方式。比如用 layout_right 对最后一维切片（如取 [2, 5)），步长仍为 1，数据逻辑上连续；但若对第一维切片（如取行子集），步长变成“行宽”，内存访问就跳着走了。
- 连续性只由
layout+ 切片维度共同决定，不能默认假设 -
mdspan::is_exhaustive()可在运行时检查是否覆盖连续块（但不保证 CPU 缓存友好） - 若后续要传给需要
contiguous_iterator的算法（如std::reduce），得先确认mdspan的mapping_type::is_always_strided() == false且步长全为 1
怎么写一个安全的二维切片函数，避免越界崩溃？
C++23 的 mdspan 不做运行时边界检查，越界 subspan 会直接导致未定义行为 —— 不抛异常，也不断言，编译期也几乎不报错。
- 必须手动校验每个维度的
offset和extent：offset >= 0 && offset + count - 推荐封装一层带检查的工厂函数，而不是裸调
subspan - 调试阶段可临时加
assert，但生产环境别依赖它来兜底（NDEBUG下失效）
auto safe_subspan_2d(auto& m, size_t r0, size_t r1, size_t c0, size_t c1) {
assert(r0 <= r1 && r1 <= m.extent(0));
assert(c0 <= c1 && c1 <= m.extent(1));
return m.subspan(std::array{r0, c0}, std::array{r1 - r0, c1 - c0});
}
std::mdspan 和 std::span 性能差异在哪？
mdspan 多了维度映射计算开销：每次 operator[] 都要调用 mapping_type::index() 把多维下标转成一维偏移。而 span 是纯指针+长度，下标访问就是加法。
- 单次访问差距微乎其微，但循环体内高频访问（如内层计算循环）可能被编译器优化掉一部分，也可能优化不掉 —— 看 layout 是否简单（
layout_right比layout_stride更易优化） - 如果你只用一维遍历（
for (size_t i = 0; i ），<code>mdspan和span生成的汇编几乎一样 - 真正影响性能的是 cache line 利用率：错误的切片顺序（比如按列优先数据却按行遍历）比映射开销更伤
为什么用 layout_stride 就容易出错？
layout_stride 允许自定义每维步长，灵活性高，但也意味着你得自己保证步长和原始内存布局一致。常见翻车点：
立即学习“C++免费学习笔记（深入）”；
- 从
std::vector构造mdspan时误设步长，导致subspan访问错位 - 把 C 风格二维数组（
int arr[10][20]）当成layout_stride使用，却没按行主序算步长（第二维步长应为 1，第一维是 20） - 传递给外部库（如 BLAS）前没检查
mdspan是否满足其对 stride 的要求（比如某些函数要求 leading dimension 显式传入，而你从mdspan推导错了）
最稳妥的做法：除非明确需要非标准步长，否则优先用 layout_right 或 layout_left。它们的映射逻辑固定、可预测，编译器也更熟悉。
实际写高性能计算代码时，最容易被忽略的不是语法或 API，而是「切片后的 memory access pattern 是否还匹配硬件预取节奏」—— 这没法靠编译器警告提醒，得靠 perf / VTune 看 cache miss rate。
