C++ 命名要求： LegacyInputIterator

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

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

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

C++ 命名要求

基本 DefaultConstructible（可預設構造） MoveConstructible（可移動構造） (C++11) CopyConstructible（可複製構造） CopyAssignable（可複製賦值） MoveAssignable（可移動賦值） (C++11) Destructible（可析構） 型別屬性 ScalarType（標量型別） PODType（POD型別） TriviallyCopyable（可平凡複製） (C++11) TrivialType（平凡型別） (C++11) StandardLayoutType（標準佈局型別） (C++11)   ImplicitLifetimeType（隱式生命週期型別） 全庫範圍 BooleanTestable（可布林測試） EqualityComparable（可相等比較） LessThanComparable（可小於比較） Swappable（可交換） ValueSwappable（值可交換） (C++11) NullablePointer（可空指標） (C++11) Hash（雜湊） (C++11) Allocator FunctionObject（函式物件） Callable Predicate（謂詞） BinaryPredicate（二元謂詞） Compare

Container（容器） Container（容器） ReversibleContainer（可逆容器） AllocatorAwareContainer（分配器感知容器） SequenceContainer（序列容器） ContiguousContainer（連續容器） (C++17) AssociativeContainer（關聯容器） UnorderedAssociativeContainer（無序關聯容器） (C++11)   容器元素 DefaultInsertable（可預設插入） (C++11) CopyInsertable（可複製插入） (C++11) MoveInsertable（可移動插入） (C++11) EmplaceConstructible（可就地構造） (C++11) Erasable（可擦除） (C++11) 迭代器 (Iterator) LegacyIterator（傳統迭代器） LegacyInputIterator（傳統輸入迭代器） LegacyOutputIterator（傳統輸出迭代器） LegacyForwardIterator（傳統前向迭代器） LegacyBidirectionalIterator（傳統雙向迭代器） LegacyRandomAccessIterator（傳統隨機訪問迭代器） LegacyContiguousIterator（傳統連續迭代器） (C++17) ConstexprIterator（常量表達式迭代器） (C++20) 流 I/O FormattedInputFunction（格式化輸入函式） UnformattedInputFunction（非格式化輸入函式） FormattedOutputFunction（格式化輸出函式） UnformattedOutputFunction（非格式化輸出函式） 格式化器 BasicFormatter（基本格式化器） (C++20) Formatter (C++20)

隨機數 SeedSequence（種子序列） (C++11) RandomNumberEngine（隨機數引擎） (C++11) RandomNumberDistribution（隨機數分佈） (C++11) UniformRandomBitGenerator（均勻隨機位元生成器） (C++11) RandomNumberEngineAdaptor（隨機數引擎介面卡） (C++11) 併發 BasicLockable（基本可鎖定） (C++11) Lockable（可鎖定） (C++11) TimedLockable（定時可鎖定） (C++11) SharedLockable（共享可鎖定） (C++14) SharedTimedLockable（共享定時可鎖定） (C++14) Mutex (C++11) TimedMutex（定時互斥量） (C++11) SharedMutex（共享互斥量） (C++17) SharedTimedMutex（共享定時互斥量） (C++14) Ranges RangeAdaptorObject（範圍介面卡物件） (C++20) RangeAdaptorClosureObject（範圍介面卡閉包物件） (C++20) 多維檢視 LayoutMapping（佈局對映） (C++23) LayoutMappingPolicy（佈局對映策略） (C++23) AccessorPolicy (C++23) 其他 CharTraits（字元特性） RegexTraits（正則表示式特性） (C++11)   BitmaskType（位掩碼型別） LiteralType（字面量型別） (C++11) NumericType（數值型別） UnaryTypeTrait（一元型別特性） (C++11) BinaryTypeTrait（二元型別特性） (C++11) TransformationTrait（轉換特性） (C++11) Clock（時鐘） (C++11) TrivialClock（平凡時鐘） (C++11)

 

一個 LegacyInputIterator 是一個 LegacyIterator，它可以從指向的元素中讀取。 LegacyInputIterator 只保證單趟演算法的有效性：一旦一個 LegacyInputIterator i 被遞增，其之前值的所有副本可能會失效。

要求

型別	定義
X	輸入迭代器型別
T	X 的 值型別（即 std::iterator_traits<X>::value_type）
R	std::iterator_traits<X>::reference
值	定義
i, j	型別為 X 或 const X 的值
r	型別為 X& 的值
其他	定義
m	可能表示資料成員或成員函式的識別符號

如果滿足以下所有條件，則 X 滿足 LegacyInputIterator

• X 滿足 LegacyIterator。
• X 滿足 EqualityComparable。
• 以下表達式格式良好且具有指定的語義

表示式	型別	語義
i != j	滿足 BooleanTestable 的型別 (C++20 前) 建模 boolean-testable 的型別 (C++20 起)	前置條件	i 和 j 在 == 的域中。
		效果	等價於 !(i == j)。
*i	R，可轉換為 T	前置條件	i 是可解引用的。
		效果	表示式 (void)*i, *i 等價於 *i。 如果 i 和 j 在 == 的域中，並且 i == j，則 *i 等價於 *j。
i->m		前置條件	i 是可解引用的。
		效果	等價於 (*i).m。
++r	X&	前置條件	r 是可解引用的。
		後置條件	r 是可解引用的或 r 是尾後迭代器。 r 之前值的任何副本不再要求是可解引用的或在 == 的域中。
(void)r++		效果	等價於 (void)++r。
*r++	可轉換為 T	效果	等價於 T x = *r; ++r; return x;。

相等域

術語 == 的域 在數學的通常意義上使用，表示可以使用 == 進行比較的值的集合。這個集合可以隨時間變化。

每個演算法都對其使用的迭代器值的相等域提出額外的要求。這些要求可以從該演算法對 == 和 != 的使用中推斷出來。

注意

對於不是 LegacyForwardIterator 的輸入迭代器 X，std::iterator_traits<X>::reference 不必是引用型別：解引用輸入迭代器可能會返回一個代理物件或按值返回 std::iterator_traits<X>::value_type 本身（如 std::istreambuf_iterator 的情況）。

概念 對於 std::iterator_traits 的定義，定義了以下僅用於說明的概念。 template<class I> concept __LegacyInputIterator = __LegacyIterator<I> && std::equality_comparable<I> && requires(I i) {     typename std::incrementable_traits<I>::difference_type;     typename std::indirectly_readable_traits<I>::value_type;     typename std::common_reference_t<std::iter_reference_t<I>&&,                                      typename std::indirectly_readable_traits<I>::value_type&>;     *i++;     typename std::common_reference_t<decltype(*i++)&&,                                      typename std::indirectly_readable_traits<I>::value_type&>;     requires std::signed_integral<typename std::incrementable_traits<I>::difference_type>; }; 其中僅用於說明的概念 __LegacyIterator 在 LegacyIterator 中描述。

(C++20 起)

缺陷報告

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

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 98	C++98	要求 *i++ 的返回型別為 T	它可以是任何可轉換為 T 的型別
LWG 2114 (P2167R3)	C++98	轉換為 bool 的能力太弱 未能反映實現預期	要求已加強

參閱

input_iterator (C++20)	指定型別是一個輸入迭代器，即其引用的值可讀，並且可以進行前置和後置增量 (概念)
迭代器庫	為迭代器、迭代器特性、介面卡和實用函式提供定義