C++11标准模板（STL）- 算法（std::replace_copy, std::replace_copy_if）

定义于头文件 <algorithm>

算法库提供大量用途的函数（例如查找、排序、计数、操作），它们在元素范围上操作。注意范围定义为 [first, last) ，其中 last 指代要查询或修改的最后元素的后一个元素。

复制一个范围内的元素，并将满足特定判别标准的元素替换为另一个值

std::replace_copy, std::replace_copy_if

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)	(C++20 前)
template< class InputIt, class OutputIt, class T > constexpr OutputIt replace_copy( InputIt first, InputIt last, OutputIt d_first,                                  const T& old_value, const T& new_value );		(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 UnaryPredicate, class T > OutputIt replace_copy_if( InputIt first, InputIt last, OutputIt d_first,                           UnaryPredicate p, const T& new_value );	(3)	(C++20 前)
template< class InputIt, class OutputIt, class UnaryPredicate, class T > constexpr OutputIt replace_copy_if( InputIt first, InputIt last, OutputIt d_first,                                     UnaryPredicate p, const T& new_value );		(C++20 起)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class UnaryPredicate, class T > ForwardIt2 replace_copy_if( ExecutionPolicy&& policy, ForwardIt1 first, ForwardIt1 last,                             ForwardIt2 d_first, UnaryPredicate p, const T& new_value );		(4)	(C++17 起)

复制来自范围 [first, last) 的所有元素到始于 d_first 的范围，并以 new_value 替换所有满足特定判别标准的元素。源与目标范围不能重叠。

1) 替换所有等于 old_value 的元素。

3) 替换所有谓词 p 对其满足 true 的元素。

2,4) 同 (1,3) ，但按照 policy 执行。这些重载仅若 std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> 为 true 才参与重载决议。

参数

first, last	-	要复制的元素范围
d_first	-	目标范围的起始
old_value	-	要被替换的元素值
policy	-	所用的执行策略。细节见执行策略。
p	-	若应该替换元素则返回 ​true 的一元谓词。 对每个（可为 const 的） VT 类型参数 v ，其中 VT 是 InputIt 的值类型，表达式 p(v) 必须可转换为 bool ，无关乎值类别，而且必须不修改 v 。从而不允许 VT& 类型参数，亦不允许 VT ，除非对 VT 而言移动等价于复制 (C++11 起)。 ​
new_value	-	用作替换者的元素值
类型要求
- InputIt 必须满足遗留输入迭代器 (LegacyInputIterator) 的要求。
- OutputIt 必须满足遗留输出迭代器 (LegacyOutputIterator) 的要求。
- ForwardIt1, ForwardIt2 必须满足遗留向前迭代器 (LegacyForwardIterator) 的要求。

返回值

指向最后复制元素后一元素的迭代器。

复杂度

准确应用 last - first 次谓词。

异常

拥有名为 ExecutionPolicy 的模板形参的重载按下列方式报告错误：

• 若作为算法一部分调用的函数的执行抛出异常，且 ExecutionPolicy 为标准策略之一，则调用 std::terminate 。对于任何其他 ExecutionPolicy ，行为是实现定义的。
• 若算法无法分配内存，则抛出 std::bad_alloc 。

可能的实现

 版本一

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;
}

版本二

template<class InputIt, class OutputIt, 
         class UnaryPredicate, class T>
OutputIt replace_copy_if(InputIt first, InputIt last, OutputIt d_first,
                         UnaryPredicate p, const T& new_value)
{
    for (; first != last; ++first) {
        *d_first++ = p( *first ) ? new_value : *first;
    }
    return d_first;
}

调用示例

#include <algorithm>
#include <functional>
#include <iostream>
#include <iterator>
#include <vector>

struct Cell
{
    int x;
    int y;
    Cell &operator+=(Cell &cell)
    {
        x += cell.x;
        y += cell.y;
        return *this;
    }

    bool operator ==(const Cell &cell)
    {
        return x == cell.x && y == cell.y;
    }
};

std::ostream &operator<<(std::ostream &os, const Cell &cell)
{
    os << "{" << cell.x << "," << cell.y << "}";
    return os;
}

int main()
{
    auto func1 = []()
    {
        static Cell cell = {-2, -1};
        cell.x += 2;
        cell.y += 2;
        return cell;
    };

    std::vector<Cell> cells(5);
    std::generate_n(cells.begin(), cells.size(), func1);

    Cell oldCell{4, 5};
    Cell newCell{100, 101};
    cells.push_back(oldCell);

    std::cout << "original   vector<Cell>:                  ";
    std::copy(cells.begin(), cells.end(), std::ostream_iterator<Cell>(std::cout, " "));
    std::cout << std::endl;

    std::vector<Cell> cells_copy;
    // 1) 替换所有等于 old_value 的元素。
    std::replace_copy(cells.begin(), cells.end(), std::back_inserter(cells_copy), oldCell, newCell);

    std::cout << "cells_replace_copy old vector<Cell>:      ";
    std::copy(cells.begin(), cells.end(), std::ostream_iterator<Cell>(std::cout, " "));
    std::cout << std::endl;

    std::cout << "cells_replace_copy new vector<Cell>:      ";
    std::copy(cells_copy.begin(), cells_copy.end(), std::ostream_iterator<Cell>(std::cout, " "));
    std::cout << std::endl << std::endl;


    auto func2 = [](const Cell & ocell)
    {
        return ocell.x != ocell.y;
    };

    std::generate_n(cells.begin(), cells.size(), func1);
    oldCell = {16, 17};
    std::cout << "original   vector<Cell>:                  ";
    std::copy(cells.begin(), cells.end(), std::ostream_iterator<Cell>(std::cout, " "));
    std::cout << std::endl;
    cells_copy.clear();

    //3) 替换所有谓词 p 对其满足 true 的元素。
    std::replace_copy_if(cells.begin(), cells.end(), std::back_inserter(cells_copy), func2, newCell);

    std::cout << "cells_replace_copy old vector<Cell>:      ";
    std::copy(cells.begin(), cells.end(), std::ostream_iterator<Cell>(std::cout, " "));
    std::cout << std::endl;

    std::cout << "cells_replace_copy new vector<Cell>:      ";
    std::copy(cells_copy.begin(), cells_copy.end(), std::ostream_iterator<Cell>(std::cout, " "));
    std::cout << std::endl;
}

输出