std::common_iterator<I,S>::operator++

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

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

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

迭代器庫

迭代器概念
間接可讀 (C++20) 間接可寫 (C++20) 弱遞增 (C++20) 可遞增 (C++20) 類整數 類有符號整數 (C++20)(C++20)	哨兵 (C++20) 有大小哨兵 (C++20) 輸入迭代器 (C++20) 輸出迭代器 (C++20) 輸入或輸出迭代器 (C++20)	前向迭代器 (C++20) 雙向迭代器 (C++20) 隨機訪問迭代器 (C++20) 連續迭代器 (C++20)
迭代器原語
input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tagcontiguous_iterator_tag (C++20)	iter_value_titer_difference_titer_reference_titer_const_reference_titer_rvalue_reference_titer_common_reference_t (C++20)(C++20)(C++20)(C++23)(C++20)(C++20)	迭代器 (C++17 中已棄用) 迭代器特性 增量特性 (C++20) 間接可讀特性 (C++20)
演算法概念與工具
間接可呼叫概念
indirectly_unary_invocableindirectly_regular_unary_invocable (C++20)(C++20)	間接一元謂詞 (C++20) 間接二元謂詞 (C++20)	間接等價關係 (C++20) 間接嚴格弱序 (C++20)
常用演算法要求
間接可移動 (C++20) 間接可移動可儲存 (C++20) 間接可複製 (C++20)	間接可複製可儲存 (C++20)   間接可交換 (C++20) 間接可比較 (C++20)	可置換 (C++20) 可合併 (C++20) 可排序 (C++20)
工具
indirect_result_t (C++20)	projected (C++20)	projected_value_t (C++26)
迭代器介面卡
reverse_iterator make_reverse_iterator (C++14) move_iterator (C++11) make_move_iterator (C++11) default_sentinel_tdefault_sentinel (C++20)(C++20) unreachable_sentinel_tunreachable_sentinel (C++20)(C++20)	front_insert_iterator back_insert_iterator inserter insert_iterator front_inserter back_inserter move_sentinel (C++20)	common_iterator (C++20) counted_iterator (C++20) basic_const_iterator (C++23) const_iterator (C++23) const_sentinel (C++23) make_const_iterator (C++23) make_const_sentinel (C++23)
流迭代器 istream_iterator    ostream_iterator istreambuf_iterator ostreambuf_iterator	迭代器定製點 ranges::iter_move (C++20) ranges::iter_swap (C++20)
迭代器操作 advance distance prev (C++11)   next (C++11) ranges::advance (C++20) ranges::distance (C++20) ranges::prev (C++20) ranges::next (C++20)	範圍訪問 begincbegin (C++11)(C++14) rbegincrbegin (C++14)(C++14)   endcend (C++11)(C++14) rendcrend (C++14)(C++14)   sizessize (C++17)(C++20) empty (C++17) data (C++17)

 

std::common_iterator

成員函式

common_iterator::common_iterator

common_iterator::operator=

common_iterator::operator*common_iterator::operator->

common_iterator::operator++common_iterator::operator++(int)

非成員函式

operator== (C++20)

operator- (C++20)

iter_move (C++20)

iter_swap (C++20)

輔助類

incrementable_traits<std::common_iterator> (C++20)

iterator_traits<std::common_iterator> (C++20)

 

constexpr common_iterator& operator++();	(1)	(C++20 起)
constexpr decltype(auto) operator++( int );	(2)	(C++20 起)
輔助型別
class /*postfix_proxy*/ {     std::iter_value_t<I> keep_;     constexpr postfix_proxy(std::iter_reference_t<I>&& x)         : keep_(std::forward<std::iter_reference_t<I>>(x)) {} public:     constexpr const std::iter_value_t<I>& operator*() const noexcept {         return keep_;     } };	(3)	(僅作說明*)

遞增底層迭代器。

如果底層 std::variant 成員物件 var 不持有型別為 I 的物件，即 std::holds_alternative<I>(var) 等於 false，則行為未定義。

令 it 表示 var 所持有的型別為 I 的迭代器，即 std::get<I>(var)。

1) 前置遞增一。等價於 ++it; return *this;。

2) 後置遞增一。

• 如果 I 建模 forward_iterator，則等價於：auto tmp = *this; ++*this; return tmp;。
• 如果變數定義 auto&& ref = *it++; 格式良好，或者

• std::indirectly_readable<I> 或者
• std::constructible_from<std::iter_value_t<I>, std::iter_reference_t<I>> 或者
• std::move_constructible<std::iter_value_t<I>>

為 false，則等價於：return it++;。

• 否則，等價於：postfix_proxy p(**this); ++*this; return p;，其中 postfix_proxy 是一個僅用於說明的輔助型別 (3)。

引數

(無)

返回值

1) *this

2) 更改前 *this 的副本，或底層迭代器後置遞增的結果，或如上所述保留當前元素值的代理。

示例

執行此程式碼

#include <algorithm>
#include <initializer_list>
#include <iostream>
#include <iterator>
 
int main()
{
    const auto il = {1, 2, 3, 4, 5, 6};
 
    using CI = std::common_iterator<
                   std::counted_iterator<std::initializer_list<int>::iterator>,
                   std::default_sentinel_t
                   >;
 
    CI first{std::counted_iterator{std::begin(il), std::ssize(il) - 2}};
 
    for (; first != std::default_sentinel; ++first)
        std::cout << *first << ' ';
    std::cout << '\n';
}

輸出

1 2 3 4

缺陷報告

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

缺陷報告	應用於	釋出時的行為	正確的行為
P2259R1	C++20	後置遞增可能在更多情況下丟棄其結果	使用代理類來保留結果
LWG 3546	C++20	代理物件的初始化有時格式錯誤	情況和定義已調整
LWG 3574	C++20	variant 完全為 constexpr (P2231R1) 但 common_iterator 不是	也設為 constexpr
LWG 3595	C++20	代理型別的函式缺少 constexpr 和 noexcept	已新增

參閱

operator-

計算兩個迭代器介面卡之間的距離 (函式模板)