std::unique_copy() 算法

自 C++20 起

// (1)
template< class InputIt, class OutputIt >
constexpr OutputIt unique_copy( InputIt first, InputIt last, OutputIt d_first );

// (2)
template< class InputIt, class OutputIt, class BinaryPredicate >
constexpr OutputIt unique_copy( InputIt first, InputIt last,
                      OutputIt d_first, BinaryPredicate p );

// (3)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2 >
ForwardIt2 unique_copy( ExecutionPolicy&& policy, ForwardIt1 first,
                        ForwardIt1 last, ForwardIt2 d_first );

// (4)
template< class ExecutionPolicy, class ForwardIt1,
          class ForwardIt2, class BinaryPredicate >
ForwardIt2 unique_copy( ExecutionPolicy&& policy,
                        ForwardIt1 first, ForwardIt1 last,
                        ForwardIt2 d_first, BinaryPredicate p );

自 C++17 起

// (1)
template< class InputIt, class OutputIt >
OutputIt unique_copy( InputIt first, InputIt last, OutputIt d_first );

// (2)
template< class InputIt, class OutputIt, class BinaryPredicate >
OutputIt unique_copy( InputIt first, InputIt last,
                      OutputIt d_first, BinaryPredicate p );

// (3)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2 >
ForwardIt2 unique_copy( ExecutionPolicy&& policy, ForwardIt1 first,
                        ForwardIt1 last, ForwardIt2 d_first );

// (4)
template< class ExecutionPolicy, class ForwardIt1,
          class ForwardIt2, class BinaryPredicate >
ForwardIt2 unique_copy( ExecutionPolicy&& policy,
                        ForwardIt1 first, ForwardIt1 last,
                        ForwardIt2 d_first, BinaryPredicate p );

C++17 之前

// (1)
template< class InputIt, class OutputIt >
OutputIt unique_copy( InputIt first, InputIt last, OutputIt d_first );

// (2)
template< class InputIt, class OutputIt, class BinaryPredicate >
OutputIt unique_copy( InputIt first, InputIt last,
                      OutputIt d_first, BinaryPredicate p );

将范围 [first; last) 中的元素复制到从 d_first 开始的另一个范围，使得没有连续相等的元素。

只复制每组相等元素的第一个元素。

• (1) 元素使用 operator== 进行比较。

• (2) 元素使用给定的二元谓词 p 进行比较。

• (3 - 4) 与 (1 - 2) 相同，但根据 policy 执行。

  重载决议

  这些重载只有在 std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>  (C++20 之前) std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>  (C++20 起) 为 true 时才参与重载决议。

未定义行为

行为未定义

如果它不是等价关系。

参数

first last	要处理的元素范围。
d_first	目标范围的开头。
policy	要使用的执行策略。有关详细信息，请参阅执行策略。
p	二元谓词，如果元素应被视为相等，则返回 true。 函数的签名应与以下内容等效 bool fun(const Type1& a, const Type2& b); 签名不需要包含 const&。 函数不得修改传递给它的对象。 必须接受 (可能为 const) Type1 和 Type2 类型的所有值，无论值类别如何 (因此不允许 Type1&，也不允许 Type1，除非对于 Type1 移动等同于复制 (C++11 起)) Type1 和 Type2 的类型必须使得 InputIt 类型的对象可以解引用，然后隐式转换为它们。

类型要求

InputIt	LegacyInputIterator
OutputIt	LegacyOutputIterator
ForwardIt1 ForwardIt2	LegacyForwardIterator

如果满足以下条件，解引用的 InputIt 的类型必须满足 CopyConstructible 的要求：

• InputIt 和 OutputIt 都不满足 LegacyForwardIterator，或者
• InputIt 不满足 LegacyForwardIterator，并且 InputIt 的值类型与 OutputIt 的值类型不同

返回值

指向最后一个写入元素之后的元素的输出迭代器。

复杂度

对于非空范围，恰好应用了 std::distance(first, last) - 1 次相应的谓词。

异常

带有模板参数 ExecutionPolicy 的重载报告错误如下

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

备注

如果 InputIt 满足 LegacyForwardIterator，则此函数会重新读取输入以检测重复项。

否则，如果 OutputIt 满足 LegacyForwardIterator，并且 InputIt 的值类型与 OutputIt 的值类型相同，则此函数将 *d_first 与 *first 进行比较。

否则，此函数将 *first 与本地元素副本进行比较。

对于带有 ExecutionPolicy 的重载，如果 ForwardIt1 的值类型既不是 CopyConstructible 也不是 CopyAssignable，则可能会有性能开销。

示例

以下代码复制并打印一个向量，同时将所有大于 5 的值替换为 99。

Main.cpp

#include <algorithm>
#include <iostream>
#include <iterator>
#include <string>

int main()
{
    std::string s1 {"The      string    with many       spaces!"};
    std::cout << "before: " << s1 << '\n';

    std::string s2;
    std::unique_copy(s1.begin(), s1.end(), std::back_inserter(s2),
                     [](char c1, char c2) { return c1 == ' ' && c2 == ' '; });

    std::cout << "after:  " << s2 << '\n';
}

输出

before: The      string    with many       spaces!
after:  The string with many spaces!