C++ 命名要求： FormattedOutputFunction

 

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)

 

要求

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

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

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

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

• 如果无法生成输出，则设置 failbit。如果此流的 异常掩码 中启用了 failbit 上的异常（(exceptions() & failbit) != 0），则抛出 ios_base::failure。
• 如果在输出期间抛出异常，则在输出流中设置 badbit。如果此流的 异常掩码 中启用了 badbit 上的异常（(exceptions() & badbit) != 0），则该异常也会被重新抛出。
• 如果没有抛出异常，则返回 *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++ 标准。

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