最終更新日時(UTC): 2026年02月17日 14時22分33秒
Akira Takahashi が更新

履歴 編集

function template
<set>

# std::set::merge(C++17)

    template<class C2>
    void merge(set<Key, C2, Allocator>& source);           // (1) C++17
    template<class C2>
    constexpr void merge(set<Key, C2, Allocator>& source); // (1) C++26

    template<class C2>
    void merge(set<Key, C2, Allocator>&& source);           // (2) C++17
    template<class C2>
    constexpr void merge(set<Key, C2, Allocator>&& source); // (2) C++26

    template<class C2>
    void merge(multiset<Key, C2, Allocator>& source);           // (3) C++17
    template<class C2>
    constexpr void merge(multiset<Key, C2, Allocator>& source); // (3) C++26

    template<class C2>
    void merge(multiset<Key, C2, Allocator>&& source);           // (4) C++17
    template<class C2>
    constexpr void merge(multiset<Key, C2, Allocator>&& source); // (4) C++26

## 概要

引数 `source` 内の各要素を抽出し、`*this` の比較オブジェクトを使用して `*this` への挿入を試みる。
`source` の要素のキーと等価なキーの要素がある場合、その要素は `source` から抽出されない。
また、この操作で要素はコピーもムーブもされない。

## 要件

`source.get_allocator() == (*this).get_allocator()`

## 戻り値

なし

## 計算量

`Nlog((*this).size()+N)`
ここで、`N` の値は `source.size()` である。

## 備考

- `source` の転送された要素へのポインタおよび参照は、それらと同じ要素を参照するが、`*this` のメンバとして参照する。また、転送された要素を参照する反復子は、引き続きその要素を参照するが、転送後は `source` ではなく `*this` への反復子として動作する
- (2), (4) : これらの右辺値参照オーバーロードは、一時オブジェクトを受け取った場合にコピーを発生させないためだけのものである。パラメータのオブジェクト内のポインタを破壊したり、高速なmerge処理が行われるわけではない

## 例外

比較オブジェクトが例外を送出しない限り、例外を送出しない。

## 例

    #include <iostream>
    #include <set>

    int main()
    {
      std::set<int> s1 = { 10, 20, 30 };
      std::set<int> s2 = { 10 };

      // s1 の要素を s2 に merge
      s2.merge(s1);

      std::cout << "s1 = { ";
      for(auto&& itr = s1.begin(); itr != s1.end();)
        std::cout << *itr << (++itr != s1.end() ? ", " : " }\n");

      std::cout << "s2 = { ";
      for(auto&& itr = s2.begin(); itr != s2.end();)
        std::cout << *itr << (++itr != s2.end() ? ", " : " }\n");
    }

### 出力

    s1 = { 10 }
    s2 = { 10, 20, 30 }

## バージョン

### 言語

- C++17

### 処理系

- Clang: 8.0.0 ✅
- GCC: 7.1.0 ✅
- ICC: ??
- Visual C++: 2017 Update 5 ✅

## 参照

- Splicing Maps and Sets(Revision 5)
- P3372R3 constexpr containers and adaptors