// <algorithm> 
template <class InputIterator,
    class OutputIterator,
    class UnaryPredicate, class T>
    OutputIterator replace_copy_if (
        InputIterator first,
        InputIterator last,
        OutputIterator result,
        UnaryPredicate pred,
        ​const T& new_value);

拷贝一个范围的元素,将其中值满足给定条件的元素赋值为新的值。

该函数等价于:

template<class _InIt,
    class _OutIt,
    class _Pr,
    class _Ty> inline
    _OutIt _Replace_copy_if(_InIt _First, _InIt _Last,
        _OutIt _Dest, _Pr _Pred, const _Ty& _Val)
    {    // copy replacing each satisfying _Pred with _Val
        for (; _First != _Last; ++_First, ++_Dest)
            *_Dest = _Pred(*_First) ? _Val : *_First;
        return (_Dest);
    }
  • firstlast

    分别指向序列中初始及末尾位置的输入迭代器(Input iterators)。这个范围即 [first,last) ,包括 first 到 last 间的所有元素,包括 first 指向的元素,但不包括 last 指向的元素。

    result

    指向目标序列初始位置的输出迭代器(Output iterators)。当前函数将会访问该序列中与范围 [first,last)  中相同元素个数的元素。

    两个序列不能有重合。

    pred

    一元谓词(Unary)函数,以范围中的一个元素为参数,然后返回一个可转换成 bool 类型的值。

    其返回值表明指定元素是否满足当前函数所检测的条件。

    该函数不能修改其参数。

    可以是函数指针(Function pointer)类型或函数对象(Function object)类型。

    new_value

    新值,用于替换旧值。

    返回

    所有元素拷贝完成后,表示目标范围末尾(End)的迭代器。

  • 例 1

    #include <iostream>
    #include <algorithm>
    #include <iterator>
    #include <vector>
    
    #define CLASSFOO_VECTOR(type, name, ...) \
    static const type name##_a[] = __VA_ARGS__; \
    std::vector<type> name(name##_a, name##_a + sizeof(name##_a) / sizeof(*name##_a))
    
    namespace ClassFoo{
        bool IsOdd(int n) {
            return n % 2 == 1;
        }
        void ReplaceCopyIf_1() {
            // 构造一个 vector 对象并填充
            CLASSFOO_VECTOR(int, BigVector, { 8, 23, 5, 6, 7, 29, 0, 5, 6, 7, 1, 1 });
            std::vector<int> SmallVector;
            SmallVector.resize(BigVector.size());
            // 拷贝 BigVector 至 SmallVector,并将其中的值为奇数的元素替换成 666
            std::replace_copy_if(BigVector.begin(), BigVector.end(), SmallVector.begin(), IsOdd, 666);
            // 输出 SmallVector 中的内容
            std::copy(
                SmallVector.begin(),
                SmallVector.end(),
                std::ostream_iterator<int>(std::cout, " "));
            std::cout << std::endl;
        }
    }
    int main()
    {
        ClassFoo::ReplaceCopyIf_1();
        return 0;
    }

    8 666 666 6 666 666 0 666 6 666 666 666 

    例 2

    C++11

    #include <iostream>
    #include <algorithm>
    #include <iterator>
    #include <vector>
    
    namespace ClassFoo{
        void ReplaceCopyIf_2() {
            // 构造一个 vector 对象并填充
            std::vector<int> BigVector = { 8, 23, 5, 6, 7, 29, 0, 5, 6, 7, 1, 1 };
            std::vector<int> SmallVector;
            SmallVector.resize(BigVector.size());
            // 拷贝 BigVector 至 SmallVector,并将其中的值为奇数的元素替换成 666
            std::replace_copy_if(
                BigVector.begin(),
                BigVector.end(),
                SmallVector.begin(),
                [](int m) { return m % 2 == 1; },
                666);
            // 输出 SmallVector 中的内容
            std::copy(
                SmallVector.begin(),
                SmallVector.end(),
                std::ostream_iterator<int>(std::cout, " "));
            std::cout << std::endl;
        }
    }
    int main()
    {
        ClassFoo::ReplaceCopyIf_2();
        return 0;
    }

    8 666 666 6 666 666 0 666 6 666 666 666 

  • 复杂度

    O(n)n 为 last first.

    数据争用相关

    访问在范围 [first,last) 中的所有元素。

    修改在范围 result 及返回值之间的所有元素。

    异常安全性相关

    如果谓词 pred、赋值操作或操作某个迭代器抛异常,该函数才会抛异常。

    注意 无效参数将导致未定义行为(Undefined behavior)