mdspan如何在不违反严格别名规则的前提下实现多维数组视图？

嘿，这个问题问到点子上了！先给你拍板确认：你说的通过指针算术直接访问多维数组第二行及后续行属于未定义行为，核心原因确实是严格别名规则——C++标准明确禁止用非兼容类型的指针访问同一块内存（char*、unsigned char*这类用于字节级访问的指针除外），比如把int[5][5]的首地址转成int*后跳行，本质是用int*去访问int[5]类型的数组对象，这直接违反了严格别名要求。

那mdspan是怎么在合规前提下实现多维数组视图的？核心思路就是彻底绕开“用不同类型指针做算术”的操作，具体来说有这几个关键设计：

• 用字节偏移替代跨类型指针算术：mdspan内部从不直接把多维数组转换成T(*)[N]或T**来跳行，而是始终把底层内存看作连续的字节流。比如要访问(i,j)位置的元素，它会先通过维度和布局策略（比如行优先/列优先）计算出该元素相对于起始地址的字节偏移量：(i * 列数 + j) * sizeof(T)，然后用char*（标准允许用它访问任意对象的字节）定位到对应位置，最后再安全地转换回T&——整个过程完全符合严格别名规则，因为char*是标准豁免的类型。
• 类型安全的布局计算：mdspan的extents（维度信息）和layout（布局策略）会在编译期或运行期帮你完成所有索引到偏移的数值计算，不需要开发者手动操作指针。比如layout_right（行优先）下，行的步长是用数值计算的列数，而不是指针类型的增量，从根源上避免了跨类型指针操作。
• 仅做视图解释，不修改内存类型：mdspan本身是“视图”而非容器，它不持有内存，也不会改变底层数组的类型。所有的访问都是基于字节级的定位+类型转换，全程没有把数组对象转换成其他不兼容的指针类型，自然不会触发严格别名的未定义行为。

你提到的用reinterpret_cast来回转char*的workaround，其实就是mdspan底层逻辑的“手动版”——只不过mdspan把这个逻辑封装成了类型安全、接口友好的标准组件，避免了手动转换时容易出现的计算错误或类型误用。

内容的提问来源于stack exchange，提问作者metalfox