std:: remove_copy, std:: remove_copy_if
|
Определено в заголовке
<algorithm>
|
||
| (1) | ||
|
template
<
class
InputIt,
class
OutputIt,
class
T
>
OutputIt remove_copy
(
InputIt first, InputIt last,
|
(constexpr начиная с C++20)
(до C++26) |
|
|
template
<
class
InputIt,
class
OutputIt,
class
T
=
typename
std::
iterator_traits
|
(начиная с C++26) | |
| (2) | ||
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
T
>
|
(начиная с C++17)
(до C++26) |
|
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
|
(начиная с C++26) | |
|
template
<
class
InputIt,
class
OutputIt,
class
UnaryPred
>
OutputIt remove_copy_if
(
InputIt first, InputIt last,
|
(3) | (constexpr начиная с C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
UnaryPred
>
|
(4) | (начиная с C++17) |
Копирует элементы из диапазона
[
first
,
last
)
в другой диапазон, начинающийся с
d_first
, пропуская элементы, удовлетворяющие определённым критериям.
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> является true . |
(до C++20) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> является true . |
(начиная с 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
.
|
||
Возвращаемое значение
Итератор на элемент, следующий за последним скопированным элементом.
Сложность
Дано 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++11)
|
копирует диапазон элементов в новое место
(шаблон функции) |
|
(C++11)
|
копирует диапазон, разделяя элементы на две группы
(шаблон функции) |
|
(C++20)
(C++20)
|
копирует диапазон элементов, пропуская те, которые удовлетворяют определённым критериям
(функциональный объект алгоритма) |