std::ranges::replace, std::ranges::replace_if
Определено в заголовке <algorithm> | ||
|---|---|---|
| Подпись вызова | ||
template< std::input_iterator I, std::sentinel_for<I> S, class T1, class T2,
class Proj = std::identity >
requires std::indirectly_writable<I, const T2&> &&
std::indirect_binary_predicate<ranges::equal_to,
std::projected<I, Proj>, const T1*>
constexpr I
replace( I first, S last, const T1& old_value, const T2& new_value,
Proj proj = {} ); | (1) | (с C++20) |
template< ranges::input_range R, class T1, class T2, class Proj = std::identity >
requires std::indirectly_writable<ranges::iterator_t<R>, const T2&> &&
std::indirect_binary_predicate<ranges::equal_to,
std::projected<ranges::iterator_t<R>, Proj>, const T1*>
constexpr ranges::borrowed_iterator_t<R>
replace( R&& r, const T1& old_value, const T2& new_value, Proj proj = {} );
| (2) | (с C++20) |
template< std::input_iterator I, std::sentinel_for<I> S, class T,
class Proj = std::identity,
std::indirect_unary_predicate<std::projected<I, Proj>> Pred >
requires std::indirectly_writable<I, const T&>
constexpr I
replace_if( I first, S last, Pred pred, const T& new_value, Proj proj = {} ); | (3) | (с C++20) |
template< ranges::input_range R, class T, class Proj = std::identity,
std::indirect_unary_predicate<
std::projected<ranges::iterator_t<R>, Proj>> Pred >
requires std::indirectly_writable<ranges::iterator_t<R>, const T&>
constexpr ranges::borrowed_iterator_t<R>
replace_if( R&& r, Pred pred, const T& new_value, Proj proj = {} );
| (4) | (с C++20) |
Заменяет все элементы, удовлетворяющие определенным критериям, на new_value в диапазоне [first, last).
1) Заменяет все элементы, равные
old_value, используя std::invoke(proj, *i) == old_value для сравнения.
3) Заменяет все элементы, для которых предикат
pred имеет значение true, где вычисление выражения выполняется std::invoke(pred, std::invoke(proj, *i)).
2,4) То же, что и (1,3), но использует
r в качестве диапазона, как если бы ranges::begin(r) использовался в качестве first и ranges::end(r) в качестве last.Функциональные сущности, описанные на этой странице, являются неблоидами, то есть:
- Явные списки шаблонов аргументов не могут быть указаны при их вызове.
- Ни один из них не виден для поиска аргументов.
- Когда любой из них найден обычным поиском без квалификаторов в качестве имени слева от оператора вызова функции, поиск аргументов запрещен.
На практике они могут быть реализованы как объекты функций или с помощью специальных расширений компилятора.
Параметры
| first, last | - | диапазон элементов для обработки |
| r | - | диапазон элементов для обработки |
| old_value | - | значение элементов для замены |
| new_value | - | значение для использования в качестве замены |
| pred | - | предикат для применения к проецируемым элементам |
| proj | - | проекция для применения к элементам |
Значение возврата
Итератор, равный last.
Сложность
Ровно ranges::distance(first, last) применений соответствующего предиката comp и любой проекции proj.
Примечания
Поскольку алгоритм принимает old_value и new_value по ссылке, он может иметь неожиданное поведение, если любой из них является ссылкой на элемент диапазона [first, last).
Возможная реализация
| replace |
|---|
struct replace_fn
{
template<std::input_iterator I, std::sentinel_for<I> S, class T1, class T2,
class Proj = std::identity>
requires std::indirectly_writable<I, const T2&> && std::indirect_binary_predicate<
ranges::equal_to, std::projected<I, Proj>, const T1*>
constexpr I
operator()(I first, S last, const T1& old_value, const T2& new_value,
Proj proj = {}) const
{
for (; first != last; ++first)
if (old_value == std::invoke(proj, *first))
*first = new_value;
return first;
}
template<ranges::input_range R, class T1, class T2, class Proj = std::identity>
requires std::indirectly_writable<ranges::iterator_t<R>, const T2&> &&
std::indirect_binary_predicate<ranges::equal_to,
std::projected<ranges::iterator_t<R>, Proj>, const T1*>
constexpr ranges::borrowed_iterator_t<R>
operator()(R&& r, const T1& old_value, const T2& new_value, Proj proj = {}) const
{
return (*this)(ranges::begin(r), ranges::end(r), old_value,
new_value, std::move(proj));
}
};
inline constexpr replace_fn replace {}; |
| replace_if |
struct replace_if_fn
{
template<std::input_iterator I, std::sentinel_for<I> S, class T,
class Proj = std::identity, std::indirect_unary_predicate<
std::projected<I, Proj>> Pred>
requires std::indirectly_writable<I, const T&>
constexpr I
operator()(I first, S last, Pred pred, const T& new_value, Proj proj = {}) const
{
for (; first != last; ++first)
if (!!std::invoke(pred, std::invoke(proj, *first)))
*first = new_value;
return std::move(first);
}
template<ranges::input_range R, class T, class Proj = std::identity,
std::indirect_unary_predicate<std::projected<ranges::iterator_t<R>, Proj>> Pred>
requires std::indirectly_writable<ranges::iterator_t<R>, const T&>
constexpr ranges::borrowed_iterator_t<R>
operator()(R&& r, Pred pred, const T& new_value, Proj proj = {}) const
{
return (*this)(ranges::begin(r), ranges::end(r), std::move(pred),
new_value, std::move(proj));
}
};
inline constexpr replace_if_fn replace_if {}; |
Пример
#include <algorithm>
#include <array>
#include <iostream>
int main()
{
auto print = [](const auto& v)
{
for (const auto& e : v)
std::cout << e << ' ';
std::cout << '\n';
};
std::array p {1, 6, 1, 6, 1, 6};
print(p);
std::ranges::replace(p, 6, 9);
print(p);
std::array q {1, 2, 3, 6, 7, 8, 4, 5};
print(q);
std::ranges::replace_if(q, [](int x) { return 5 < x; }, 5);
print(q);
}Вывод:
1 6 1 6 1 6 1 9 1 9 1 9 1 2 3 6 7 8 4 5 1 2 3 5 5 5 4 5
См. также
|
(C++20)(C++20) | копирует диапазон, заменяя элементы, удовлетворяющие определенным критериям, другим значением (неблоид) |
| заменяет все значения, удовлетворяющие определенным критериям, другим значением (шаблон функции) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/algorithm/ranges/replace
