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) | (until 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 );
|
(since 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) | (since C++17) (until 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 );
|
(since C++26) | |
template< class InputIt, class OutputIt, class UnaryPred >
OutputIt remove_copy_if( InputIt first, InputIt last,
OutputIt d_first, UnaryPred p );
|
(3) | (constexpr since 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) | (since C++17) |
Копирует элементы из диапазона [first, last), в другой диапазон, начиная с d_first, опуская элементы, удовлетворяющие определенным критериям.
value (используя operator==).p возвращает true.policy.true:
|
|
(until C++20) |
|
|
(since C++20) |
Если *d_first = *first недействителен(until C++20)*first не является доступным для записи в d_first(since C++20), программа считается некорректной (ill-formed).
Если исходный и целевой диапазоны перекрываются, поведение не определено.
Параметры
| first, last | - | пара итераторов, определяющих исходный диапазон элементов для копирования |
| d_first | - | начало диапазона назначения |
| value | - | значение элементов, которые не нужно копировать |
| policy | - | политика выполнения для использования |
| Требования к типам | ||
-
InputIt
должен удовлетворять требованиям
LegacyInputIterator
.
|
||
-
OutputIt
должен удовлетворять требованиям
LegacyOutputIterator
.
|
||
-
ForwardIt1, ForwardIt2
должен удовлетворять требованиям
LegacyForwardIterator
.
|
||
-
UnaryPred
должен удовлетворять требованиям
Predicate
.
|
||
Возвращаемое значение
Итератор на элемент, следующий за последним скопированным элементом.
Сложность
Дано N как std:: distance ( first, last ) :
Для перегрузок с 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() { // Удаляем символы '#' на лету. 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"; // Удаляем значение {1, 3} на лету. 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 выводится автоматически #else std::complex<double>{1, 3}); #endif }
Вывод:
before: "#Return #Value #Optimization" after: "Return Value Optimization" (2,2)(4,8)
Отчёты о дефектах
Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| 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) |
копирует диапазон элементов, исключая те, которые удовлетворяют определённым критериям (объект функции алгоритма) |