C++ 命名要求： FormattedOutputFunction

 

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)

 

要求

一个 FormattedOutputFunction 是一个执行以下操作的流输出函数

• 构造一个类型为 basic_ostream::sentry 且具有自动存储期的对象，该对象执行以下操作

• 如果输出流上设置了 eofbit 或 badbit，则也设置 failbit，并且如果在此输出流的 异常掩码 ((exceptions() & failbit) != 0) 中启用了 failbit 异常，则抛出 ios_base::failure。
• 刷新关联的输出流，如果适用。

• 通过调用 sentry::operator bool() 检查哨兵状态，这等效于 basic_ios::good。
• 如果哨兵返回 false 或哨兵的构造函数抛出异常，则不会执行任何输出。
• 如果哨兵返回 true，则尝试通过将字符插入输出流中（就好像通过调用 rdbuf()->sputc() 一样）来执行所需的输出。还可以使用 std::basic_ostream 的其他公共成员，但除了 overflow()、xsputn() 和 sync() 之外，rdbuf() 的虚成员永远不会被调用。

• 如果无法生成输出，则设置 failbit。如果在此流的 异常掩码 ((exceptions() & failbit) != 0) 中启用了 failbit 异常，则抛出 ios_base::failure。
• 如果在输出期间抛出异常，则在输出流中设置 badbit。如果在此流的 异常掩码 ((exceptions() & badbit) != 0) 中启用了 badbit 异常，则该异常也会被重新抛出。
• 如果未抛出异常，则返回 *this。

• 在任何情况下，无论是通过异常终止还是返回，在离开此函数之前都会调用哨兵的析构函数。

填充

格式化输出函数根据 std::num_put::do_put() 阶段 3 确定填充。	(直到 C++14)
如果流 os 的格式化输出函数确定填充，则按以下方式执行。 给定一个 CharT 字符序列 seq，其中 CharT 是 os 的 字符容器类型，如果 seq 的长度小于 os.width()，则根据需要添加足够多的 os.fill() 副本以填充到 os.width() 个字符的宽度。 如果 (os.flags() & std::ios_base::adjustfield) == std::ios_base::left 为 true，则填充字符放在字符序列之后；否则，它们放在字符序列之前。	(自 C++14 起)

标准库

以下标准库函数是 FormattedOutputFunctions。

• basic_ostream::operator<<(std::basic_ostream&, int / long / double / void* / bool)
• operator<<(std::basic_ostream&, char)
• operator<<(std::basic_ostream&, char*)
• operator<<(std::basic_ostream&, const std::bitset&)
• operator<<(std::basic_ostream&, const std::basic_string&)
• operator<< ，当在 std::put_money 的返回值上调用时

operator<<(std::basic_ostream&, std::basic_string_view)

(自 C++17 起)

print(std::ostream&, std::format_string<Args...>, Args&&...), println(std::ostream&, std::format_string<Args...>, Args&&...), vprint_unicode(std::ostream&, std::string_view, std::format_args), vprint_nonunicode(std::ostream&, std::string_view, std::format_args), 除了（假设 os 是一个输出流对象） 由对 std::vformat 的调用抛出的任何异常都会传播，而不考虑 os.exceptions() 的值，并且不会在 os 的错误状态中开启 ios_base::badbit； 如果插入到 os 失败，则调用 os.setstate(ios_base::badbit)（这可能会抛出 ios_base::failure）。

(自 C++23 起)

缺陷报告

以下行为更改缺陷报告已追溯应用到先前发布的 C++ 标准。

DR	应用于	发布的行为	正确行为
LWG 160	C++98	确定是否捕获异常 重新抛出时提到了一个不存在的函数 exception()	更正为 exceptions()
LWG 165	C++98	唯一允许在 rdbuf() 上调用的虚拟成员是 overflow()	也允许 xsputn() 和 sync()