std::generator<Ref,V,Allocator>::迭代器

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

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

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

工具庫

語言支援 型別支援（基本型別、RTTI） 庫特性測試宏 (C++20) 程式工具 變參函式 初始化列表（initializer_list） (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) 協程支援 (C++20) 契約支援 (C++26) 三路比較 三路比較（three_way_comparable）三路比較（three_way_comparable_with） (C++20)(C++20) 強序（strong_ordering） (C++20) 弱序（weak_ordering） (C++20) 偏序（partial_ordering） (C++20) 通用比較類別（common_comparison_category） (C++20) 三路比較結果（compare_three_way_result） (C++20) 三路比較（compare_three_way） (C++20) 強序（strong_order） (C++20) 弱序（weak_order） (C++20) 偏序（partial_order） (C++20) 強序回退比較（compare_strong_order_fallback） (C++20) 弱序回退比較（compare_weak_order_fallback） (C++20) 偏序回退比較（compare_partial_order_fallback） (C++20)   是否相等（is_eq）是否小於（is_lt）是否小於等於（is_lteq） (C++20)(C++20)(C++20)   是否不相等（is_neq）是否大於（is_gt）是否大於等於（is_gteq） (C++20)(C++20)(C++20)

通用工具 函式物件 位操作 (C++20) 位集（bitset） 雜湊（hash） (C++11) 關係運算符 (C++20 中棄用) 關係運算子::不等於（rel_ops::operator!=）關係運算子::大於（rel_ops::operator>）    關係運算子::小於等於（rel_ops::operator<=）關係運算子::大於等於（rel_ops::operator>=） 整數比較函式 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) 交換與型別操作 交換（swap） 範圍::交換（ranges::swap） (C++20) 交換（exchange） (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) 移動（move） (C++11) noexcept時移動（move_if_noexcept） (C++11) 轉為const（as_const） (C++17) 常用詞彙型別 對（pair） 元組（tuple） (C++11) 可選（optional） (C++17) 任意（any） (C++17) 變體（variant） (C++17) 元組大小（tuple_size） (C++11) 元組元素（tuple_element） (C++11) 應用（apply） (C++17) 從元組建立（make_from_tuple） (C++17) 預期（expected） (C++23)

 

協程支援

協程特質

協程特質（coroutine_traits） (C++20)

協程控制代碼

協程控制代碼（coroutine_handle） (C++20)

無操作協程

無操作協程承諾（noop_coroutine_promise） (C++20)

無操作協程（noop_coroutine） (C++20)

平凡可等待物件

永不暫停（suspend_never） (C++20)

總是暫停（suspend_always） (C++20)

範圍生成器 (Range generators)

生成器（generator） (C++23)

 

範圍庫 (Ranges library)

範圍訪問 開始（begin） 常量開始（cbegin）   結束（end） 常量結束（cend） 反向開始（rbegin） 常量反向開始（crbegin）   反向結束（rend） 常量反向結束（crend） 大小（size） 有符號大小（ssize）   資料（data） 常量資料（cdata） 保留提示（reserve_hint） (C++26)   空（empty）

範圍轉換 (Range conversions) std::from_range_t std::from_range (C++23)(C++23)     to (C++23)

懸空迭代器處理 (Dangling iterator handling) 懸空（dangling） 借用迭代器型別（borrowed_iterator_t） 借用子範圍型別（borrowed_subrange_t）

範圍原語 (Range primitives)
範圍大小型別（range_size_t）範圍差值型別（range_difference_t）範圍值型別（range_value_t） elements_of (C++23)	迭代器型別（iterator_t）常量迭代器型別（const_iterator_t）哨兵型別（sentinel_t）常量哨兵型別（const_sentinel_t） (C++23)(C++23)	範圍引用型別（range_reference_t）範圍常量引用型別（range_const_reference_t）範圍右值引用型別（range_rvalue_reference_t）範圍通用引用型別（range_common_reference_t） (C++23)

範圍概念 (Range concepts)
範圍（range） 借用範圍（borrowed_range）    普通範圍（common_range）	有大小範圍（sized_range） 可檢視範圍（viewable_range）    檢視（view）	輸入範圍（input_range） 輸出範圍（output_range） 前向範圍（forward_range）	雙向範圍（bidirectional_range）    隨機訪問範圍（random_access_range） 連續範圍（contiguous_range）	近似大小範圍（approximately_sized_range） (C++26) 常量範圍（constant_range） (C++23)

檢視
檢視介面（view_interface）	子範圍（subrange）

範圍工廠 (Range factories)
空檢視（empty_view）檢視::空（views::empty）	單值檢視（single_view）檢視::單值（views::single）	基本輸入流檢視（basic_istream_view）檢視::輸入流（views::istream）	iota檢視（iota_view）檢視::iota（views::iota）	重複檢視（repeat_view）檢視::重複（views::repeat） (C++23)(C++23)

