std::unique_copy

定義於標頭檔案 `<algorithm>`
template< class InputIt, class OutputIt > OutputIt unique_copy( InputIt first, InputIt last, OutputIt d_first );	(1)	(C++20 起為 constexpr)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2 > ForwardIt2 unique_copy( ExecutionPolicy&& policy, ForwardIt1 first, ForwardIt1 last, ForwardIt2 d_first );	(2)	(C++17 起)
template< class InputIt, class OutputIt, class BinaryPred > OutputIt unique_copy( InputIt first, InputIt last, OutputIt d_first, BinaryPred p );	(3)	(C++20 起為 constexpr)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class BinaryPred > ForwardIt2 unique_copy( ExecutionPolicy&& policy, ForwardIt1 first, ForwardIt1 last, ForwardIt2 d_first, BinaryPred p );	(4)	(C++17 起)

將範圍 [first, last) 中的元素複製到從 d_first 開始的另一個範圍，使得沒有連續相等的元素。只複製每組相等元素的第一個元素。

1) 使用 operator== 比較元素。

如果 operator== 未建立等價關係，則行為未定義。

3) 使用給定二元謂詞 p 比較元素。

如果 p 未建立等價關係，則行為未定義。

2,4) 同 (1,3)，但按 policy 執行。

僅當滿足所有以下條件時，這些過載才參與過載決議

std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> 為 true。	(C++20 前)
std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> 為 true。	(C++20 起)

如果 *d_first = *first 無效(C++20 前)*first 不能寫入到 d_first(C++20 起)，則程式非良構。

如果源範圍和目標範圍重疊，則行為未定義。

給定 T 為 InputIt 的值型別，如果過載 (1) 或 (3) 不滿足以下所有條件，則行為未定義：

`InputIt` 滿足 LegacyForwardIterator 的要求。	(C++20 前)
`InputIt` 建模 `forward_iterator`。	(C++20 起)

T 既是 CopyConstructible 又是 CopyAssignable。
滿足所有以下條件：

OutputIt 滿足 LegacyForwardIterator 的要求。
OutputIt 的值型別也為 T。
T 是 CopyAssignable。

first, last	-	定義要處理元素的源範圍的迭代器對
d_first	-	目標範圍的開頭
policy	-	要使用的執行策略
p	-	二元謂詞，如果元素應被視為相等，則返回 true。謂詞函式的簽名應等效於以下內容： bool pred(const Type1 &a, const Type2 &b); 雖然簽名不需要有 const &，但函式不得修改傳遞給它的物件，並且必須能夠接受 `Type1` 和 `Type2` 型別（可能為 const）的所有值，無論值類別如何（因此，不允許 Type1 &，除非對於 `Type1`，移動等同於複製，否則也不允許 Type1(C++11 起)）。型別 Type1 和 Type2 必須使得型別為 InputIt 的物件可以解引用，然後隱式轉換為它們兩者。
型別要求
- `InputIt` 必須滿足 LegacyInputIterator 的要求。
- `OutputIt` 必須滿足 LegacyOutputIterator 的要求。
- `ForwardIt1, ForwardIt2` 必須滿足 LegacyForwardIterator 的要求。

[編輯] 返回值

指向最後一個寫入元素之後的元素的輸出迭代器。

[編輯] 複雜度

給定 $\scriptsize N$ $N$ 作為 std::distance(first, last)

1,2) 使用 operator== 進行恰好

max(0,N-1)

次比較。

3,4) 恰好

max(0,N-1)

次謂詞 p 的應用。

對於過載 (2,4)，如果 ForwardIt1 的值型別不是既 CopyConstructible 又 CopyAssignable，則可能存在效能開銷。

[編輯] 異常

帶有模板引數 ExecutionPolicy 的過載按如下方式報告錯誤

如果作為演算法一部分呼叫的函式執行丟擲異常，並且 ExecutionPolicy 是標準策略之一，則呼叫 std::terminate。對於任何其他 ExecutionPolicy，行為由實現定義。
如果演算法未能分配記憶體，則丟擲 std::bad_alloc。

[編輯] 可能的實現

另見 libstdc++ 和 libc++ 中的實現。

[編輯] 注意

如果 InputIt 滿足 LegacyForwardIterator，則此函式會重新讀取輸入以檢測重複項。

否則，如果 OutputIt 滿足 LegacyForwardIterator，並且 InputIt 的值型別與 OutputIt 的值型別相同，則此函式會將 *d_first 與 *first 進行比較。

否則，此函式會將 *first 與本地元素副本進行比較。

[編輯] 示例

執行此程式碼

#include <algorithm>
#include <iostream>
#include <iterator>
#include <string>
 
int main()
{
    std::string s1 {"A string with mmmany letters!"};
    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 == 'm' && 'm' == c2; });
 
    std::cout << "After:  " << s2 << '\n';
}

輸出

Before: A string with mmmany letters!
After:  A string with many letters!

[編輯] 缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 239	C++98	謂詞被應用 std::distance(first, last) 次	少應用一次 (對於非空範圍)
LWG 241	C++98	`InputIt` 的值型別不需要是 CopyConstructible	有條件地要求
LWG 538	C++98	`InputIt` 的值型別不需要是 CopyAssignable	有條件地要求
LWG 2439	C++98	`InputIt` 的值型別不需要是 CopyConstructible，如果 `OutputIt` 是 LegacyForwardIterator	有條件地要求

[編輯] 參閱

adjacent_find	尋找第一對相等的（或滿足給定謂詞的）相鄰項 (函式模板) [編輯]
unique	移除一個範圍中的連續重複元素 (函式模板) [編輯]
copycopy_if (C++11)	將一個範圍的元素複製到一個新位置 (函式模板) [編輯]
ranges::unique_copy (C++20)	建立一個不含連續重複元素的某個元素範圍的副本 (演算法函式物件)[編輯]

編譯器支援
自由（freestanding）與宿主（hosted）
語言
標準庫
標準庫標頭檔案
具名要求
特性測試宏 (C++20)
語言支援庫
概念庫 (C++20)
診斷庫
記憶體管理庫
超程式設計庫 (C++11)
通用工具庫
容器庫
迭代器庫
範圍庫 (C++20)
演算法庫
字串庫
文字處理庫
數值庫
日期和時間庫
輸入/輸出庫
檔案系統庫 (C++17)
併發支援庫 (C++11)
執行控制庫 (C++26)
技術規範
符號索引
外部庫

cppreference.com

名稱空間

變體

檢視

操作