指针步长是编译器根据指针所指类型自动确定的字节数，决定ptr+1跳过的字节数，如int为4、double为8；void*不可加减因sizeof(void)未定义；类型转换会改变步长；二维数组行优先布局中逻辑步长为cols；std::mdspan支持显式配置stride；步长影响缓存行对齐与伪共享。
指针步长就是 sizeof(*ptr)
指针的步长（Stride）不是你手动指定的值，而是编译器根据指针类型自动算出来的字节数。它决定了 ptr + 1 到底往前跳多少字节。
比如 int* p，sizeof(int) 通常是 4，那么 p + 1 就跳 4 字节；而 double* q，sizeof(double) 通常是 8，q + 1 就跳 8 字节。这个“4”和“8”就是各自的步长。
- 步长只由指针所指类型的大小决定，和数组是否连续、内存是否对齐无关
- 对
void*不能做+n运算，因为sizeof(void)无定义 → 步长无法确定 - 强制类型转换会改变步长：把
char*转成int*后，+1行为立刻从跳 1 字节变成跳 4 字节
二维数组里 stride 容易错在“行优先 vs 列优先”
当你用一维内存模拟二维数组（比如 std::vector<int> data(ROWS * COLS)</int>），访问 data[r][c] 的等价索引是 r * COLS + c，而不是 c * ROWS + r —— 这个 COLS 就是行方向的逻辑步长。
如果你误写成列优先公式，所有数据都会偏移，但编译器不报错，运行时结果错得非常隐蔽。
- 行优先布局下，同一行元素地址连续，跨行才跳
COLS * sizeof(int) - 步长错误常出现在手写矩阵乘法、图像像素遍历、或对接 NumPy 的
strides属性时 - NumPy 的
arr.strides[0]对应 C++ 里“跳一行要多少字节”，即COLS * sizeof(dtype)
std::mdspan 的 stride 是显式可配的
C++23 的 std::mdspan 把步长从隐式规则变成了可配置参数。它的构造函数允许你传入自定义 stride 数组，比如：
int data[12];
std::extents<size_t> ext;
// 默认构造：行主序，stride[0] = 4, stride[1] = 1
std::mdspan<int std::extents>> m1{data, ext};
<p>// 手动指定 stride：让列主序生效
std::mdspan<int std::extents>> m2{data, ext, std::array{1, 3}};
// 此时 m2(1,2) 访问的是 data[1 + 2*3] == data[7]</int></p></int></size_t>
- 默认
mdspan使用单位步长切片（unit-stride slice），行为和传统数组一致 - 传入非单位 stride（如
strided_slice{.offset=0, .extent=5, .stride=2}）会触发非连续内存访问，影响缓存命中率 - 用错
strided_slice的stride值，会导致越界读或跳过数据，且静态检查很难捕获
步长和缓存行对齐有隐性冲突
64 字节缓存行意味着 CPU 每次加载数据都顺带预取相邻 63 字节。但如果你的步长是 48 字节（比如结构体大小为 48），那连续两次访问就会跨两个缓存行——即使逻辑上是顺序访问，硬件仍要两次内存加载。
更糟的是，如果多个线程各自按 48 字节步长更新不同变量，却落在同一缓存行里，就会触发伪共享（false sharing），性能断崖式下跌。
- 用
alignas(64)强制对齐结构体起点，可避免单个对象跨缓存行 - 步长为 64 的整数倍（如 64、128）最友好，但需权衡内存占用
-
__builtin_prefetch(&data[i + 4], 0, 3)可缓解大步长带来的延迟，但不能替代合理布局
步长看着只是加减法背后的偏移量，但它串联了类型系统、内存布局、缓存行为和并行安全——改一个 int* 为 short*，步长减半，可能让原本缓存友好的循环突然变慢两倍。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
