C++ 命名要求： BasicFormatter （自 C++20 起）

 

C++

编译器支持

独立式和宿主式

语言

标准库

标准库头文件

命名要求

特性测试宏 （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 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）

 

BasicFormatter 是一种类型，它抽象了给定格式化实参类型和字符类型的格式化操作。 std::formatter 的特化需要满足 BasicFormatter 的要求。

BasicFormatter 如果能够格式化 const 和非 const 实参，则它是 Formatter。

要求

如果一个类型是半正则 (semiregular) 的，即满足以下条件，则它满足 BasicFormatter

• DefaultConstructible
• CopyConstructible
• CopyAssignable
• Destructible
• Swappable

并且，给定以下类型和值，下表所示的表达式是有效的，并具有指示的语义

类型	定义
CharT	字符类型
Arg	格式化实参类型
Formatter	a
OutputIt	LegacyOutputIterator 类型
ParseCtx	std::basic_format_parse_context<CharT>
FmtCtx	std::basic_format_context<OutputIt, CharT>
Value	定义
f	类型（可能带有 const 限定）Formatter 的值
g	类型 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 的左值

表达式	返回类型	语义
g.parse(parse_ctx)	ParseCtx::iterator	在范围 [parse_ctx.begin(), parse_ctx.end()) 中，解析类型 Arg 的 format-spec，直到第一个不匹配的字符。 除非解析了整个范围或不匹配的字符是 }，否则抛出 std::format_error。 将解析的格式说明符存储在 g 中，并返回已解析范围的末尾迭代器。
f.format(arg, fmt_ctx)	FmtCtx::iterator	根据存储在 f 中的说明符格式化 arg，将输出写入 fmt_ctx.out() 并返回输出范围的末尾迭代器。 输出应仅取决于 arg, fmt_ctx.locale(), 来自上次调用 f.parse(parse_ctx) 的范围 [parse_ctx.begin(), parse_ctx.end())，以及 任何类型为 std::size_t 的值 n 的 fmt_ctx.arg(n)。

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

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