Namespaces
Variants

std::replace_copy, std::replace_copy_if

cppreference.net에서
 
 
알고리즘 라이브러리
제약된 알고리즘 및 범위에 대한 알고리즘 (C++20)
제약된 알고리즘, 예: ranges::copy, ranges::sort, ...
정렬 및 관련 연산
분할 연산
(C++11)    

정렬 연산
이진 탐색 연산
(분할된 범위에 대해)
집합 연산 (정렬된 범위에 대해)
병합 연산 (정렬된 범위에 대해)
힙 연산
최소/최대 연산
(C++11)
(C++17)
사전식 비교 연산
순열 연산


 
헤더 <algorithm>
template< class InputIt, class OutputIt, class T >
OutputIt replace_copy( InputIt first, InputIt last, OutputIt d_first,
                       const T& old_value, const T& new_value );
에 정의됨 (1) (constexpr, C++20부터)
template< class ExecutionPolicy,
          class ForwardIt1, class ForwardIt2, class T >
ForwardIt2 replace_copy
    ( ExecutionPolicy&& policy,
      ForwardIt1 first, ForwardIt1 last, ForwardIt2 d_first,
      const T& old_value, const T& new_value );
(2) (C++17부터)
template< class InputIt, class OutputIt, class UnaryPred, class T >
OutputIt replace_copy_if
    ( InputIt first, InputIt last, OutputIt d_first,
      UnaryPred p, const T& new_value );
(3) (C++26까지)
(constexpr, C++20부터)
template< class InputIt, class OutputIt, class UnaryPred,
          class T = typename std::iterator_traits
                        <OutputIt>::value_type >
constexpr OutputIt replace_copy_if
    ( InputIt first, InputIt last, OutputIt d_first,
      UnaryPred p, const T& new_value );
(C++26부터)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2,
          class UnaryPred, class T >
ForwardIt2 replace_copy_if
    ( ExecutionPolicy&& policy,
      ForwardIt1 first, ForwardIt1 last, ForwardIt2 d_first,
      UnaryPred p, const T& new_value );
(4) (C++17부터)
(C++26까지)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2,
          class UnaryPred, class T = typename std::iterator_traits
                                         <ForwardIt2>::value_type >
ForwardIt2 replace_copy_if
    ( ExecutionPolicy&& policy,
      ForwardIt1 first, ForwardIt1 last, ForwardIt2 d_first,
      UnaryPred p, const T& new_value );
(C++26부터)

범위 [first, last) 의 요소들을 d_first 에서 시작하는 다른 범위로 복사하면서, 특정 기준을 만족하는 모든 요소를 new_value 로 대체합니다.

1) old_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부터)

표현식 *first 와 new_value 의 결과 중 하나라도 writable 가 d_first 에 해당하지 않으면, 프로그램의 형식이 잘못된 것입니다.

소스와 대상 범위가 겹치면 동작이 정의되지 않습니다.

매개변수

first, last - 복사할 요소들의 소스 범위 를 정의하는 반복자 쌍
d_first - 대상 범위의 시작 지점
old_value - 대체할 요소의 값
policy - 사용할 실행 정책
p - 요소 값이 대체되어야 할 경우 ​ true 를 반환하는 단항 predicate.

표현식 p ( v ) 는 VT 타입의 (const 가능성 있는) 모든 인수 v 에 대해 bool 로 변환 가능해야 하며, 값 범주 와 관계없이 v 를 수정해서는 안 됩니다. 따라서 VT & 매개변수 타입은 허용되지 않으며 , VT 의 경우 VT 에서 이동이 복사와 동등하지 않는 한 허용되지 않습니다 (C++11부터) . ​

new_value - 대체 값으로 사용할 값
타입 요구사항
-
InputIt 는 LegacyInputIterator 요구사항을 충족해야 합니다.
-
OutputIt 는 LegacyOutputIterator 요구사항을 충족해야 합니다.
-
ForwardIt1, ForwardIt2 는 LegacyForwardIterator 요구사항을 충족해야 합니다.

반환값

복사된 마지막 요소의 다음 요소를 가리키는 반복자.

복잡도

주어진 N 이 std:: distance ( first, last ) 인 경우:

1,2) 정확히 N 번의 비교를 operator == 를 사용하여 수행합니다.
3,4) 정확히 N 번의 predicate p 적용.

