std::ranges::fold_right_last
Определён в заголовочном файле <algorithm> | ||
|---|---|---|
| Сигнатура вызова | ||
template< std::bidirectional_iterator I, std::sentinel_for<I> S,
/*indirectly-binary-right-foldable*/<std::iter_value_t<I>, I> F >
requires std::constructible_from<std::iter_value_t<I>,
std::iter_reference_t<I>>
constexpr auto fold_right_last( I first, S last, F f );
| (1) | (начиная с C++23) |
template< ranges::bidirectional_range R,
/*indirectly-binary-right-foldable*/<ranges::range_value_t<R>,
ranges::iterator_t<R>> F >
requires std::constructible_from<ranges::range_value_t<R>,
ranges::range_reference_t<R>>
constexpr auto fold_right_last( R&& r, F f );
| (2) | (начиная с C++23) |
Определение /*indirectly-binary-right-foldable*/ см. на этой странице.
Выполняет правостороннюю свёртку элементов исходного диапазона, то есть возвращает результат вычисления цепочечного выражения:f(x1, f(x2, ...f(xn-1, xn))), где x1, x2, ..., xn — элементы исходного диапазона.
[first, last).r.Описанные на этой странице сущности, подобные функциям, являются объектами-функциями алгоритмов (неформально называемыми niebloids
Параметры
first, last - пара итератора и sentinel, задающая исходный диапазон
r - исходный диапазон
f - бинарный объект-функция
Возвращаемое значение
Объект std::optional, содержащий результат правосторонней свёртки, или не содержащий значения, если исходный диапазон пуст.
Примечания
В следующей таблице сравниваются все алгоритмы свёртки с ограничениями. U ниже — тип результата свёртки; это тип результата F после удаления cv-квалификаторов и ссылок.
| Функциональный шаблон свёртки | Начало обхода | Начальное значение | Возвращаемый тип |
|---|---|---|---|
| ranges::fold_left | слева | init | U |
| ranges::fold_left_first | слева | первый элемент | std::optional<U> |
| ranges::fold_right | справа | init | U |
| ranges::fold_right_last | справа | последний элемент | std::optional<U> |
| ranges::fold_left_with_iter | слева | init | (1) ranges::in_value_result<I,U> (2) ranges::in_value_result<BR,U>, где BR — это ranges::borrowed_iterator_t<R> |
| ranges::fold_left_first_with_iter | слева | первый элемент | (1) ranges::in_value_result<I,std::optional<U>> (2) ranges::in_value_result<BR,std::optional<U>> где BR — это ranges::borrowed_iterator_t<R> |
| Макрос проверки поддержки возможностей | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_ranges_fold | 202207L | (C++23) |
std::ranges алгоритмы свёртки |
Возможные реализации
struct fold_right_last_fn
{
template<std::bidirectional_iterator I, std::sentinel_for<I> S,
/*indirectly-binary-right-foldable*/<std::iter_value_t<I>, I> F>
requires std::constructible_from<std::iter_value_t<I>,
std::iter_reference_t<I>>
constexpr auto operator()(I first, S last, F f) const
{
using U = decltype(ranges::fold_right(first, last,
std::iter_value_t<I>(*first), f));
if (first == last)
return std::optional<U>();
I tail = ranges::prev(ranges::next(first, std::move(last)));
return std::optional<U>
(std::in_place, ranges::fold_right(std::move(first), tail,
std::iter_value_t<I>(*tail),
std::move(f)));
}
template<ranges::bidirectional_range R,
/*indirectly_binary_right_foldable*/
<ranges::range_value_t<R>, ranges::iterator_t<R>> F>
requires std::constructible_from<ranges::range_value_t<R>,
ranges::range_reference_t<R>>
constexpr auto operator()(R&& r, F f) const
{
return (*this)(ranges::begin(r),
ranges::next(ranges::begin(r), ranges::end(r)),
std::ref(f));
}
};
inline constexpr fold_right_last_fn fold_right_last;
|
Пример
#include <algorithm>
#include <functional>
#include <iostream>
#include <ranges>
#include <utility>
#include <vector>
int main()
{
auto v = {1, 2, 3, 4, 5, 6, 7, 8};
std::vector<std::string> vs {"A", "B", "C", "D"};
auto r1 = std::ranges::fold_right_last(v.begin(), v.end(), std::plus<>()); // (1)
std::cout << "*r1: " << *r1 << '\n';
auto r2 = std::ranges::fold_right_last(vs, std::plus<>()); // (2)
std::cout << "*r2: " << *r2 << '\n';
// Use a program defined function object (lambda-expression):
auto r3 = std::ranges::fold_right_last(v, [](int x, int y) { return x + y + 99; });
std::cout << "*r3: " << *r3 << '\n';
// Get the product of the std::pair::second of all pairs in the vector:
std::vector<std::pair<char, float>> data {{'A', 3.f}, {'B', 3.5f}, {'C', 4.f}};
auto r4 = std::ranges::fold_right_last
(
data | std::ranges::views::values, std::multiplies<>()
);
std::cout << "*r4: " << *r4 << '\n';
}
Вывод:
*r1: 36 *r2: ABCD *r3: 729 *r4: 42
Ссылки
- Стандарт C++23 (ISO/IEC 14882:2024):
- 27.6.18 Свёртка [alg.fold]
См. также
|
(C++23) | выполняет правостороннюю свёртку диапазона элементов (объект-функция алгоритма) |
|
(C++23) | выполняет левостороннюю свёртку диапазона элементов (объект-функция алгоритма) |
|
(C++23) | выполняет левостороннюю свёртку диапазона элементов, используя первый элемент в качестве начального значения (объект-функция алгоритма) |
|
(C++23) | выполняет левостороннюю свёртку диапазона элементов и возвращает пару (итератор, значение) (объект-функция алгоритма) |
|
(C++23) | выполняет левостороннюю свёртку диапазона элементов, используя первый элемент в качестве начального значения, и возвращает пару (итератор, optional) (объект-функция алгоритма) |
| суммирует элементы диапазона или выполняет их свёртку (функциональный шаблон) |
|
|
(C++17) | подобен std::accumulate, за исключением того, что операции выполняются не по порядку (функциональный шаблон) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/algorithm/ranges/fold_right_last
