Namespaces
Variants

std::unique_copy

から ja.cppreference.net
 
 
アルゴリズムライブラリ
制約付きアルゴリズムとレンジに関するアルゴリズム (C++20)
制約付きアルゴリズム(例:ranges::copy, ranges::sort, ...
ソートおよび関連操作
分割操作
(C++11)    

ソート操作
二分探索操作
(分割された範囲に対して)
集合操作(ソート済み範囲に対して)
マージ操作(ソート済み範囲に対して)
ヒープ操作
最小/最大操作
(C++11)
(C++17)
辞書順比較操作
順列操作


 
ヘッダ <algorithm>
template< class InputIt, class OutputIt >
OutputIt unique_copy( InputIt first, InputIt last, OutputIt d_first );
で定義 (1) (constexpr C++20以降)
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) (constexpr C++20以降)
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 に従って実行されます。
これらのオーバーロードは、次の式の値が true である場合にのみオーバーロード解決に参加します:

std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>

(C++20まで)

std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>

(C++20以降)

*d_first = *first が無効である場合(C++20まで)*first が 書き込み可能でない場合d_first(C++20以降)、プログラムは ill-formed です。

送信元と送信先の範囲が重なっている場合、動作は未定義です。

T が InputIt の値型である場合、オーバーロード (1) または (3) が以下の条件をすべて満たさ ない 場合、動作は未定義です:

(C++20まで)
(C++20以降)

パラメータ

first, last - 処理する要素のソース 範囲 を定義するイテレータのペア
d_first - 宛先範囲の先頭
policy - 使用する 実行ポリシー
p - 要素が等しいと見なされるべき場合に​ true を返す二項述語。

述語関数のシグネチャは以下と同等であるべきです:

bool pred ( const Type1 & a, const Type2 & b ) ;

シグネチャが const & を持つ必要はありませんが、関数は渡されたオブジェクトを変更してはならず、 値カテゴリ に関係なく型 Type1 と Type2 のすべての値を受け入れられる必要があります(したがって、 Type1 & は許可されません 、また Type1 も、 Type1 に対して移動がコピーと等価でない限り許可されません (C++11以降) )。
型 Type1 と Type2 は、 InputIt 型のオブジェクトが間接参照され、それら両方に暗黙的に変換可能である必要があります。 ​

型要件
-
InputIt は LegacyInputIterator の要件を満たさなければなりません。
-
OutputIt は LegacyOutputIterator の要件を満たさなければなりません。
-
ForwardIt1, ForwardIt2 は LegacyForwardIterator の要件を満たさなければなりません。

戻り値

最後に書き込まれた要素の次の要素を指す出力イテレータ。

計算量

与えられた N が std:: distance ( first, last ) である場合:

1,2) 厳密に max(0,N-1) 回の比較を operator == を使用して行う。
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++規格に対して遡及的に適用されました。

DR 適用対象 公開時の動作 正しい動作
LWG 239 C++98 述語が std:: distance ( first, last ) 回適用された 1回少なく適用される
(空でない範囲の場合)
LWG 241 C++98 InputIt の値型が CopyConstructible であることが要求されていなかった 条件付きで要求される
LWG 538 C++98 InputIt の値型が CopyAssignable であることが要求されていなかった 条件付きで要求される
LWG 2439 C++98 InputIt の値型が
CopyConstructible であることが要求されていなかった
( OutputIt が LegacyForwardIterator の場合)
条件付きで要求される

関連項目

最初の隣接する等しい(または指定された述語を満たす)2つの要素を検索する
(関数テンプレート & アルゴリズム関数オブジェクト)
範囲内の連続した重複要素を削除する
(関数テンプレート & アルゴリズム関数オブジェクト)
要素の範囲を新しい場所にコピーする
(関数テンプレート & アルゴリズム関数オブジェクト)
連続した重複を含まない要素の範囲のコピーを作成する
(アルゴリズム関数オブジェクト)