std::ranges::replace_copy, std::ranges::replace_copy_if, std::ranges::replace_copy_result, std::ranges::replace_copy_if_result

Определено в заголовке `<algorithm>`
Сигнатура вызова
template< std::input_iterator I, std::sentinel_for<I> S, class T1, class T2, std::output_iterator<const T2&> O, class Proj = std::identity > requires std::indirectly_copyable<I, O> && std::indirect_binary_predicate <ranges::equal_to, std::projected<I, Proj>, const T1*> constexpr replace_copy_result<I, O> replace_copy( I first, S last, O result, const T1& old_value, const T2& new_value, Proj proj = {} );	(1)	(начиная с C++20) (до C++26)
template< std::input_iterator I, std::sentinel_for<I> S, class O, class Proj = std::identity, class T1 = std::projected_value_t<I, Proj>, class T2 = std::iter_value_t<O> > requires std::indirectly_copyable<I, O> && std::indirect_binary_predicate <ranges::equal_to, std::projected<I, Proj>, const T1*> && std::output_iterator<O, const T2&> constexpr replace_copy_result<I, O> replace_copy( I first, S last, O result, const T1& old_value, const T2& new_value, Proj proj = {} );	(1)		(начиная с C++26)
template< ranges::input_range R, class T1, class T2, std::output_iterator<const T2&> O, class Proj = std::identity > requires std::indirectly_copyable<ranges::iterator_t<R>, O> && std::indirect_binary_predicate <ranges::equal_to, std::projected<ranges::iterator_t<R>, Proj>, const T1*> constexpr replace_copy_result<ranges::borrowed_iterator_t<R>, O> replace_copy( R&& r, O result, const T1& old_value, const T2& new_value, Proj proj = {} );	(2)	(начиная с C++20) (до C++26)
template< ranges::input_range R, class O, class Proj = std::identity, class T1 = std::projected_value_t<ranges::iterator_t<R>, Proj>, class T2 = std::iter_value_t<O> > requires std::indirectly_copyable<ranges::iterator_t<R>, O> && std::indirect_binary_predicate <ranges::equal_to, std::projected<ranges::iterator_t<R>, Proj>, const T1*> && std::output_iterator<O, const T2&> constexpr replace_copy_result<ranges::borrowed_iterator_t<R>, O> replace_copy( R&& r, O result, const T1& old_value, const T2& new_value, Proj proj = {} );	(2)		(начиная с C++26)
template< std::input_iterator I, std::sentinel_for<I> S, class T, std::output_iterator<const T&> O, class Proj = std::identity, std::indirect_unary_predicate<std::projected<I, Proj>> Pred > requires std::indirectly_copyable<I, O> constexpr replace_copy_if_result<I, O> replace_copy_if( I first, S last, O result, Pred pred, const T& new_value, Proj proj = {} );	(3)	(начиная с C++20) (до C++26)
template< std::input_iterator I, std::sentinel_for<I> S, class O, class T = std::iter_value_t<O> class Proj = std::identity, std::indirect_unary_predicate<std::projected<I, Proj>> Pred > requires std::indirectly_copyable<I, O> && std::output_iterator<O, const T&> constexpr replace_copy_if_result<I, O> replace_copy_if( I first, S last, O result, Pred pred, const T& new_value, Proj proj = {} );	(3)		(начиная с C++26)
template< ranges::input_range R, class T, std::output_iterator<const T&> O, class Proj = std::identity, std::indirect_unary_predicate <std::projected<ranges::iterator_t<R>, Proj>> Pred > requires std::indirectly_copyable<ranges::iterator_t<R>, O> constexpr replace_copy_if_result<ranges::borrowed_iterator_t<R>, O> replace_copy_if( R&& r, O result, Pred pred, const T& new_value, Proj proj = {} );	(4)	(начиная с C++20) (до C++26)
template< ranges::input_range R, class O, class T = std::iter_value_t<O> class Proj = std::identity, std::indirect_unary_predicate <std::projected<ranges::iterator_t<R>, Proj>> Pred > requires std::indirectly_copyable<ranges::iterator_t<R>, O> && std::output_iterator<O, const T&> constexpr replace_copy_if_result<ranges::borrowed_iterator_t<R>, O> replace_copy_if( R&& r, O result, Pred pred, const T& new_value, Proj proj = {} );	(4)		(начиная с C++26)
Вспомогательные типы
template< class I, class O > using replace_copy_result = ranges::in_out_result<I, O>;	(5)	(начиная с C++20)
template< class I, class O > using replace_copy_if_result = ranges::in_out_result<I, O>;	(6)	(начиная с C++20)

