C++ 具名要求：格式化器 (Formatter)

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

C++ 具名要求

基础
DefaultConstructible CopyAssignable CopyConstructible	MoveAssignable (C++11) MoveConstructible (C++11) Destructible
类型属性
TrivialType (C++11) TriviallyCopyable (C++11)	StandardLayoutType (C++11) PODType
库所属
EqualityComparable LessThanComparable Swappable (C++11) ValueSwappable (C++11) NullablePointer (C++11) Hash (C++11)	Allocator FunctionObject Callable Predicate BinaryPredicate Compare
容器
Container SequenceContainer ContiguousContainer (C++17) ReversibleContainer	AssociativeContainer AllocatorAwareContainer UnorderedAssociativeContainer (C++11)
容器元素
DefaultInsertable (C++11) CopyInsertable (C++11) MoveInsertable (C++11)	EmplaceConstructible (C++11) Erasable (C++11)
迭代器
LegacyIterator LegacyOutputIterator LegacyInputIterator LegacyForwardIterator	LegacyBidirectionalIterator LegacyRandomAccessIterator LegacyContiguousIterator (C++17) ConstexprIterator (C++20)
流 I/O
FormattedInputFunction UnformattedInputFunction	FormattedOutputFunction UnformattedOutputFunction
随机数
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)
其他
CharTraits RegexTraits (C++11) BitmaskType NumericType LiteralType (C++11)	UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11) Clock (C++11) TrivialClock (C++11)

 

格式化器 (Formatter) 是对给定的格式化实参类型与字符类型抽象化格式化操作的类型。要求 std::formatter 的特化实现格式化器 (Formatter) 。

要求

一个类型满足格式化器 (Formatter) ，若它为半正则，意思是它满足：

• 可默认构造 (DefaultConstructible)
• 可复制构造 (CopyConstructible)
• 可复制赋值 (CopyAssignable)
• 可析构 (Destructible)
• 可交换 (Swappable)

而且给定

• Arg ，格式化实参类型
• CharT ，字符类型
• Formatter ，对于类型 Arg 与 CharT 的格式化器 (Formatter) 类型
• OutputIt ，老式输出迭代器 (LegacyOutputIterator) 类型
• formatter ， Formatter 类型值
• arg ， Arg 类型左值
• t ，可转换到（可能为 const ）的 Arg
• ParseContext ， std::basic_format_parse_context<CharT> 的别名
• FormatContext ， std::basic_format_context<OutputIt, CharT> 的别名
• parse_context ， ParseContext 类型左值
• format_context ， FormatContext 类型左值

表达式	返回类型	语义
formatter.parse(parse_context)	ParseContext::iterator	对类型 Arg 分析 格式说明 [parse_context.begin(), parse_context.end()) ，直至首个未匹配的字符。 抛出 std::format_error ，除非可分析整个范围或首个未匹配字符是 } 。 存储分析的格式说明符到 formatter 中并返回已分析范围的尾迭代器。
formatter.format(t, format_context)	FormatContext::​iterator	按存储于 formatter 的格式说明符分析 t ，写输出到 format_context.out() 并返回输出范围的尾迭代器。 输出应当仅依赖 t、 format_context.locale()、 来自前一次调用的范围 [parse_context.begin(), parse_context.end()) ，以及 对于任何 std::size_t 类型值 n 的 format_context.arg(n) 。
formatter.format(arg, format_context)	FormatContext::​iterator	同上，但不修改 arg 。