C++ 命名需求： LegacyRandomAccessIterator

 

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)

 

一個 LegacyRandomAccessIterator 是一個 LegacyBidirectionalIterator，它可以在常數時間內移動以指向任何元素。

如果一個 LegacyRandomAccessIterator it 源自一個 Container，那麼 it 的 value_type 與容器的相同，因此解引用 (*it) 得到容器的 value_type。

指向陣列元素的指標滿足 LegacyRandomAccessIterator 的所有要求。

要求

如果型別 It 滿足 LegacyRandomAccessIterator：

• 型別 It 滿足 LegacyBidirectionalIterator

並且，給定

• value_type，由 std::iterator_traits<It>::value_type 表示的型別
• difference_type，由 std::iterator_traits<It>::difference_type 表示的型別
• reference，由 std::iterator_traits<It>::reference 表示的型別
• i, a, b，型別為 It 或 const It 的物件
• r，型別為 It 的左值
• n，型別為 difference_type 的整數

以下表達式必須有效並具有其指定的效果

表示式	返回型別	操作語義	注意
r += n	It&	difference_type m = n; if (m >= 0) while (m--) ++r; else while (m++) --r; return r;	n 可以是正數也可以是負數 複雜度為常數 (即，實現不能實際執行操作語義中所示的 while 迴圈)
a + n n + a	It	It temp = a; return temp += n;	n 可以是正數也可以是負數 a + n == n + a
r -= n	It&	return r += -n;	n 的絕對值必須在 difference_type 可表示值的範圍內。
i - n	It	It temp = i; return temp -= n;
b - a	difference_type	return n; (參見前置條件)	前置條件 存在一個型別為 difference_type 的值 n，使得 a + n == b 後置條件 b == a + (b - a).
i[n]	可轉換為 reference	*(i + n)
a < b	滿足 BooleanTestable (C++20 前) 模型 boolean-testable (C++20 起)	等價於 return b - a > 0;	前置條件 與 b - a 相同 嚴格全序關係 !(a < a) 如果 a < b 則 !(b < a) 如果 a < b 且 b < c 則 a < c a < b 或 b < a 或 a == b (恰好一個表示式為真)
a > b	滿足 BooleanTestable (C++20 前) 模型 boolean-testable (C++20 起)	b < a	與 a < b 相反的全序關係
a >= b	滿足 BooleanTestable (C++20 前) 模型 boolean-testable (C++20 起)	!(a < b)
a <= b	滿足 BooleanTestable (C++20 前) 模型 boolean-testable (C++20 起)	!(a > b)

上述規則暗示 LegacyRandomAccessIterator 也實現了 LessThanComparable。

一個 _可變_ LegacyRandomAccessIterator 是一個 LegacyRandomAccessIterator，它額外滿足 LegacyOutputIterator 的要求。

概念 對於 std::iterator_traits 的定義，定義了以下僅用於說明的概念。 template<class I> concept __LegacyRandomAccessIterator =     __LegacyBidirectionalIterator<I> && std::totally_ordered<I> &&         requires(I i, typename std::incrementable_traits<I>::difference_type n)         {             { i += n } -> std::same_as<I&>;             { i -= n } -> std::same_as<I&>;             { i +  n } -> std::same_as<I>;             { n +  i } -> std::same_as<I>;             { i -  n } -> std::same_as<I>;             { i -  i } -> std::same_as<decltype(n)>;             {  i[n]  } -> std::convertible_to<std::iter_reference_t<I>>;         }; 其中，僅用於說明的概念 __LegacyBidirectionalIterator 在 LegacyBidirectionalIterator 中描述。

(C++20 起)

缺陷報告

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

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 299 (N3066)	C++98	要求 a[n] 的返回型別 可轉換為 const value_type&	要求返回型別 可轉換為 reference
LWG 448	C++98	要求 a[n] 的返回型別 可轉換為 value_type	要求返回型別 可轉換為 const value_type&
LWG 1079	C++98	b - a 使用 a < b 定義， 導致迴圈定義	從定義中移除 a < b
LWG 2114 (P2167R3)	C++98	可轉換為 bool 對於反映實現的期望來說太弱了	要求已加強

另見

random_access_iterator (C++20)	指定一個 bidirectional_iterator 是一個隨機訪問迭代器，支援常數時間步進和下標操作 (概念)
迭代器庫	為迭代器、迭代器特性、介面卡和實用函式提供定義