C++ benannte Anforderungen: UnaryTypeTrait (seit C++11)

 

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)

 

Ein UnaryTypeTrait ist eine Klassenvorlage, die eine Eigenschaft ihres Vorlagen-Typparameters mit einer Spezialisierung von std::integral_constant (typischerweise std::bool_constant) beschreibt.

Anforderungen

• DefaultConstructible und CopyConstructible.
• Nimmt einen Vorlagen-Typparameter (zusätzliche Vorlagenparameter sind optional und erlaubt).
• Öffentlich und eindeutig abgeleitet von einer Spezialisierung von std::integral_constant, bekannt als sein Basismerkmal.
• Die Mitgliedsnamen des Basismerkmals sind nicht verborgen und eindeutig verfügbar.

Standardbibliothek

Die folgenden Typ-Traits erfüllen alle UnaryTypeTrait

• Primäre Typkategorien
• Zusammengesetzte Typkategorien
• Typeneigenschaften
• Unterstützte Operationen
• Abfragen von Eigenschaften

Die folgenden Standardbibliotheks-Klassenvorlagen erfüllen ebenfalls UnaryTypeTrait.

integral_constant (C++11)	konstantes zur Compilezeit vom angegebenen Typ mit angegebenem Wert (Klassentemplate)
negation (C++17)	logische NOT-Metafunktion (Klassenvorlage)
std::tuple_size<std::tuple> (C++11)	ermittelt die Größe eines tuple (class template specialization)
std::tuple_size<std::array> (C++11)	ermittelt die Größe eines arrays (Klassentemplatenspezialisierung)
std::tuple_size<std::pair> (C++11)	ermittelt die Größe eines pair (Klassenvorlagenspezialisierung)
variant_sizevariant_size_v (C++17)	erhält zur Kompilierzeit die Größe der Alternativenliste des variant (class template) (variable template)
is_bind_expression (C++11)	zeigt an, dass ein Objekt ein std::bind-Ausdruck ist oder als solcher verwendet werden kann (Klassen-Template)
is_placeholder (C++11)	zeigt an, dass ein Objekt ein Standard-Platzhalter ist oder als solcher verwendet werden kann (Klassen-Template)
is_execution_policy (C++17)	Prüft, ob eine Klasse eine Ausführungsrichtlinie darstellt (Klassentemplate)