C++ 命名要求： LegacyOutputIterator

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (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 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) 范围 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 要求时，则将其描述为 **可变** 的。

要求

类型 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 文档相反；这是一个 LWG 问题 2035）。

纯输出迭代器允许将其 iterator_traits<X>::value_type、iterator_traits<X>::difference_type、iterator_traits<X>::pointer 和 iterator_traits<X>::reference 声明为 void（并且诸如 std::back_insert_iterator 之类的迭代器确实如此 除了 difference_type，它现在被定义为满足 std::output_iterator (自 C++20 起)）。

标准库

以下标准库迭代器是输出迭代器，而不是正向迭代器

• std::ostream_iterator
• std::ostreambuf_iterator
• std::insert_iterator
• std::back_insert_iterator
• std::front_insert_iterator

参见

output_iterator (C++20)	指定类型是给定值类型的输出迭代器，也就是说，可以向其写入该类型的值，并且它可以进行前递增和后递增 (概念)
迭代器库	提供迭代器、迭代器特征、适配器和实用程序函数的定义