std::forward_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::forward_list

成員函式
forward_list::forward_list forward_list::~forward_list forward_list::operator= forward_list::assign forward_list::assign_range (C++23)   forward_list::get_allocator 元素訪問 forward_list::front 迭代器 forward_list::before_beginforward_list::cbefore_begin forward_list::beginforward_list::cbegin forward_list::endforward_list::cend 容量 forward_list::empty forward_list::max_size	修改器 forward_list::clear forward_list::emplace_front forward_list::push_front forward_list::insert_after forward_list::emplace_after forward_list::erase_after forward_list::insert_range_after (C++23) forward_list::prepend_range (C++23) forward_list::pop_front forward_list::resize forward_list::swap 操作 forward_list::merge forward_list::splice_after forward_list::removeforward_list::remove_if forward_list::reverse forward_list::unique forward_list::sort
非成員函式
operator==operator<=> (C++20 起) swap(std::forward_list) erase(std::forward_list)erase_if(std::forward_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( forward_list& other );	(1)	(C++11 起)
void merge( forward_list&& other );	(2)	(C++11 起)
template< class Compare > void merge( forward_list& other, Compare comp );	(3)	(C++11 起)
template< class Compare > void merge( forward_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 必須是這樣的：型別為 forward_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) 使用 operator< 最多進行 \(\scriptsize N+R-1\)N+R-1 次比較。

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

示例

執行此程式碼

#include <iostream>
#include <forward_list>
 
std::ostream& operator<<(std::ostream& ostr, const std::forward_list<int>& list)
{
    for (const int i : list)
        ostr << ' ' << i;
    return ostr;
}
 
int main()
{
    std::forward_list<int> list1 = {5, 9, 1, 3, 3};
    std::forward_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 2045	C++11	如果 *this 和 other 指向 get_allocator() != other.get_allocator()，則無法保證 O(1) 節點移動	在這種情況下，行為是 未定義的
LWG 3088	C++11	同一物件時的效果未指定 無法保證 O(1) 節點移動 operator< 可能對指標元素行為不正常	指定為空操作 實現定義 使用嚴格全序

另請參閱

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