Spec-Zone.ru › C++

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, пропуская элементы, удовлетворяющие заданным критериям.

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

std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>

(до C++20)

std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>

(начиная с 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):

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

См. также

removeremove_if
удаляет элементы, удовлетворяющие заданным критериям
(шаблон функции и объект-функция алгоритма)
ranges::removeranges::remove_if
(C++20)(C++20)
copycopy_if
(C++11)
копирует диапазон элементов в новое место
(шаблон функции и объект-функция алгоритма)
ranges::copyranges::copy_if
(C++20)(C++20)
partition_copy
(C++11)
копирует диапазон, разделяя элементы на две группы
(шаблон функции и объект-функция алгоритма)
ranges::partition_copy
(C++20)
ranges::remove_copyranges::remove_copy_if
(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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API