C++ 命名要求： Formatter （C++20 起）

 

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）

 

Formatter 是一种抽象了给定格式化参数类型和字符类型的格式化操作的类型。标准库提供的 std::formatter 特化必须满足 Formatter 的要求，除非另有说明。

Formatter 能够格式化 const 和非 const 参数，通常通过提供一个接受 const 引用的 format 成员函数。

要求

如果一个类型满足 BasicFormatter 并且给定以下类型和值，则下表中所示的表达式是有效的并具有指示的语义，则该类型满足 Formatter

类型	定义
CharT	字符类型
Arg	格式化参数类型
格式化器（Formatter）	用于类型 Arg 和 CharT 的 Formatter 类型
OutputIt	旧版输出迭代器 类型
ParseCtx	std::basic_format_parse_context<CharT>
FmtCtx	std::basic_format_context<OutputIt, CharT>
值	定义
f	类型为（可能带有 const 限定符）Formatter 的值
arg	类型为 Arg 的左值
t	可转换为（可能带有 const 限定符）Arg 的类型的值
parse_ctx	类型为 ParseCtx 的左值，满足以下所有条件 parse_ctx.begin() 指向 格式字符串 中正在格式化的替换字段的 format-spec 的开头。 如果 format-spec 不存在或为空，则 parse_ctx.begin() == parse_ctx.end() 或 *parse_ctx.begin() == '}'。
fmt_ctx	类型为 FmtCtx 的左值

表达式	返回类型	语义
f.format(t, fmt_ctx)	FmtCtx::iterator	根据存储在 f 中的说明符格式化 t，将输出写入 fmt_ctx.out()，并返回输出范围的结束迭代器。 输出只能依赖于 t, fmt_ctx.locale(), 上次调用 f.parse(parse_ctx) 得到的范围 [parse_ctx.begin(), parse_ctx.end())，以及 fmt_ctx.arg(n) 对于任何类型为 std::size_t 的值 n。
f.format(arg, fmt_ctx)	FmtCtx::iterator	如上所述，但不修改 arg。

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	发布时的行为	正确的行为
LWG 3892	C++20	如果 format-spec 不存在，则 pc.begin() 的值不明确	已明确