namespace std {
template<class... Args>
string format(string_view fmt, const Args&... args); // (1)
template<class... Args>
wstring format(wstring_view fmt, const Args&... args); // (2)
template<class... Args>
string format(const locale& loc, string_view fmt, const Args&... args); // (3)
template<class... Args>
wstring format(const locale& loc, wstring_view fmt, const Args&... args); // (4)
}
概要
書式文字列fmtに従ったフォーマットでargs...の文字列表現を文字列オブジェクトで返す。ロケールlocが指定された場合は、ロケール依存のフォーマットにおいて使用される。
- (1): マルチバイト文字列版
- (2): ワイド文字列版
- (3): マルチバイト文字列版 (ロケール指定あり)
- (4): ワイド文字列版 (ロケール指定あり)
string message = format("The answer is {}.", 42); // => "The answer is 42."
書式文字列
書式文字列中では、{と}で囲まれた範囲が置換フィールドとなる(エスケープシーケンスは{{と}})。
置換フィールドの書式は次の通り([]は省略可の意味)。
{ [引数ID] [: オプション] }
- 引数IDは0から始まる番号で、何番目の引数で置換するかを指定する。
- 引数IDを一部のフィールドだけに書くことはできない(すべての置換フィールドに指定するか、すべての置換フィールドで指定しないかのどちらかのみ)。違反した場合は
format_error。 - オプションの書式は引数の型によって異なる。
string s0 = format("{} {}", "a", "b"); // OK
string s1 = format("{1} {0}", "a", "b"); // OK
string s2 = format("{0} {}", "a", "b"); // format_error
string s3 = format("{} {1}", "a", "b"); // format_error
標準のオプション書式
組み込みの型に対して使える標準のオプション書式は次の通り([]は省略可の意味)。
基本的にprintfの書式を踏襲しているが、あくまでもオプションであり、省略しても<iostream>と同じようにデフォルトの書式が使われる。
[[fill] align] [sign] ['#'] ['0'] [width] ['.' precision] [type]
fill: アライメントに使う文字 (デフォルト: スペース)align: アライメント(デフォルトは型による)>: 右寄せ<: 左寄せ^: 中央寄せ=: 符号の後にアライメントをする
sign: 符号+: 正の数でも符号を表示する-: 負の数の場合のみ符号を表示する(デフォルト)- スペース : 正の数にはスペースを表示する
#: 代替表現(0xなど形式がわかる表記)を使う0: 符号を考慮して0で埋める (fillを0、alignを=にした場合と同じ)width: 幅 (省略時は値に応じて幅が決まり、アライメントは機能しない)- 置換フィールドを使って変数で指定できる
precision: 精度(浮動小数点数の場合)、使う文字数(文字列の場合)- 置換フィールドを使って変数で指定できる
type: 値の表現方法(表を参照)
printfとの違いとして、デフォルトではロケール非依存(Cロケール固定)である。ロケール依存のフォーマットをするにはnオプションを使う。
ロケール非依存の場合、算術型の出力はto_charsと同じになる。
文字列型の場合
| type | 意味 |
|---|---|
| s (省略可) | 文字列 |
文字型 / bool型 / 整数型の場合
[first, last)をto_charsの結果を格納するのに十分な範囲、valueをフォーマットする値、charTをcharまたはwchar_tとする。
- 以下の表の通りに
to_charsを呼び出したあと、その結果を出力へコピーするかのような振る舞いをする。ただし、実際にto_charsを呼び出すかどうかは規定されていない。 - 実際には、出力へコピーする際にパディングなども行われる。
| type | 意味 | 効果 |
|---|---|---|
| b | 2進数(小文字) | to_chars(first, last, value, 2) (代替表現の接頭辞 0b) |
| B | 2進数(大文字) | bの大文字版 (代替表現の接頭辞 0B) |
| c | 文字として出力 | static_cast<charT>(value) (収まらないときはformat_error) |
| d | 10進数 | to_chars(first, last, value) |
| n | 10進数(ロケールを考慮する) | ロケール依存の桁区切りを使ったd |
| o | 8進数 | to_chars(first, last, value, 8) (代替表現の接頭辞 0、ただし値が0のときは接頭辞なし) |
| x | 16進数(小文字) | to_chars(first, last, value, 16) (代替表現の接頭辞 0x) |
| X | 16進数(大文字) | xの大文字版 (代替表現の接頭辞 0X) |
| (なし) | デフォルト | d (整数型の場合)c (文字型の場合)"true"/"false"を出力(bool型の場合) |
浮動小数点数型の場合
| type | 意味 | 効果 |
|---|---|---|
| f,F | 指数表記しない | to_chars(first, last, value, chars_format::fixed, precision) (精度が指定されたとき)to_chars(first, last, value, chars_format::fixed, 6) (それ以外) |
| e | 指数表記(小文字) | to_chars(first, last, value, chars_format::scientific, precision) (精度が指定されたとき)to_chars(first, last, value, chars_format::scientific, 6) (それ以外) |
| E | 指数表記(大文字) | eの大文字版 |
| a | 16進指数表記(小文字) | to_chars(first, last, value, chars_format::hex, precision) (精度が指定されたとき)to_chars(first, last, value, chars_format::hex) (それ以外) |
| A | 16進指数表記(大文字) | aの大文字版 |
| g | 値に応じた表記(小文字) | to_chars(first, last, value, chars_format::general, precision) (精度が指定されたとき)to_chars(first, last, value, chars_format::general, 6) (それ以外) |
| G | 値に応じた表記(大文字) | gの大文字版 |
| n | ロケールを考慮した値に応じた表記 | ロケールを考慮したg |
| (なし) | デフォルト | to_chars(first, last, value, chars_format::fixed, general, precision) (精度が指定されたとき)to_chars(first, last, value) (それ以外) |
ポインタの場合
| type | 意味 | 効果 |
|---|---|---|
| p (省略可) | アドレスを出力する | "0x" + to_chars(first, last, reinterpret_cast<uintptr_t>(value), 16) |
例(P0645R10より)
char c = 120;
format("{:6}", 42); // " 42"
format("{:6}", 'x'); // "x "
format("{:*<6}", 'x'); // "x*****"
format("{:*>6}", 'x'); // "*****x"
format("{:*^6}", 'x'); // "**x***"
format("{:=6}", 'x'); // エラー
format("{:6d}", c); // " 120"
format("{:=+06d}", c); // "+00120"
format("{:0=#6x}", 0xa); // "0x000a"
format("{:6}", true); // "true "
double inf = numeric_limits<double>::infinity();
double nan = numeric_limits<double>::quiet_NaN();
format("{0:} {0:+} {0:-} {0: }", 1); // "1 +1 1 1"
format("{0:} {0:+} {0:-} {0: }", -1); // "-1 -1 -1 -1"
format("{0:} {0:+} {0:-} {0: }", inf); // "inf +inf inf inf"
format("{0:} {0:+} {0:-} {0: }", nan); // "nan +nan nan nan"
format("{}", 42); // "42"
format("{0:b} {0:d} {0:o} {0:x}", 42); // "101010 42 52 2a"
format("{0:#x} {0:#X}", 42); // "0x2a 0X2A"
format("{:n}", 1234); // "1,234" (ロケールによる)
効果
以下のコードと等しい。
return vformat(fmt, {make_format_args(args...)}); // (1)
return vformat(fmt, {make_wformat_args(args...)}); // (2)
return vformat(loc, fmt, {make_format_args(args...)}); // (3)
return vformat(loc, fmt, {make_wformat_args(args...)}); // (4)
戻り値
args...の文字列表現を保持する文字列
例外
書式文字列が正しくなかったり、フォーマット実行時に失敗したりした場合、format_errorを投げる。
備考
- マルチバイト文字列、ワイド文字列の区別は、可変長引数部分で受け取れる文字列の型にも適用される。
- 例えば、フォーマット文字列がマルチバイトの場合、引数にワイド文字列を渡すことは標準ではできない。
- ユーザー定義フォーマッターで拡張することは可能。
to_charsはワイド文字列に対応していない。- ワイド文字列版のときはマルチバイト文字列から変換すると考えられる。
- あるいは、
to_wcharsのようなものを作り、それを使うことも考えられる。
例
#include <iostream>
#include <format>
int main()
{
std::cout << std::format("The answer is {}.", 42) << std::endl;
}
出力
The answer is 42.
実装例
template<class... Args>
string format(string_view fmt, const Args&... args)
{
return vformat(fmt, {make_format_args(args...)});
}
template<class... Args>
wstring format(wstring_view fmt, const Args&... args)
{
return vformat(fmt, {make_wformat_args(args...)});
}
template<class... Args>
string format(const locale& loc, string_view fmt, const Args&... args)
{
return vformat(loc, fmt, {make_format_args(args...)});
}
template<class... Args>
wstring format(const locale& loc, wstring_view fmt, const Args&... args)
{
return vformat(loc, fmt, {make_wformat_args(args...)});
}
バージョン
言語
- C++20
処理系
- Clang: ??
- GCC: ??
- ICC: ??
- Visual C++: ??