Movatterモバイル変換


[0]ホーム

URL:


cppreference.com
Namespaces
Variants
    Actions

      std::replace_copy,std::replace_copy_if

      From cppreference.com
      <cpp‎ |algorithm
       
       
      Algorithm library
      Constrained algorithms and algorithms on ranges(C++20)
      Constrained algorithms, e.g.ranges::copy,ranges::sort, ...
      Execution policies(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
      (C++11)
      (C++17)
      Lexicographical comparison operations
      Permutation operations
      C library
      Numeric operations
      Operations on uninitialized memory
       
      Defined in header<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 since 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)(since C++17)
      (3)
      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);
      (constexpr since C++20)
      (until C++26)
      template<class InputIt,class OutputIt,class UnaryPred,

               class T=typenamestd::iterator_traits
                             <OutputIt>::value_type>
      constexpr OutputIt replace_copy_if
         ( InputIt first, InputIt last, OutputIt d_first,

            UnaryPred p,const T& new_value);
      (since C++26)
      (4)
      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);
      (since C++17)
      (until C++26)
      template<class ExecutionPolicy,class ForwardIt1,class ForwardIt2,

               class UnaryPred,class T=typenamestd::iterator_traits
                                               <ForwardIt2>::value_type>
      ForwardIt2 replace_copy_if
         ( ExecutionPolicy&& policy,
            ForwardIt1 first, ForwardIt1 last, ForwardIt2 d_first,

            UnaryPred p,const T& new_value);
      (since C++26)

      Copies the elements from the range[firstlast) to another range beginning atd_first, while replacing all elements satisfying specific criteria withnew_value.

      1) Replaces all elements that are equal toold_value (usingoperator==).
      3) Replaces all elements for which predicatep returnstrue.
      2,4) Same as(1,3), but executed according topolicy.
      These overloads participate in overload resolution only if all following conditions are satisfied:

      std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> istrue.

      (until C++20)

      std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> istrue.

      (since C++20)

      If any of the results of the expressions*first andnew_value is notwritable tod_first, the program is ill-formed.

      If the source and destination ranges overlap, the behavior is undefined.

      Contents

      [edit]Parameters

      first, last - the pair of iterators defining the sourcerange of elements to copy
      d_first - the beginning of the destination range
      old_value - the value of elements to replace
      policy - theexecution policy to use
      p - unary predicate which returns ​true if the element value should be replaced.

      The expressionp(v) must be convertible tobool for every argumentv of type (possibly const)VT, whereVT is the value type ofInputIt, regardless ofvalue category, and must not modifyv. Thus, a parameter type ofVT&is not allowed, nor isVT unless forVT a move is equivalent to a copy(since C++11).​

      new_value - the value to use as replacement
      Type requirements
      -
      InputIt must meet the requirements ofLegacyInputIterator.
      -
      OutputIt must meet the requirements ofLegacyOutputIterator.
      -
      ForwardIt1, ForwardIt2 must meet the requirements ofLegacyForwardIterator.

      [edit]Return value

      Iterator to the element past the last element copied.

      [edit]Complexity

      Given\(\scriptsize N\)N asstd::distance(first, last):

      1,2) Exactly\(\scriptsize N\)N comparisons usingoperator==.
      3,4) Exactly\(\scriptsize N\)N applications of the predicatep.

      [edit]Exceptions

      The overloads with a template parameter namedExecutionPolicy report errors as follows:

      • If execution of a function invoked as part of the algorithm throws an exception andExecutionPolicy is one of thestandard policies,std::terminate is called. For any otherExecutionPolicy, the behavior is implementation-defined.
      • If the algorithm fails to allocate memory,std::bad_alloc is thrown.

      [edit]Possible implementation

      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=typenamestd::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;}

      [edit]Notes

      Feature-test macroValueStdFeature
      __cpp_lib_algorithm_default_value_type202403(C++26)List-initialization for algorithms(3,4)

      [edit]Example

      Run this code
      #include <algorithm>#include <complex>#include <iostream>#include <vector> void println(constauto& seq){for(constauto& 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});// Possible, since the T is deduced.#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);}

      Output:

      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)

      [edit]Defect reports

      The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

      DRApplied toBehavior as publishedCorrect behavior
      LWG 283C++98T was required to beCopyAssignable (andEqualityComparable for
      replace_copy), but the value type ofInputIt is not alwaysT
      removed the requirement
      LWG 337C++98replace_copy_if only requiredInputIt to
      meet the requirements ofLegacyIterator[1]
      corrected to
      LegacyInputIterator
      1. The actual defect in the C++ standard is that the template parameterInputIterator was misspecified asIterator. This affects the type requirements because the C++ standard states that for the function templates in the algorithms library, the template type parameters whose name ends withIterator imply the type requirements of the corresponding iterator categories.

      [edit]See also

      replaces all values satisfying specific criteria with another value
      (function template)[edit]
      removes elements satisfying specific criteria
      (function template)[edit]
      copies a range, replacing elements satisfying specific criteria with another value
      (algorithm function object)[edit]
      Retrieved from "https://en.cppreference.com/mwiki/index.php?title=cpp/algorithm/replace_copy&oldid=180622"

      [8]ページ先頭

      ©2009-2025 Movatter.jp