std::list<T,Allocator>::merge

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

容器庫

序列

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (C++26)

deque

forward_list (C++11)

list

關聯

set

multiset

map

multimap

無序關聯

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

介面卡

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

檢視

span (C++20)

mdspan (C++23)

表格

迭代器失效

成員函式表格

非成員函式表格

 

std::list

成員函式
list::list list::~list list::operator= list::assign list::assign_range (C++23)   list::get_allocator 元素訪問 list::front list::back 迭代器 list::beginlist::cbegin (C++11) list::endlist::cend (C++11) list::rbeginlist::crbegin (C++11) list::rendlist::crend (C++11) 容量 list::size list::empty list::max_size	修改器 list::clear list::insert list::insert_range (C++23) list::emplace (C++11) list::erase list::push_front list::emplace_front (C++11) list::prepend_range (C++23) list::pop_front list::push_back list::emplace_back (C++11) list::append_range (C++23) list::pop_back list::resize list::swap 操作 list::merge list::splice list::removelist::remove_if list::reverse list::unique list::sort
非成員函式
operator==operator<=> (C++20 起) swap(std::list) erase(std::list)erase_if(std::list) (C++20)(C++20)	operator!=operator<operator>operator<=operator>= (until C++20)(until C++20)(until C++20)(until C++20)(until C++20)
推導指引(C++17)

 

void merge( list& other );	(1)
void merge( list&& other );	(2)	(C++11 起)
template< class Compare > void merge( list& other, Compare comp );	(3)
template< class Compare > void merge( list&& other, Compare comp );	(4)	(C++11 起)

如果 other 指向與 *this 相同的物件，則函式不執行任何操作。

否則，將 other 合併到 *this 中。兩個列表都應該已排序。不復制任何元素，並且容器 other 在合併後變為空。此操作是穩定的：對於兩個列表中的等效元素，來自 *this 的元素總是先於來自 other 的元素，並且 *this 和 other 中等效元素的順序不會改變。

沒有迭代器或引用失效。從 *this 移動的元素的指標和引用，以及引用這些元素的迭代器，將引用 *this 中的相同元素，而不是 other 中的元素。

1,2) 元素使用 std::less<T>()(直到 C++14)std::less<>()(自 C++14 起) 進行比較。

3,4) 元素使用 comp 進行比較。

如果 *this 或 other 未根據對應的比較器排序，或者 get_allocator() != other.get_allocator()，則行為未定義。

引數

其他	-	要合併的另一個容器
comp	-	比較函式物件（即滿足 Compare 要求的物件），如果第一個引數“小於”（即“先於”）第二個引數，則返回 true。 比較函式的簽名應等效於以下內容 bool cmp(const Type1& a, const Type2& b); 雖然簽名不需要包含 const&，但函式不得修改傳遞給它的物件，並且必須能夠接受型別（可能是 const）Type1 和 Type2 的所有值，而不論其值類別（因此，不允許使用 Type1&，除非對於 Type1 移動等同於複製，否則也不允許使用 Type1(自 C++11 起)）。 型別 Type1 和 Type2 必須使得型別為 list<T, Allocator>::const_iterator 的物件可以被解引用，然後隱式轉換為這兩種型別。​
型別要求
- Compare 必須滿足 Compare 的要求。

返回值

(無)

異常

如果因任何原因丟擲異常，這些函式沒有效果（強異常安全保證）。除非異常來自比較。

複雜度

如果 other 指向與 *this 相同的物件，則不執行任何比較。

否則，給定 \(\scriptsize N\)N 為 std::distance(begin(), end())，\(\scriptsize R\)R 為 std::distance(other.begin(), other.end())

1,2) 最多 \(\scriptsize N+R-1\)N+R-1 次使用 operator< 的比較。

3,4) 最多 \(\scriptsize N+R-1\)N+R-1 次應用比較函式 comp。

示例

執行此程式碼

#include <iostream>
#include <list>
 
std::ostream& operator<<(std::ostream& ostr, const std::list<int>& list)
{
    for (const int i : list)
        ostr << ' ' << i;
    return ostr;
}
 
int main()
{
    std::list<int> list1 = {5, 9, 1, 3, 3};
    std::list<int> list2 = {8, 7, 2, 3, 4, 4};
 
    list1.sort();
    list2.sort();
    std::cout << "list1: " << list1 << '\n';
    std::cout << "list2: " << list2 << '\n';
 
    list1.merge(list2);
    std::cout << "merged:" << list1 << '\n';
}

輸出

list1:  1 3 3 5 9
list2:  2 3 4 4 7 8
merged: 1 2 3 3 3 4 4 5 7 8 9

缺陷報告

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

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 300	C++98	*this 和 other 指向 相同物件時的效果未指定	指定為空操作
LWG 1207	C++98	迭代器和/或引用是否會失效不明確	保持有效
LWG 1215	C++98	如果 get_allocator() != other.get_allocator()，則無法保證 O(1) 節點移動	在這種情況下，行為是 未定義的
LWG 3088	C++98	operator< 可能對指標元素行為不當	實現定義 使用嚴格全序

另見

splice	從另一個 list 移動元素 (public 成員函式)
merge	歸併兩個已排序的範圍 (函式模板)
inplace_merge	就地歸併兩個有序範圍 (函式模板)
ranges::merge (C++20)	歸併兩個已排序的範圍 (演算法函式物件)
ranges::inplace_merge (C++20)	就地歸併兩個有序範圍 (演算法函式物件)