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)
演算法概念與工具
間接可呼叫概念
間接一元可呼叫間接常規一元可呼叫 (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)
工具
間接結果型別 (C++20)	投影 (C++20)	投影值型別 (C++26)
迭代器介面卡
反向迭代器 建立反向迭代器 (C++14) 移動迭代器 (C++11) 建立移動迭代器 (C++11) 預設哨兵型別預設哨兵 (C++20)(C++20) 不可達哨兵型別不可達哨兵 (C++20)(C++20)	前置插入迭代器 後置插入迭代器 插入器 插入迭代器 前置插入器 後置插入器 移動哨兵 (C++20)	普通迭代器 (C++20) 計數迭代器 (C++20) 基本常迭代器 (C++23) 常迭代器 (C++23) 常哨兵 (C++23) 建立常迭代器 (C++23) 建立常哨兵 (C++23)
流迭代器 istream_iterator    ostream_iterator istreambuf_iterator ostreambuf_iterator	迭代器定製點 ranges::iter_move (C++20) ranges::iter_swap (C++20)
迭代器操作 前進 距離 前一個 (C++11)   下一個 (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) 空 (C++17) 資料 (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 decltype(auto) operator*();	(1)	(C++20 起)
constexpr decltype(auto) operator*() const     requires /*可解引用*/<const I>;	(2)	(C++20 起)
constexpr auto operator->() const     requires /* 見描述 */;	(3)	(C++20 起)
輔助型別
class /*代理*/ {     std::iter_value_t<I> keep_;     constexpr proxy(std::iter_reference_t<I>&& x)         : keep_(std::move(x)) {} public:     constexpr const std::iter_value_t<I>* operator->() const noexcept {         return std::addressof(keep_);     } };	(4)	(僅作說明*)

返回指向當前元素的指標或引用，或持有它的代理。

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

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

1,2) 返回解引用 it 的結果。

3) 返回指向當前元素的指標或底層迭代器，或持有它的代理。

• 如果 I 是指標型別或表示式 it.operator->() 格式良好，則等價於 return it;。
• 否則，如果 std::iter_reference_t<I> 是引用型別，則等價於 auto&& tmp = *it; return std::addressof(tmp);。
• 否則，等價於 return proxy(*it);，其中 proxy 是僅用於說明的類 (4)。

requires 子句中的表示式等價於
std::indirectly_readable<const I> && (

    requires(const I& i) { i.operator->(); } ||
    std::is_reference_v<std::iter_reference_t<I>> ||
    std::constructible_from<std::iter_value_t<I>, std::iter_reference_t<I>>

).

引數

(無)

返回值

1,2) 當前元素的引用，或純右值臨時量。等價於 *it。

3) 指向當前元素的指標或迭代器，或持有它的代理，如上所述。

示例

執行此程式碼

#include <complex>
#include <initializer_list>
#include <iostream>
#include <iterator>
 
using std::complex_literals::operator""i;
 
int main()
{
    const auto il = {1i, 3.14 + 2i, 3i, 4i, 5i};
 
    using CI = std::common_iterator<
        std::counted_iterator<decltype(il)::iterator>,
        std::default_sentinel_t>;
 
    CI ci{std::counted_iterator{std::next(begin(il), 1), std::ssize(il) - 1}};
 
    std::cout << *ci << ' ' << ci->real() << '\n';
}

輸出

(3.14,2) 3.14

缺陷報告

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

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 3574	C++20	variant 完全為 constexpr (P2231R1) 但 common_iterator 不是	也設為 constexpr
LWG 3595	C++20	代理型別函式缺少 constexpr 和 noexcept	已新增
LWG 3672	C++20	operator-> 在通常情況下可能返回引用	總是按值返回

另請參閱

(建構函式)

構造一個新的 common_iterator (public member function)