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() 的值不明確	已明確