Namespaces
Variants

std:: remove_copy, std:: remove_copy_if

From cppreference.net
Algorithm library
Constrained algorithms and algorithms on ranges (C++20)
Constrained algorithms, e.g. ranges::copy , ranges::sort , ...
Execution policies (C++17)
Non-modifying sequence operations
Batch operations
(C++17)
Search operations
Modifying sequence operations
Copy operations
(C++11)
(C++11)
Swap operations
Transformation operations
Generation operations
Removing operations
remove_copy remove_copy_if
Order-changing operations
(until C++17) (C++11)
(C++20) (C++20)
Sampling operations
(C++17)

Sorting and related operations
Partitioning operations
Sorting operations
Binary search operations
(on partitioned ranges)
Set operations (on sorted ranges)
Merge operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Lexicographical comparison operations
Permutation operations
C library
Numeric operations
Operations on uninitialized memory
Определено в заголовке <algorithm>
(1)
template < class InputIt, class OutputIt, class T >

OutputIt remove_copy ( InputIt first, InputIt last,

OutputIt d_first, const T & value ) ;
(constexpr начиная с C++20)
(до 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)
(2)
template < class ExecutionPolicy,

class ForwardIt1, class ForwardIt2, class T >
ForwardIt2 remove_copy ( ExecutionPolicy && policy,
ForwardIt1 first, ForwardIt1 last,

ForwardIt2 d_first, const T & value ) ;
(начиная с 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 , пропуская элементы, удовлетворяющие определённым критериям.

1) Игнорирует все элементы, равные value (используя operator == ).
3) Игнорирует все элементы, для которых предикат p возвращает true .
2,4) То же, что и (1,3) , но выполняется в соответствии с policy .
Эти перегрузки участвуют в разрешении перегрузки только при выполнении всех следующих условий:

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 ) :

1,2) Ровно N сравнений с value используя operator == .
3,4) Ровно N применений предиката 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()
{
    // Удаляем символы '#' на лету.
    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
быть валидным вместо этого

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

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