C++ benannte Anforderungen: BasicFormatter (seit C++20)

 

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

 

C++ benannte Anforderungen

Basis DefaultConstructible MoveConstructible (C++11) CopyConstructible CopyAssignable MoveAssignable (C++11) Destructible Typeneigenschaften ScalarType PODType TriviallyCopyable (C++11) TrivialType (C++11) StandardLayoutType (C++11)   ImplicitLifetimeType Bibliothekweit BooleanTestable EqualityComparable LessThanComparable Swappable ValueSwappable (C++11) NullablePointer (C++11) Hash (C++11) Allocator FunctionObject Callable Predicate BinaryPredicate Compare

Container Container ReversibleContainer AllocatorAwareContainer SequenceContainer ContiguousContainer (C++17) AssociativeContainer UnorderedAssociativeContainer (C++11)   Container-Element DefaultInsertable (C++11) CopyInsertable (C++11) MoveInsertable (C++11) EmplaceConstructible (C++11) Erasable (C++11) Iterator LegacyIterator LegacyInputIterator LegacyOutputIterator LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator LegacyContiguousIterator (C++17) ConstexprIterator (C++20) Stream-I/O FormattedInputFunction UnformattedInputFunction FormattedOutputFunction UnformattedOutputFunction Formatters BasicFormatter (C++20) Formatter (C++20)

Zufallszahlen SeedSequence (C++11) RandomNumberEngine (C++11) RandomNumberDistribution (C++11) UniformRandomBitGenerator (C++11) RandomNumberEngineAdaptor (C++11) Concurrency BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11) SharedLockable (C++14) SharedTimedLockable (C++14) Mutex (C++11) TimedMutex (C++11) SharedMutex (C++17) SharedTimedMutex (C++14) Bereiche (Ranges) RangeAdaptorObject (C++20) RangeAdaptorClosureObject (C++20) Mehrdimensionale Ansicht LayoutMapping (C++23) LayoutMappingPolicy (C++23) AccessorPolicy (C++23) Sonstiges CharTraits RegexTraits (C++11)   BitmaskType LiteralType (C++11) NumericType UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11) Clock (C++11) TrivialClock (C++11)

 

BasicFormatter ist ein Typ, der Formatierungsoperationen für einen gegebenen Argumenttyp und Zeichentyp abstrahiert. Spezialisierungen von std::formatter müssen die Anforderungen von BasicFormatter erfüllen.

Ein BasicFormatter ist ein Formatter, wenn er sowohl konstante als auch nicht-konstante Argumente formatieren kann.

Anforderungen

Ein Typ erfüllt BasicFormatter, wenn er semiregular ist, was bedeutet, dass er Folgendes erfüllt:

• DefaultConstructible
• CopyConstructible
• CopyAssignable
• Destructible
• Swappable

Und, unter den folgenden Typen und Werten, sind die in der folgenden Tabelle gezeigten Ausdrücke gültig und haben die angegebene Semantik

Typ	Definition
CharT	ein Zeichentyp
Arg	ein Argumenttyp für die Formatierung
Formatter	ein Formatter-Typ für die Typen Arg und CharT
OutputIt	ein LegacyOutputIterator-Typ
ParseCtx	std::basic_format_parse_context<CharT>
FmtCtx	std::basic_format_context<OutputIt, CharT>
Wert	Definition
f	ein Wert vom Typ (möglicherweise const-qualifiziert) Formatter
g	ein Wert vom Typ Formatter
arg	ein lvalue vom Typ Arg
t	ein Wert vom Typ, der nach (möglicherweise const-qualifiziert) Arg konvertierbar ist
parse_ctx	ein lvalue vom Typ ParseCtx, der alle folgenden Bedingungen erfüllt parse_ctx.begin() zeigt auf den Anfang der format-spec des Ersatzfeldes, das in der Formatzeichenkette formatiert wird. Wenn format-spec nicht vorhanden oder leer ist, dann gilt entweder parse_ctx.begin() == parse_ctx.end() oder *parse_ctx.begin() == '}'.
fmt_ctx	ein lvalue vom Typ FmtCtx

Ausdruck	Rückgabetyp	Semantik
g.parse(parse_ctx)	ParseCtx::iterator	Im Bereich [parse_ctx.begin(), parse_ctx.end()), parst die format-spec für den Typ Arg bis zum ersten nicht übereinstimmenden Zeichen. Wirft std::format_error, es sei denn, der gesamte Bereich wird geparst oder das nicht übereinstimmende Zeichen ist }. Speichert die geparsten Formatierungsangaben in g und gibt einen End-Iterator des geparsten Bereichs zurück.
f.format(arg, fmt_ctx)	FmtCtx::iterator	Formatiert arg gemäß den in f gespeicherten Angaben, schreibt die Ausgabe in fmt_ctx.out() und gibt einen End-Iterator des Ausgabebereichs zurück. Die Ausgabe soll nur von Folgendem abhängen: arg, fmt_ctx.locale(), der Bereich [parse_ctx.begin(), parse_ctx.end()) aus dem letzten Aufruf von f.parse(parse_ctx), und fmt_ctx.arg(n) für jeden Wert n vom Typ std::size_t.

Fehlerberichte

Die folgenden Verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

DR	angewendet auf	Verhalten wie veröffentlicht	Korrigiertes Verhalten
LWG 3892	C++20	war der Wert von pc.begin() unklar, wenn format-spec nicht vorhanden war	wurde klargestellt