std::format_kind

 

C++

Compiler-Unterstützung

Freestanding und gehostet

Sprache

Standardbibliothek

Header der Standardbibliothek

Benannte Anforderungen

Feature-Test-Makros (C++20)

Bibliothek für Sprachunterstützung

Konzepte-Bibliothek (C++20)

Diagnostik-Bibliothek

Speicherverwaltungsbibliothek

Metaprogrammierungsbibliothek (C++11)

Allgemeine Dienstprogramme-Bibliothek

Container-Bibliothek

Iterator-Bibliothek

Ranges-Bibliothek (C++20)

Algorithmen-Bibliothek

Bibliothek für Zeichenketten

Textverarbeitungsbibliothek

Numerik-Bibliothek

Datums- und Zeitbibliothek

Ein-/Ausgabe-Bibliothek

Dateisystembibliothek (C++17)

Unterstützung für nebenläufige Programmierung (C++11)

Ausführungssteuerungsbibliothek (C++26)

Technische Spezifikationen

Symbolverzeichnis

Externe Bibliotheken

 

Textverarbeitungsbibliothek

Lokalisierungsbibliothek

Reguläre Ausdrücke-Bibliothek (C++11)

Formatierungsbibliothek (C++20)

Dienstprogramme für Null-terminierte Sequenzen

Byte-Zeichenketten

Multibyte-Zeichenketten

Wide-Zeichenketten

Primitive numerische Konvertierungen

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

Textkodierungserkennung

text_encoding (C++26)

 

Formatierungsbibliothek

Standardformat-Spezifikation

Formatierungsfunktionen

format (C++20)

format_to (C++20)

format_to_n (C++20)

formatted_size (C++20)

vformat (C++20)

vformat_to (C++20)

Format-Strings

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

runtime_format (C++26)

Formatierungs-Konzepte

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)

Formatierungs-Argumente

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) (veraltet in C++26)

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

Format-Fehler

format_error (C++20)

 

Definiert in Header <format>
template< class R > constexpr /* unspecified */ format_kind = /* unspecified */;	(1)	(seit C++23)
template< ranges::input_range R >     requires std::same_as<R, std::remove_cvref_t<R>> constexpr range_format format_kind<R> = /* siehe Beschreibung */;	(2)	(seit C++23)

Die Variablenschablone format_kind wählt ein geeignetes std::range_format für einen Bereich R.

std::format_kind<R> ist wie folgt definiert

• Wenn std::same_as<std::remove_cvref_t<ranges::range_reference_t<R>>, R> true ist, ist std::format_kind<R> std::range_format::disabled.
• Andernfalls, wenn R::key_type gültig ist und einen Typ bezeichnet
  • Wenn R::mapped_type gültig ist und einen Typ bezeichnet, sei U std::remove_cvref_t<ranges::range_reference_t<R>>.

Wenn entweder U eine Spezialisierung von std::pair ist oder U eine Spezialisierung von std::tuple ist und std::tuple_size_v<U> == 2, ist std::format_kind<R> std::range_format::map.

• Andernfalls ist std::format_kind<R> std::range_format::set.

• Andernfalls ist std::format_kind<R> std::range_format::sequence.

Ein Programm, das eine primäre Schablone der Variablenschablone format_kind instanziiert, ist fehlerhaft.

Gegeben sei ein cv-unqualifizierter programmiererdefinierter Typ T, der input_range modelliert, kann ein Programm format_kind für T spezialisieren. Solche Spezialisierungen sind in konstanten Ausdrücken verwendbar und haben den Typ const std::range_format.

Mögliche Implementierung

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; }();

Beispiel

Führen Sie diesen Code aus

#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() {}

Siehe auch

range_format (C++23)

spezifiziert, wie ein Range formatiert werden soll (Enum)