Копирует элементы из исходного диапазона [first, last) в целевой диапазон, начиная с result, заменяя все элементы, удовлетворяющие определённым критериям, на new_value. Поведение не определено, если исходный и целевой диапазоны перекрываются.

1) Заменяет все элементы, равные old_value, используя std::invoke(proj, *(first + (i - result))) == old_value для сравнения.

3) Заменяет все элементы, для которых предикат pred вычисляется как true, где выражение оценки — это std::invoke(pred, std::invoke(proj, *(first + (i - result)))).

2,4) То же, что и (1,3), но использует r в качестве исходного диапазона, как если бы использовались ranges::begin(r) в качестве first и ranges::end(r) в качестве last.

Функцеподобные сущности, описанные на этой странице, являются объектами алгоритмических функций (неформально известны как niebloids), то есть:

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

Параметры

first, last	-	пара итератор-страж, определяющая диапазон копируемых элементов
r	-	диапазон копируемых элементов
result	-	начало целевого диапазона
old_value	-	значение заменяемых элементов
new_value	-	значение для замены
pred	-	предикат, применяемый к проецируемым элементам
proj	-	проекция, применяемая к элементам

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

{ last, result + N } , где

1,3) N = ranges:: distance ( first, last ) ;

2,4) N = ranges:: distance ( r ) .

Сложность

Ровно N применений соответствующего предиката comp и любой проекции proj .

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

Перевод: **Примечание**: В данном случае текст для перевода отсутствует - все содержимое состоит из HTML-тегов, атрибутов и C++ термина `replace_copy`, которые согласно инструкциям не подлежат переводу.

replace_copy (1,2)
replace_copy (1,2)
struct replace_copy_fn { template<std::input_iterator I, std::sentinel_for<I> S, class O, class Proj = std::identity, class T1 = std::projected_value_t<I, Proj>, class T2 = std::iter_value_t<O>> requires std::indirectly_copyable<I, O> && std::indirect_binary_predicate <ranges::equal_to, std::projected<I, Proj>, const T1> && std::output_iterator<O, const T2&> constexpr ranges::replace_copy_result<I, O> operator()(I first, S last, O result, const T1& old_value, const T2& new_value, Proj proj = {}) const { for (; first != last; ++first, ++result) result = (std::invoke(proj, first) == old_value) ? new_value : first; return {std::move(first), std::move(result)}; } template<ranges::input_range R, class O, class Proj = std::identity, class T1 = std::projected_value_t<ranges::iterator_t<R>, Proj>, class T2 = std::iter_value_t<O>> requires std::indirectly_copyable<ranges::iterator_t<R>, O> && std::indirect_binary_predicate <ranges::equal_to, std::projected<ranges::iterator_t<R>, Proj>, const T1> constexpr ranges::replace_copy_result<ranges::borrowed_iterator_t<R>, O> operator()(R&& r, O result, const T1& old_value, const T2& new_value, Proj proj = {}) const { return (this)(ranges::begin(r), ranges::end(r), std::move(result), old_value, new_value, std::move(proj)); } }; inline constexpr replace_copy_fn replace_copy {};
replace_copy_if (3,4)
struct replace_copy_if_fn { template<std::input_iterator I, std::sentinel_for<I> S, class O, class T = std::iter_value_t<O> class Proj = std::identity, std::indirect_unary_predicate<std::projected<I, Proj>> Pred> requires std::indirectly_copyable<I, O> && std::output_iterator<O, const T&> constexpr ranges::replace_copy_if_result<I, O> operator()(I first, S last, O result, Pred pred, const T& new_value, Proj proj = {}) const { for (; first != last; ++first, ++result) result = std::invoke(pred, std::invoke(proj, first)) ? new_value : first; return {std::move(first), std::move(result)}; } template<ranges::input_range R, class O, class T = std::iter_value_t<O> class Proj = std::identity, std::indirect_unary_predicate <std::projected<ranges::iterator_t<R>, Proj>> Pred> requires std::indirectly_copyable<ranges::iterator_t<R>, O> && std::output_iterator<O, const T&> constexpr ranges::replace_copy_if_result<ranges::borrowed_iterator_t<R>, O> operator()(R&& r, O result, Pred pred, const T& new_value, Proj proj = {}) const { return (this)(ranges::begin(r), ranges::end(r), std::move(result), std::move(pred), new_value, std::move(proj)); } }; inline constexpr replace_copy_if_fn replace_copy_if {};

