std::ranges::iota, std::ranges::iota_result

定义在头文件 `<numeric>` 中
调用签名
template< std::input_or_output_iterator O, std::sentinel_for<O> S, std::weakly_incrementable T > requires std::indirectly_writable<O, const T&> constexpr iota_result<O, T> iota( O first, S last, T value );	(1)	(自 C++23 起)
template< std::weakly_incrementable T, ranges::output_range<const T&> R > constexpr iota_result<ranges::borrowed_iterator_t<R>, T> iota( R&& r, T value );	(2)	(自 C++23 起)
辅助类型
template< class O, class T > using iota_result = ranges::out_value_result<O, T>;	(3)	(自 C++23 起)

用顺序递增的值填充范围 [first, last)，从 value 开始，重复地评估 ++value.

等效操作

*(first)     = value;
*(first + 1) = ++value;
*(first + 2) = ++value;
*(first + 3) = ++value;
...

[编辑] 参数

first, last	-	要填充的元素范围，从 value 开始，并以递增值填充。
value	-	要存储的初始值；表达式 ++value 必须是格式良好的。

[编辑] 返回值

{last, value + ranges::distance(first, last)}

[编辑] 复杂度

正好 last - first 次递增和赋值。

[编辑] 可能的实现

struct iota_fn
{
    template<std::input_or_output_iterator O, std::sentinel_for<O> S,
            std::weakly_incrementable T>
    requires std::indirectly_writable<O, const T&>
    constexpr iota_result<O, T> operator()(O first, S last, T value) const
    {
        while (first != last)
        {
            *first = as_const(value);
            ++first;
            ++value;
        }
        return {std::move(first), std::move(value)};
    }
 
    template<std::weakly_incrementable T, std::ranges::output_range<const T&> R>
    constexpr iota_result<std::ranges::borrowed_iterator_t<R>, T>
    operator()(R&& r, T value) const
    {
        return (*this)(std::ranges::begin(r), std::ranges::end(r), std::move(value));
    }
};
 
inline constexpr iota_fn iota;

[编辑] 备注

该函数以编程语言 APL 中的整数函数 ⍳ 命名。

特性测试宏	值	标准	特性
`__cpp_lib_ranges_iota`	202202L	(C++23)	`std::ranges::iota`

[编辑] 示例

使用迭代器 vector （std::vector<std::list<T>::iterator>) 作为代理来随机打乱 std::list 的元素，因为 ranges::shuffle 不能直接应用于 std::list。

运行此代码

#include <algorithm>
#include <functional>
#include <iostream>
#include <list>
#include <numeric>
#include <random>
#include <vector>
 
template <typename Proj = std::identity>
void println(auto comment, std::ranges::input_range auto&& range, Proj proj = {})
{
    for (std::cout << comment; auto const &element : range)
        std::cout << proj(element) << ' ';
    std::cout << '\n';
}
 
int main()
{
    std::list<int> list(8);
 
    // Fill the list with ascending values: 0, 1, 2, ..., 7
    std::ranges::iota(list, 0);
    println("List: ", list);
 
    // A vector of iterators (see the comment to Example)
    std::vector<std::list<int>::iterator> vec(list.size());
 
    // Fill with iterators to consecutive list's elements
    std::ranges::iota(vec.begin(), vec.end(), list.begin());
 
    std::ranges::shuffle(vec, std::mt19937 {std::random_device {}()});
    println("List viewed via vector: ", vec, [](auto it) { return *it; });
}

可能的输出

List: 0 1 2 3 4 5 6 7
List viewed via vector: 5 7 6 0 1 3 4 2

[编辑] 另请参阅

fill	将给定值复制赋值给范围内的每个元素。 (函数模板) [编辑]
ranges::fill (C++20)	将范围内的元素赋予特定值。 (niebloid)[编辑]
generate	将一系列函数调用结果分配给范围内的每个元素。 (函数模板) [编辑]
ranges::generate (C++20)	将函数的结果保存到范围内。 (niebloid)[编辑]
ranges::iota_viewviews::iota (C++20)	由重复递增初始值生成的序列组成的 `view`。 (类模板) (定制点对象)[编辑]
iota (C++11)	用起始值的连续增量填充一个范围。 (函数模板) [编辑]

编译器支持
独立和托管
语言
标准库
标准库头文件
命名需求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
执行支持库 (C++26)
技术规范
符号索引
外部库

cppreference.com

命名空间

变体

视图

操作