std::format_kind

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

文字處理庫

本地化庫

正則表示式庫 (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

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 /* unspecified */ format_kind = /* unspecified */;	(1)	(C++23 起)
template< ranges::input_range R >     requires std::same_as<R, std::remove_cvref_t<R>> constexpr range_format format_kind<R> = /* see description */;	(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 變數模板的主模板的程式是格式錯誤的。

給定一個 cv-unqualified 的程式定義型別 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)

指定範圍應如何格式化 (列舉)