Spec-Zone.ru › C++

std::ranges::generate

Defined in header <algorithm>
Call signature
template< std::input_or_output_iterator O, std::sentinel_for<O> S,
          std::copy_constructible F >
requires std::invocable<F&> && std::indirectly_writable<O, std::invoke_result_t<F&>>
constexpr O
    generate( O first, S last, F gen );
(1) (since C++20)
template< class R, std::copy_constructible F >
requires std::invocable<F&> && ranges::output_range<R, std::invoke_result_t<F&>>
constexpr ranges::borrowed_iterator_t<R>
    generate( R&& r, F gen );
(2) (since C++20)
1) Присваивает результат последовательных вызовов объекта-функции gen каждому элементу в диапазоне [first, last).
2) Аналогично (1), но использует r в качестве диапазона, как если бы использовался ranges::begin(r) как first и ranges::end(r) как last.

Функциональные сущности, описанные на этой странице, являются ниблоидами, то есть:

  • Явные списки шаблонов аргументов не могут быть указаны при вызове любого из них.
  • Ни один из них не виден для поиска аргументов, зависящих от контекста.
  • Когда любой из них найден обычным поиском без квалификатора как имя слева от оператора вызова функции, поиск аргументов, зависящих от контекста заблокирован.

На практике они могут быть реализованы как объекты-функции или с помощью специальных расширений компилятора.

Параметры

first, last - диапазон элементов для изменения
r - диапазон элементов для изменения
gen - объект-функция-генератор

Возвращаемое значение

Итератор вывода, который сравнивается как равный last.

Сложность

Ровно ranges::distance(first, last) вызовов gen() и присваиваний.

Возможная реализация

struct generate_fn
{
    template<std::input_or_output_iterator O, std::sentinel_for<O> S,
             std::copy_constructible F>
    requires std::invocable<F&> && std::indirectly_writable<O, std::invoke_result_t<F&>>
    constexpr O operator()(O first, S last, F gen) const
    {
        for (; first != last; *first = std::invoke(gen), ++first)
        {}
        return first;
    }
 
    template<class R, std::copy_constructible F>
    requires std::invocable<F&> && ranges::output_range<R, std::invoke_result_t<F&>>
    constexpr ranges::borrowed_iterator_t<R> operator()(R&& r, F gen) const
    {
        return (*this)(ranges::begin(r), ranges::end(r), std::move(gen));
    }
};
 
inline constexpr generate_fn generate {};

Пример

#include <algorithm>
#include <array>
#include <iostream>
#include <random>
#include <string_view>
 
auto dice()
{
    static std::uniform_int_distribution<int> distr {1, 6};
    static std::random_device device;
    static std::mt19937 engine {device()};
    return distr(engine);
}
 
void iota(auto& v, int n)
{
    std::ranges::generate(v, [&n]() mutable { return n++; });
}
 
void print(std::string_view comment, const auto& v)
{
    for (std::cout << comment; int i : v)
        std::cout << i << ' ';
    std::cout << '\n';
}
 
int main()
{
    std::array<int, 8> v;
 
    std::ranges::generate(v.begin(), v.end(), dice);
    print("dice: ", v);
    std::ranges::generate(v, dice);
    print("dice: ", v);
 
    iota(v, 1);
    print("iota: ", v);
}

Возможный вывод:

dice: 4 3 1 6 6 4 5 5
dice: 4 2 5 3 6 2 6 2
iota: 1 2 3 4 5 6 7 8

См. также

ranges::generate_n
(C++20)
сохраняет результат N применений функции
(ниблоид)
ranges::fill
(C++20)
присваивает диапазону элементов определенное значение
(ниблоид)
ranges::fill_n
(C++20)
присваивает значение определенному количеству элементов
(ниблоид)
ranges::transform
(C++20)
применяет функцию к диапазону элементов
(ниблоид)
generate
присваивает результаты последовательных вызовов функции каждому элементу в диапазоне
(шаблон функции)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/algorithm/ranges/generate

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API