C++ の名前付き要件: BasicFormatter (C++20 以降)

BasicFormatter は、指定された書式設定引数型と文字型に対する書式設定操作を抽象化する型です。std::formatter の特殊化は、BasicFormatter の要件を満たす必要があります。

BasicFormatter は、const 引数と非 const 引数の両方を書式設定できる場合、Formatter です。

ある型が BasicFormatter を満たすのは、それがセミレギュラーである場合です。つまり、以下の要件を満たします。

そして、以下の型と値が与えられた場合、以下の表に示す式は有効であり、示された意味を持ちます。

型	定義
`CharT`	文字型
`Arg`	書式設定引数型
`フォーマッタ`	型 `Arg` と `CharT` のための Formatter 型
`OutputIt`	LegacyOutputIterator 型
`ParseCtx`	std::basic_format_parse_context<CharT>
`FmtCtx`	std::basic_format_context<OutputIt, CharT>
値	定義
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` の左辺値

Expression	戻り値の型	セマンティクス
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++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
LWG 3892	C++20	format-spec が存在しない場合、pc.begin() の値が不明確でした。	明確化された

コンパイラサポート
フリースタンディングとホスト
言語
標準ライブラリ
標準ライブラリヘッダー
名前付き要件
機能テストマクロ (C++20)
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
メモリ管理ライブラリ
メタプログラミングライブラリ (C++11)
汎用ユーティリティライブラリ
コンテナライブラリ
イテレータライブラリ
Rangesライブラリ (C++20)
アルゴリズムライブラリ
文字列ライブラリ
テキスト処理ライブラリ
数値ライブラリ
日付と時刻ライブラリ
入出力ライブラリ
ファイルシステムライブラリ (C++17)
並行サポートライブラリ (C++11)
実行制御ライブラリ (C++26)
Technical specifications (技術仕様)
シンボルインデックス
外部ライブラリ