std::ranges::views::stride是C++20引入的随机访问视图适配器，用于每隔n个元素取一个，实现惰性、零拷贝的等间距采样；仅适用于vector等random_access_range，不可用于list，步长必须为正整数。
std::ranges::views::stride 是什么，能做什么
std::ranges::views::stride 是 C++20 引入的 range adaptor，作用是对一个 range 每隔 n 个元素取一个，实现等间距采样（不是切片长度，而是步长）。它不复制数据，返回的是一个 view —— 轻量、延迟求值、只读。常见用途包括：下采样数组、提取偶数索引元素、跳过填充字节等。
注意它和 std::ranges::subrange 或 std::span 不同：后者是连续子序列，stride 是稀疏索引序列。比如对 {0,1,2,3,4,5} 应用 stride(2)，结果是 {0,2,4}，而非 {0,1} 这类固定长度切片。
怎么写才不会编译失败
必须满足两个前提条件，否则会报类似 no matching function for call to 'stride' 的错误：
- 使用 C++20 或更高标准（
-std=c++20），且包含头文件<ranges> - 输入 range 必须是
random_access_range（如std::vector、std::array、原生数组、std::string），不能是std::list或std::forward_list—— 因为stride需要支持 O(1) 索引跳转 - 步长参数
n必须是正整数；传0或负数会导致未定义行为（多数实现直接 static_assert 失败）
正确写法示例：
立即学习“C++免费学习笔记（深入）”；
#include <ranges>
#include <vector>
#include <iostream>
int main() {
std::vector v = {10, 20, 30, 40, 50, 60};
auto stepped = v | std::ranges::views::stride(2);
for (int x : stepped) std::cout << x << " "; // 输出: 10 30 50
}
和 for 循环或 vector 索引比，有什么实际差异
表面看效果类似 for (size_t i = 0; i < v.size(); i += n) {... v[i] ...}，但关键区别在语义和组合能力：
-
stride返回的是 view，可链式组合：比如v | views::stride(3) | views::filter([](int x){return x > 100;})，无需中间容器 - 迭代器类型是
std::ranges::ref_view<...>::iterator，解引用得到的是原始元素的引用，修改会影响原容器（这点和views::filter不同） - 性能上无额外开销 —— 没有拷贝，没有动态分配；但要注意：每次
begin()/end()都重新计算起始/结束位置，所以避免在循环内反复调用stepped.begin() - 不支持
operator[]—— 它不是随机访问 view（即使底层是 random_access_range），所以不能写stepped[1]
容易被忽略的边界行为
当容器大小不能被步长整除时，stride 自动停在最后一个有效索引，不会越界。但要注意几个隐含细节：
- 空 range 输入：返回空 view，安全
- 步长大于 size：结果只含第一个元素（索引 0），例如
{1,2}+stride(5)→{1} - 如果原 range 是临时对象（如函数返回的
std::vector），直接绑定到auto&会悬垂 —— 必须用auto（值语义）或确保 lifetime 足够 - 不能用于 const 容器的非常量 view：若原容器是
const std::vector<int>，stride返回的 view 解引用得到的是const int&，试图赋值会编译失败
真正麻烦的地方在于：它看起来像切片，实则是“索引掩码”。想做真正的等长分块（如每 3 个元素一组），得用 views::chunk 或手写逻辑，别误用 stride。