Примечания

Feature-test macro	Value	Std	Feature
`__cpp_lib_algorithm_default_value_type`	`202403`	(C++26)	list-initialization for algorithms ( 1-4 )

Пример

Запустить этот код

#include <algorithm>
#include <array>
#include <complex>
#include <iostream>
#include <vector>
void println(const auto rem, const auto& v)
{
    for (std::cout << rem << ": "; const auto& e : v)
        std::cout << e << ' ';
    std::cout << '\n';
}
int main()
{    
    std::vector<int> o;
    std::array p{1, 6, 1, 6, 1, 6};
    o.resize(p.size());
    println("p", p);
    std::ranges::replace_copy(p, o.begin(), 6, 9);
    println("o", o);
    std::array q{1, 2, 3, 6, 7, 8, 4, 5};
    o.resize(q.size());
    println("q", q);
    std::ranges::replace_copy_if(q, o.begin(), [](int x) { return 5 < x; }, 5);
    println("o", o);
    std::vector<std::complex<short>> r{{1, 3}, {2, 2}, {4, 8}};
    std::vector<std::complex<float>> s(r.size());
    println("r", r);
    #ifdef __cpp_lib_algorithm_default_value_type
        std::ranges::replace_copy(r, s.begin(),
                                  {1, 3}, // T1 выводится
                                  {2.2, 4.8}); // T2 выводится
    #else
        std::ranges::replace_copy(r, s.begin(),
                                  std::complex<short>{1, 3},
                                  std::complex<float>{2.2, 4.8});
    #endif
    println("s", s);
    std::vector<std::complex<double>> b{{1, 3}, {2, 2}, {4, 8}},
                                      d(b.size());
    println("b", b);
    #ifdef __cpp_lib_algorithm_default_value_type
        std::ranges::replace_copy_if(b, d.begin(),
            [](std::complex<double> z){ return std::abs(z) < 5; },
            {4, 2}); // Возможно, так как T выводится.
    #else
        std::ranges::replace_copy_if(b, d.begin(),
            [](std::complex<double> z){ return std::abs(z) < 5; },
            std::complex<double>{4, 2});
    #endif
    println("d", d);
}

Вывод:

p: 1 6 1 6 1 6
o: 1 9 1 9 1 9
q: 1 2 3 6 7 8 4 5
o: 1 2 3 5 5 5 4 5
r: (1,3) (2,2) (4,8)
s: (2.2,4.8) (2,2) (4,8)
b: (1,3) (2,2) (4,8)
d: (4,2) (4,2) (4,8)

Смотрите также

ranges::replace ranges::replace_if (C++20) (C++20)	заменяет все значения, удовлетворяющие определенным критериям, другим значением (функциональный объект алгоритма)
replace_copy replace_copy_if	копирует диапазон, заменяя элементы, удовлетворяющие определенным критериям, другим значением (шаблон функции)

Поддержка компилятором
Автономное и размещённое
Язык
Стандартная библиотека
Заголовки стандартной библиотеки
Именованные требования
Макросы тестирования возможностей (C++20)
Библиотека поддержки языка
Библиотека концептов (C++20)
Библиотека диагностики
Библиотека управления памятью
Библиотека метапрограммирования (C++11)
Библиотека общих утилит
Библиотека контейнеров
Библиотека итераторов
Библиотека диапазонов (C++20)
Библиотека алгоритмов
Библиотека строк
Библиотека обработки текста
Библиотека численных методов
Библиотека даты и времени
Библиотека ввода/вывода
Библиотека файловой системы (C++17)
Библиотека поддержки параллелизма (C++11)
Библиотека управления выполнением (C++26)
Технические спецификации
Индекс символов
Внешние библиотеки

ru.cppreference.net

Namespaces

Variants