std::format_kind

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

テキスト処理ライブラリ

ローカライズライブラリ

正規表現ライブラリ (C++11)

フォーマットライブラリ (C++20)

ヌル終端シーケンスユーティリティ

バイト文字列

マルチバイト文字列

ワイド文字列

プリミティブな数値変換

to_chars (C++17) to_chars_result (C++17) from_chars (C++17) from_chars_result (C++17) chars_format (C++17)

テキストエンコーディング識別

text_encoding (C++26)

 

書式設定ライブラリ

標準フォーマット指定

フォーマット関数

format (C++20)

format_to (C++20)

format_to_n (C++20)

formatted_size (C++20)

vformat (C++20)

vformat_to (C++20)

フォーマット文字列

basic_format_stringformat_stringwformat_string (C++20)(C++20)(C++20)

runtime_format (C++26)

フォーマット関連コンセプト

formattable (C++23)

フォーマッタ

formatter (C++20)

formatter<pair-or-tuple> (C++23)

formatter<range> (C++23)

range_formatter (C++23)

enable_nonlocking_formatter_optimization (C++23)

basic_format_parse_contextformat_parse_contextwformat_parse_context (C++20)(C++20)(C++20)

basic_format_contextformat_contextwformat_context (C++20)(C++20)(C++20)

range_format (C++23)

format_kind (C++23)

フォーマット引数

basic_format_arg (C++20)

basic_format_arg::handle (C++20)

basic_format_argsformat_argswformat_args (C++20)(C++20)(C++20)

visit_format_arg (C++20) (C++26で非推奨)

make_format_argsmake_wformat_args (C++20)(C++20)

フォーマットエラー

format_error (C++20)

 

ヘッダー <format> で定義
template< class R > constexpr /* 不明 */ format_kind = /* 不明 */;	(1)	(C++23から)
template< ranges::input_range R >     requires std::same_as<R, std::remove_cvref_t<R>> constexpr range_format format_kind<R> = /* 説明を参照 */;	(2)	(C++23から)

変数テンプレートformat_kindは、範囲Rに適したstd::range_formatを選択します。

std::format_kind<R>は次のように定義されます。

• もしstd::same_as<std::remove_cvref_t<ranges::range_reference_t<R>>, R>がtrueならば、std::format_kind<R>はstd::range_format::disabledです。
• そうでなく、R::key_typeが有効であり、型を示す場合
  • もしR::mapped_typeが有効であり、型を示す場合、Uをstd::remove_cvref_t<ranges::range_reference_t<R>>とします。

もしUがstd::pairの特殊化であるか、またはUがstd::tupleの特殊化であり、かつstd::tuple_size_v<U> == 2ならば、std::format_kind<R>はstd::range_format::mapです。

• それ以外の場合、std::format_kind<R>はstd::range_format::setです。

• それ以外の場合、std::format_kind<R>はstd::range_format::sequenceです。

format_kindのプライマリテンプレートをインスタンス化するプログラムは、ill-formedです。

cv修飾されていないプログラム定義型Tがinput_rangeをモデルとする場合、プログラムはTに対してformat_kindを特殊化できます。そのような特殊化は定数式で使用可能であり、型はconst std::range_formatです。

実装例

namespace detail { template< typename > constexpr bool is_pair_or_tuple_2 = false;   template< typename T, typename U > constexpr bool is_pair_or_tuple_2<std::pair<T, U>> = true;   template< typename T, typename U > constexpr bool is_pair_or_tuple_2<std::tuple<T, U>> = true;   template < typename T > requires std::is_reference_v<T> || std::is_const_v<T> constexpr bool is_pair_or_tuple_2<T> = is_pair_or_tuple_2<std::remove_cvref_t<T>>; }   template< class R > constexpr range_format format_kind = [] { static_assert(false, "instantiating a primary template is not allowed"); return range_format::disabled; }();   template< ranges::input_range R > requires std::same_as<R, std::remove_cvref_t<R>> constexpr range_format format_kind<R> = [] { if constexpr (std::same_as<std::remove_cvref_t<std::ranges::range_reference_t<R>>, R>) return range_format::disabled; else if constexpr (requires { typename R::key_type; }) { if constexpr (requires { typename R::mapped_type; } && detail::is_pair_or_tuple_2<std::ranges::range_reference_t<R>>) return range_format::map; else return range_format::set; } else return range_format::sequence; }();

例

このコードを実行

#include <filesystem>
#include <format>
#include <map>
#include <set>
#include <vector>
 
struct A {};
 
static_assert(std::format_kind<std::vector<int>> == std::range_format::sequence);
static_assert(std::format_kind<std::map<int>> == std::range_format::map);
static_assert(std::format_kind<std::set<int>> == std::range_format::set);
static_assert(std::format_kind<std::filesystem::path> == std::range_format::disabled);
// ill-formed:
// static_assert(std::format_kind<A> == std::range_format::disabled);
 
int main() {}

関連項目

range_format (C++23)

範囲をどのようにフォーマットするかを指定する (enum)