std::views::iota仅支持公差为1的整数序列，左闭右开区间故std::views::iota(0,5)生成0、1、2、3、4共5个数；它与<numeric>中的填充算法std::iota用途完全不同，前者是懒求值视图构造器，后者是立即写内存的算法。
std::views::iota 本身不生成任意等差序列，只支持公差为 1 的整数序列；要得到 a + i×d 形式的等差视图，必须组合 std::views::transform 或改用 std::views::iota + 索引映射。
std::views::iota(start, end) 为什么只生成 5 个数而不是 6 个？
因为它是左闭右开区间：std::views::iota(0, 5) 表示 [0, 5)，实际迭代值为 0、1、2、3、4 —— 共 5 次。这和 std::vector::erase(first, last)、for (int i = 0; i 的语义完全一致。
- 传入浮点数如
std::views::iota(0.0, 5.0)会编译失败：end 必须满足totally_ordered_with<decltype(start)>，而double不满足semiregular要求 - 混合类型如
std::views::iota(0LL, 10)（long long 和 int）也会编译失败，类型不匹配 - 正确做法是显式统一类型：
std::views::iota<long long>(0, 10)</long>或std::views::iota(0LL, 10LL)
如何用 std::views::iota 生成首项 a、公差 d 的等差视图？
不能直接实现，但可借助 std::views::transform 映射索引：
auto arithmetic = std::views::iota(0, n)
| std::views::transform([a = 10, d = 3](int i) { return a + i * d; });
// → {10, 13, 16, ..., a + (n-1)*d}
- 若需无限等差序列（如所有偶数），必须用无限
std::views::iota+std::views::transform：std::views::iota(0) | std::views::transform([](int i) { return 2 * i; }) - 注意：
std::views::iota(0) | std::views::transform(...)仍是懒求值视图，不分配内存，也不触发计算，直到被消费 - 避免在 lambda 中捕获非常量引用或局部变量地址——视图可能比作用域活得久
std::views::iota(0) 无限视图不加 take 就遍历会怎样？
行为未定义，实践中几乎总是卡死或崩溃。C++20 标准明确要求无限视图必须由终结适配器（如 std::views::take、std::views::take_while）约束，否则迭代器递增可能溢出、回绕，或触发断言/UB。
立即学习“C++免费学习笔记（深入）”；
-
for (int x : std::views::iota(0)) { /* ... */ }→ 编译通过，运行 hang 住 -
std::views::iota(0) | std::views::take(0)是合法空视图；但std::views::take(-1)编译失败（参数类型是无符号） - 条件截断不能靠 for-range 自动停：想取“第一个大于 100 的偶数”，得写
std::ranges::find_if(arithmetic, [](int x) { return x > 100; })，而非试图让 range-for “自动退出”
std::views::iota 和 std::iota 算法容易混淆的三个关键点
名字像，头文件不同，用途完全不同：
-
std::iota在<numeric>，是**填充算法**：立即写内存，要求容器已分配空间，支持任意前向迭代器（包括std::list） -
std::views::iota在<ranges>，是**视图构造器**：零拷贝、懒求值、不修改任何数据，返回的是iota_view类型对象 - 二者不能混用：对
std::vector调用std::iota(v.begin(), v.end(), 0)是填充；而v | std::views::iota(0)是非法的——std::views::iota不接受容器作为参数
最易忽略的是：当你需要“生成坐标对”或“延迟生成大量索引”时，std::views::iota 的组合能力远超 std::iota，但它绝不负责内存管理或边界安全——这些全靠你显式加 take、检查类型、约束模板参数。