範圍介面卡 (Range adaptors)
檢視::所有型別（views::all_t）檢視::所有（views::all） 轉為右值檢視（as_rvalue_view）檢視::轉為右值（views::as_rvalue） (C++23)(C++23)   過濾檢視（filter_view）檢視::過濾（views::filter） 轉換檢視（transform_view）檢視::轉換（views::transform） 取檢視（take_view）檢視::取（views::take） 取直到檢視（take_while_view）檢視::取直到（views::take_while） 通用檢視（common_view）檢視::通用（views::common） 檢視::計數（views::counted） 轉為輸入檢視（to_input_view）檢視::轉為輸入（views::to_input） (C++26)(C++26)	引用檢視（ref_view） 丟棄檢視（drop_view）檢視::丟棄（views::drop） 丟棄直到檢視（drop_while_view）檢視::丟棄直到（views::drop_while） 延遲分割檢視（lazy_split_view）檢視::延遲分割（views::lazy_split） 分割檢視（split_view）檢視::分割（views::split） 連線檢視（join_view）檢視::連線（views::join） 帶連線檢視（join_with_view）檢視::帶連線（views::join_with） (C++23)(C++23)   連線檢視（concat_view）檢視::連線（views::concat） (C++26)(C++26) 快取最新檢視（cache_latest_view）檢視::快取最新（views::cache_latest） (C++26)(C++26)	擁有檢視（owning_view） 反向檢視（reverse_view）檢視::反向（views::reverse） 轉為常量檢視（as_const_view）檢視::轉為常量（views::as_const） (C++23)(C++23) 元素檢視（elements_view）檢視::元素（views::elements） 鍵檢視（keys_view）檢視::鍵（views::keys） 值檢視（values_view）檢視::值（views::values） 列舉檢視（enumerate_view）檢視::列舉（views::enumerate） (C++23)(C++23) 壓縮檢視（zip_view）檢視::壓縮（views::zip） (C++23)(C++23) 壓縮轉換檢視（zip_transform_view）檢視::壓縮轉換（views::zip_transform） (C++23)(C++23)	相鄰檢視（adjacent_view）檢視::相鄰（views::adjacent） (C++23)(C++23) 檢視::成對（views::pairwise） (C++23) 相鄰轉換檢視（adjacent_transform_view）檢視::相鄰轉換（views::adjacent_transform） (C++23)(C++23) 檢視::成對轉換（views::pairwise_transform） (C++23) 塊檢視（chunk_view）檢視::塊（views::chunk） (C++23)(C++23) 滑動檢視（slide_view）檢視::滑動（views::slide） (C++23)(C++23) 按塊分組檢視（chunk_by_view）檢視::按塊分組（views::chunk_by） (C++23)(C++23) 步幅檢視（stride_view）檢視::步幅（views::stride） (C++23)(C++23) 笛卡爾積檢視（cartesian_product_view）檢視::笛卡爾積（views::cartesian_product） (C++23)(C++23)

範圍生成器 (Range generators) std::generator (C++23)

範圍介面卡閉包物件 (Range adaptor closure objects) 範圍介面卡閉包（range_adaptor_closure） (C++23)

範圍介面卡物件 (Range adaptor objects)

輔助項 (Helper items)
可複製盒子（copyable-box） 可移動盒子（movable-box） (直到 C++23)  (C++23)	簡單檢視（simple-view） 非傳播快取（non-propagating-cache）

 

std::generator

成員函式

generator::generator

generator::~generator

generator::operator=

generator::begin

generator::end

promise_type

generator::promise_type::get_return_object

generator::promise_type::initial_suspend

generator::promise_type::final_suspend

generator::promise_type::yield_value

generator::promise_type::return_void

generator::promise_type::unhandled_exception

generator::promise_type::operator new

generator::promise_type::operator delete

迭代器 (Iterator)

generator::迭代器::迭代器

generator::迭代器::operator=

generator::迭代器::operator*

generator::迭代器::operator++ generator::迭代器::operator++(int)

operator==(generator::iterator, std::default_sentinel_t)

 

class /*迭代器*/;		(僅作說明*)

generator::begin 的返回型別。模型 indirectly_readable 和 input_iterator。

成員型別

成員型別	定義
值型別（value_type）	std::generator::value
差值型別（difference_type）	std::ptrdiff_t

資料成員

成員	描述
std::coroutine_handle<std::generator::promise_type> coroutine_	協程控制代碼 (僅用於闡釋的成員物件*)

成員函式

(建構函式)	構造一個迭代器 (公開成員函式)
operator=	賦值另一個迭代器 (公開成員函式)
operator*	返回底層值 (公開成員函式)
operator++operator++(int)	前進迭代器 (公開成員函式)

std::generator::迭代器::迭代器

/*迭代器*/( /*迭代器*/&& other ) noexcept;		(C++23 起)

使用 std::exchange(other.coroutine_, {}); 初始化 coroutine_。

std::generator::迭代器::operator=

/*迭代器*/& operator=( /*迭代器*/&& other ) noexcept;		(C++23 起)

等價於 coroutine_ = std::exchange(other.coroutine_, {});。

返回： *this。

std::generator::迭代器::operator*

reference operator*() const     noexcept( std::is_nothrow_copy_constructible_v<reference> );		(C++23 起)

1. 設 reference 為 std::generator 的底層型別。
2. 設對於某個生成器物件 x，其 coroutine_ 在棧 *x.active_ 中。
3. 設 x.active_->top() 指向一個具有承諾物件 p 的掛起協程。

等價於 return static_cast<reference>(*p.value_);。

std::generator::迭代器::operator++

constexpr /*迭代器*/& operator++();	(1)	(C++23 起)
constexpr void operator++( int );	(2)	(C++23 起)

1) 設對於某個生成器物件 x，其 coroutine_ 在棧 *x.active_ 中。

等價於 x.active_->top().resume()。

返回： *this。

2) 等價於 ++*this;。

非成員函式

operator== (C++23)

將底層迭代器與哨兵進行比較 (函式)

operator==(std::generator::iterator)

friend bool operator==( const /*迭代器*/& i, std::default_sentinel_t );		(C++23 起)

等價於 return i.coroutine_.done();。

!= 運算子由 operator== 合成。

此函式對於普通的非限定查詢或限定查詢不可見，只能在 std::generator::iterator 作為引數的關聯類時透過實參依賴查詢找到。