C++ 具名要求：老式输出迭代器 (LegacyOutputIterator)

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (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 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 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) 迭代器 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) 范围 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)

 

老式输出迭代器 (LegacyOutputIterator) 是能向所指向元素进行写入的老式迭代器 (LegacyIterator) 。

一个实现老式输出迭代器 (LegacyOutputIterator) 的类型的例子是 std::ostream_iterator。

当老式向前迭代器 (LegacyForwardIterator) 、老式双向迭代器 (LegacyBidirectionalIterator) 或老式随机访问迭代器 (LegacyRandomAccessIterator) 在自身的要求之外还满足老式输出迭代器 (LegacyOutputIterator) 的要求时，它即被描述为可变的（mutable）。

要求

以下情况下，类型 X 满足老式输出迭代器 (LegacyOutputIterator)

• 类型 X 满足老式迭代器 (LegacyIterator)
• X 是类类型或指针类型

且，给定

• o，是输出迭代器对应的可写入类型的值（可以有多种可写入的类型，例如 operator= 是模板的情况。并没有像输入迭代器的 value_type 那种记号）
• r，为 X 类型的左值，

则下列表达式必须合法且拥有其指定的效果

表达式	返回	等价表达式	前条件	后条件	注解
*r = o	（不使用）		r 可解引用	r 可自增	在此操作后不要求 r 可解引用，且不再要求任何 r 的先前值的副本可解引用或可自增。
++r	X&		r 可自增	r 与 ++r 代表同一迭代器对象，r 可解引用或为末尾后迭代器	在此操作后不要求 r 可自增，且不再要求任何 r 的先前值的副本可解引用或可自增。
r++	可转换到 const X&	X temp = r; ++r; return temp;
*r++ = o	（不使用）	*r = o; ++r;

注解

operator* 对于输出迭代器的仅有的合法用法是在赋值的左侧：operator* 可以返回一个代理对象，它定义了成员 operator=（可以是模板）

可以不对输出迭代器定义相等和不相等。即使定义了 operator==，x == y 也不需要隐含 ++x == ++y。

通过输出迭代器的同一值进行的赋值只会发生一次：输出迭代器上的算法必须是单趟算法。

预期通过输出迭代器的赋值与自增交替进行。双重自增是未定义行为（C++ 标准当前声称双重自增得到支持，这与 STL 文档相反；此为 LWG2035）

允许纯粹仅支持输出的迭代器声明其 iterator_traits<X>::value_type、iterator_traits<X>::difference_type、iterator_traits<X>::pointer 与 iterator_traits<X>::reference 为 void（如 std::back_insert_iterator 这样的迭代器正是如此）。

标准库

下列的标准库迭代器是输出迭代器而非向前迭代器：

ostream_iterator	写入 std::basic_ostream 的输出迭代器 (类模板)
ostreambuf_iterator	写入 std::basic_streambuf 的输出迭代器 (类模板)
insert_iterator	插入到容器的迭代器适配器 (类模板)
back_insert_iterator	在容器尾部插入的迭代器适配器 (类模板)
front_insert_iterator	在容器头部插入的迭代器适配器 (类模板)

参阅

output_iterator (C++20)	指定类型为给定的值类型的输出迭代器，即可向其写入该类型的值，且可前/后自增 (概念)
迭代器库	提供迭代器的定义、迭代器表征、适配器和工具函数