std::remove_copy, std::remove_copy_if
Определено в заголовочном файле <algorithm> | ||
|---|---|---|
template< class InputIt, class OutputIt, class T >
OutputIt remove_copy( InputIt first, InputIt last,
OutputIt d_first, const T& value );
| (1) | (до C++26) |
template< class InputIt, class OutputIt,
class T = typename std::iterator_traits
<InputIt>::value_type >
constexpr OutputIt remove_copy( InputIt first, InputIt last,
OutputIt d_first, const T& value );
| (начиная с C++26) | |
template< class ExecutionPolicy,
class ForwardIt1, class ForwardIt2, class T >
ForwardIt2 remove_copy( ExecutionPolicy&& policy,
ForwardIt1 first, ForwardIt1 last,
ForwardIt2 d_first, const T& value );
| (2) |
(начиная с C++17) (до C++26) |
template< class ExecutionPolicy,
class ForwardIt1, class ForwardIt2,
class T = typename std::iterator_traits
<ForwardIt1>::value_type >
ForwardIt2 remove_copy( ExecutionPolicy&& policy,
ForwardIt1 first, ForwardIt1 last,
ForwardIt2 d_first, const T& value );
| (начиная с C++26) | |
template< class InputIt, class OutputIt, class UnaryPred >
OutputIt remove_copy_if( InputIt first, InputIt last,
OutputIt d_first, UnaryPred p );
| (3) | (constexpr начиная с C++20) |
template< class ExecutionPolicy,
class ForwardIt1, class ForwardIt2, class UnaryPred >
ForwardIt2 remove_copy_if( ExecutionPolicy&& policy,
ForwardIt1 first, ForwardIt1 last,
ForwardIt2 d_first, UnaryPred p );
| (4) | (начиная с C++17) |
Копирует элементы из диапазона [first, last) в другой диапазон, начинающийся с d_first, пропуская элементы, удовлетворяющие заданным критериям.
value (с использованием operator==).p возвращает true.policy.true: |
| (до C++20) |
|
| (начиная с C++20) |
Если *d_first = *first некорректно(до C++20)*first нельзя записать в d_first(начиная с C++20), программа некорректна.
Если исходный и целевой диапазоны перекрываются, поведение не определено.
Параметры
| first, last | - | пара итераторов, определяющая исходный диапазон копируемых элементов |
| d_first | - | начало целевого диапазона |
| value | - | значение элементов, которые не нужно копировать |
| policy | - | политика выполнения, которую следует использовать |
| Требования к типам | ||
-InputIt должен соответствовать требованиям LegacyInputIterator. |
||
-OutputIt должен соответствовать требованиям LegacyOutputIterator. |
||
-ForwardIt1, ForwardIt2 должен соответствовать требованиям LegacyForwardIterator. |
||
-UnaryPred должен соответствовать требованиям Predicate. |
||
Возвращаемое значение
Итератор на элемент, следующий за последним скопированным элементом.
Сложность
Пусть \(\scriptsize N\)N — std::distance(first, last):
value с использованием operator==.p.Для перегрузок с ExecutionPolicy возможны дополнительные затраты производительности, если ForwardIt1's value_type не является MoveConstructible.
Исключения
Перегрузки с параметром шаблона с именем ExecutionPolicy сообщают об ошибках следующим образом:
- Если выполнение функции, вызванной в рамках алгоритма, приводит к исключению и
ExecutionPolicyявляется одной из стандартных политик, вызываетсяstd::terminate. Для любого другогоExecutionPolicyповедение определяется реализацией. - Если алгоритму не удаётся выделить память, выбрасывается
std::bad_alloc.
Возможная реализация
| remove_copy (1) |
|---|
template<class InputIt, class OutputIt,
class T = typename std::iterator_traits<InputIt>::value_type>
constexpr OutputIt remove_copy(InputIt first, InputIt last,
OutputIt d_first, const T& value)
{
for (; first != last; ++first)
if (!(*first == value))
*d_first++ = *first;
return d_first;
}
|
| remove_copy_if (3) |
template<class InputIt, class OutputIt, class UnaryPred>
constexpr OutputIt remove_copy_if(InputIt first, InputIt last,
OutputIt d_first, UnaryPred p)
{
for (; first != last; ++first)
if (!p(*first))
*d_first++ = *first;
return d_first;
}
|
Примечания
| Макрос проверки поддержки возможностей | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_algorithm_default_value_type | 202403 | (C++26) | Инициализация списком для алгоритмов (1,2) |
Пример
#include <algorithm>
#include <complex>
#include <iomanip>
#include <iostream>
#include <iterator>
#include <string>
#include <vector>
int main()
{
// Erase the hash characters '#' on the fly.
std::string str = "#Return #Value #Optimization";
std::cout << "before: " << std::quoted(str) << '\n';
std::cout << "after: \"";
std::remove_copy(str.begin(), str.end(),
std::ostream_iterator<char>(std::cout), '#');
std::cout << "\"\n";
// Erase {1, 3} value on the fly.
std::vector<std::complex<double>> nums{{2, 2}, {1, 3}, {4, 8}, {1, 3}};
std::remove_copy(nums.begin(), nums.end(),
std::ostream_iterator<std::complex<double>>(std::cout),
#ifdef __cpp_lib_algorithm_default_value_type
{1, 3}); // T gets deduced
#else
std::complex<double>{1, 3});
#endif
}
Вывод:
before: "#Return #Value #Optimization" after: "Return Value Optimization" (2,2)(4,8)
Отчёты об исправлении дефектов
Следующие отчёты об исправлении дефектов, изменяющие поведение, были применены задним числом к ранее опубликованным стандартам C++.
| Отчёт об исправлении | Применяется к | Опубликованное поведение | Корректное поведение |
|---|---|---|---|
| LWG 779 | C++98 |
T должен был соответствовать требованиям EqualityComparable, нотип значения ForwardIt не всегда является T | вместо этого требовалось, чтобы *d_first = *firstбыло корректным |
См. также
| удаляет элементы, удовлетворяющие заданным критериям (шаблон функции и объект-функция алгоритма) |
|
|
(C++20)(C++20) | |
|
(C++11) | копирует диапазон элементов в новое место (шаблон функции и объект-функция алгоритма) |
|
(C++20)(C++20) | |
|
(C++11) | копирует диапазон, разделяя элементы на две группы (шаблон функции и объект-функция алгоритма) |
|
(C++20) | |
|
(C++20)(C++20) | копирует диапазон элементов, пропуская те, которые удовлетворяют заданным критериям (объект-функция алгоритма) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/algorithm/remove_copy