예외

ExecutionPolicy 라는 템플릿 매개변수를 사용하는 오버로드는 다음과 같이 오류를 보고합니다:

  • 알고리즘의 일부로 호출된 함수 실행 중 예외가 발생하고 ExecutionPolicy 가 표준 정책 중 하나인 경우, std::terminate 가 호출됩니다. 다른 ExecutionPolicy 의 경우 동작은 구현에 따라 정의됩니다.
  • 알고리즘이 메모리 할당에 실패하는 경우, std::bad_alloc 이 throw됩니다.

가능한 구현

replace_copy (1)
template<class InputIt, class OutputIt, class T>
OutputIt replace_copy(InputIt first, InputIt last, OutputIt d_first,
                      const T& old_value, const T& new_value)
{
    for (; first != last; ++first)
        *d_first++ = (*first == old_value) ? new_value : *first;
    return d_first;
}
replace_copy_if (3)
template<class InputIt, class OutputIt, class UnaryPred,
         class T = typename std::iterator_traits<ForwardIt>::value_type>
OutputIt replace_copy_if(InputIt first, InputIt last, OutputIt d_first,
                         UnaryPred p, const T& new_value)
{
    for (; first != last; ++first)
        *d_first++ = p(*first) ? new_value : *first;
    return d_first;
}

참고 사항

기능 테스트 매크로 값 표준 기능
__cpp_lib_algorithm_default_value_type 202403 (C++26) 목록 초기화 for algorithms ( 3,4 )

예제

#include <algorithm>
#include <complex>
#include <iostream>
#include <vector>
void println(const auto& seq)
{
    for (const auto& e : seq)
        std::cout << e << ' ';
    std::cout << '\n';
}
int main()
{
    std::vector<short> src{3, 1, 4, 1, 5, 9, 2, 6, 5};
    println(src);
    std::vector<int> dst(src.size());
    std::replace_copy_if(src.cbegin(), src.cend(),
                         dst.begin(),
                         [](short n){ return n > 5; }, 0);
    println(dst);
    std::vector<std::complex<double>> src2{{1, 3}, {2, 4}, {3, 5}},
                                      dst2(src2.size());
    println(src2);
    #ifdef __cpp_lib_algorithm_default_value_type
        std::replace_copy_if(src2.cbegin(), src2.cend(), dst2.begin(),
            [](std::complex<double> z){ return std::abs(z) < 5; },
            {4, 2}); // 가능함, T가 추론되기 때문
    #else
        std::replace_copy_if(src2.cbegin(), src2.cend(), dst2.begin(),
            [](std::complex<double> z){ return std::abs(z) < 5; },
            std::complex<double>{4, 2});
    #endif
    println(dst2);
}

출력:

3 1 4 1 5 9 2 6 5 
3 1 4 1 5 0 2 0 5 
(1,3) (2,4) (3,5) 
(4,2) (4,2) (3,5)

결함 보고서

다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

DR 적용 대상 게시된 동작 올바른 동작
LWG 283 C++98 T 가 CopyAssignable (그리고 replace_copy 의 경우 EqualityComparable )를
만족해야 했으나, InputIt 의 값 타입이 항상 T 는 아님
요구사항 제거
LWG 337 C++98 replace_copy_if 는 InputIt 가
LegacyIterator [1] 요구사항만 충족하도록 요구함
LegacyInputIterator 로 수정
  1. ↑ C++ 표준의 실제 결함은 템플릿 매개변수 InputIterator 가 Iterator 로 잘못 지정되었다는 점입니다. 이는 타입 요구사항에 영향을 미치는데, 그 이유는 C++ 표준이 알고리즘 라이브러리의 함수 템플릿들에 대해 Iterator 로 끝나는 이름을 가진 템플릿 타입 매개변수들은 해당 반복자 카테고리의 타입 요구사항을 암시한다고 명시하고 있기 때문입니다.

같이 보기

특정 조건을 만족하는 모든 값을 다른 값으로 대체합니다
(함수 템플릿 & 알고리즘 함수 객체)
특정 조건을 만족하는 요소를 제거합니다
(함수 템플릿 & 알고리즘 함수 객체)
범위를 복사하고, 특정 조건을 만족하는 요소를 다른 값으로 대체합니다
(알고리즘 함수 객체)