std::experimental::ranges::next

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

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

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

實驗性

技術規範

檔案系統庫 (檔案系統 TS)

庫基礎 (庫基礎 TS)

庫基礎 2 (庫基礎 TS v2)

庫基礎 3 (庫基礎 TS v3)

並行性擴充套件 (並行性 TS)

並行性擴充套件 2 (並行性 TS v2)

併發性擴充套件 (併發性 TS)

併發擴充套件 2 (併發 TS v2)

概念 (概念 TS)

範圍 (範圍 TS)

反射 (反射 TS)

數學特殊函式 (特殊函式 TR)

實驗性非 TS

模式匹配

線性代數

std::execution

契約

2D 圖形

 

範圍

概念

通用工具

迭代器

範圍

演算法

 

迭代器庫

迭代器概念
可讀 可寫 弱自增 自增	迭代器 (Iterator) 哨兵 (Sentinel) 大小哨兵	輸入迭代器 前向迭代器 雙向迭代器 隨機訪問迭代器	輸出迭代器
間接可呼叫概念
間接一元可呼叫間接常規一元可呼叫	間接一元謂詞	間接關係	間接嚴格弱序
常用演算法要求
間接可移動 間接可移動可儲存	間接可複製 間接可複製可儲存	間接可交換 間接可比較	可排列 可合併 可排序
概念工具
indirect_result_of	projected
迭代器工具與操作
iter_move iter_swap	advance distance	next prev
迭代器特徵
difference_type value_type reference_trvalue_reference_titer_common_reference_t iterator_category	input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tag	ranges::iterator_traits std::iterator_traits<InputIterator>std::iterator_traits<OutputIterator>
迭代器介面卡
reverse_iterator move_iterator move_sentinel	back_insert_iterator front_insert_iterator insert_iterator	common_iterator counted_iterator default_sentinel	danglingborrowed_iterator_t unreachable
流迭代器
istream_iterator	ostream_iterator	istreambuf_iterator	ostreambuf_iterator

 

定義於標頭檔案 <experimental/ranges/iterator>
namespace {     constexpr /* 未指定 */ next = /* 未指定 */; }		(ranges TS) (定製點物件)
呼叫簽名 (Call signature)
template< Iterator I > constexpr I next( I i );	(1)
template< Iterator I > constexpr I next( I i, ranges::difference_type_t<I> n );	(2)
template< Iterator I, Sentinel<I> S > constexpr I next( I i, S bound );	(3)
template< Iterator I, Sentinel<I> S > constexpr I next( I i, ranges::difference_type_t<I> n, S bound );	(4)

將迭代器 i 向前移動 n 次，或者直到達到 bound，以先發生者為準，並返回前進後的迭代器。

1) 等價於 ++i; return i;。

2) 等價於 ranges::advance(i, n); return i;。

3) 等價於 ranges::advance(i, bound); return i;。

4) 等價於 ranges::advance(i, n, bound); return i;。

自定義點物件

名稱 ranges::next 表示一個 自定義點物件，它是一個 函式物件，屬於一個 字面量 Semiregular 類型別（為便於說明，表示為 NextT）。NextT 的所有例項都相等。因此，ranges::next 可以自由複製，並且其副本可以互換使用。

給定一組型別 Args...，如果 std::declval<Args>()... 滿足上述 ranges::next 的引數要求，則 NextT 將滿足 ranges::Invocable<const NextT, Args...>。否則，NextT 的任何函式呼叫運算子都不會參與過載解析。

在每個定義 ranges::next 的翻譯單元中，它都指向自定義點物件的同一個例項。(這意味著它可以在行內函數和函式模板等中自由使用，而不會違反單一定義規則)。

返回值

前進後的迭代器。

注意

即使省略過載 (2) 的 n 的行為如同 n 為 1，省略過載 (4) 的 n 的行為實際上如同 n 為無窮大（總是前進到 bound）。

參閱

next (C++11)	遞增迭代器 (函式模板)
advance	按給定距離前進迭代器 (函式模板)
prev	遞減迭代器 (函式模板)
distance	返回迭代器與哨兵之間，或範圍的起始與結束之間的距離 (函式模板)