C++ 命名要求： BasicFormatter (C++20 起)

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

如果 `BasicFormatter` 能够格式化 const 和非 const 参数，则它是一个 Formatter。

如果一个类型是半正则的，则它满足 `BasicFormatter`，这意味着它满足

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

类型	定义
`CharT`	字符类型
`Arg`	格式化参数类型
`Formatter`	类型 `Arg` 和 `CharT` 的 `Formatter` 类型
`OutputIt`	LegacyOutputIterator 类型
`ParseCtx`	std::basic_format_parse_context<CharT>
`FmtCtx`	std::basic_format_context<OutputIt, CharT>
值	定义
f	类型 `Formatter` 的值（可能是 const 限定的）
g	类型 `Formatter` 的值
arg	类型 `Arg` 的左值
t	可转换为类型 `Arg` 的值（可能是 const 限定的）
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。^{[注 1]} 将解析后的格式说明符存储在 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++ 标准。

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