C++ benannte Anforderungen: AccessorPolicy (seit C++23)

 

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)

 

AccessorPolicy definiert, wie auf Elemente von einem gegebenen Datenhandle zu solchen Elementen und einem Index zugegriffen wird. Sie wird als Richtlinie in std::mdspan verwendet, um den Zugriff auf eine Referenz eines Elements mithilfe eines zugrunde liegenden eindimensionalen Indexes anzugeben.

Anforderungen

Ein Typ A erfüllt AccessorPolicy, wenn er copyable modelliert und Folgendes gilt true

• std::is_nothrow_move_constructible_v<A>
• std::is_nothrow_move_assignable_v<A>
• std::is_nothrow_swappable_v<A>

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

Legende

Typ	Definition
A	ein Accessor-Policy-Typ
OP	ein Offset-Policy-Typ
Wert	Definition
a	ein Wert vom Typ (möglicherweise const-qualifiziert) A
p	ein Wert vom Typ (möglicherweise const-qualifiziert) A::data_handle_type
i, j, n	Werte vom Typ std::size_t

Member-Typen

Name	Typ	Anforderungen
A::element_type	(nicht spezifiziert)	Ein vollständiger Objekttyp, der kein abstrakter Klassentyp ist
A::data_handle_type	(nicht spezifiziert), aber der Typ muss nicht element_type* sein	Modelliert copyable Die folgenden Bedingungen sind alle true std::is_nothrow_move_constructible_v<typename A::data_handle_type> std::is_nothrow_move_assignable_v<typename A::data_handle_type> std::is_nothrow_swappable_v<typename A::data_handle_type>
A::reference	(nicht spezifiziert), aber der Typ muss nicht element_type& sein	std::common_reference_with<typename A::reference&&, typename A::element_type&> ist true
A::offset_policy	OP	Erfüllt die Anforderungen von AccessorPolicy std::constructible_from<OP, const A&> ist true typename OP​::​element_type und typename A​::​element_type sind derselbe Typ

Memberfunktionen

Ausdruck	Rückgabetyp	Semantik
a.access(p, i)	typename A::reference	Der Ausdruck ist gleichheitserhaltend.
a.offset(p, i)	typename A::offset_policy::data_handle_type	Ein Wert q, so dass für b, das A::offset_policy(a) ist, und jede ganze Zahl n, für die [​0​, n) ein zugänglicher Bereich von p und a ist. [​0​, n - i) ein zugänglicher Bereich von q und b ist; und b.access(q, j) Zugriff auf dasselbe Element wie a.access(p, i + j) bietet, für jedes j im Bereich [​0​, n - i). Der Ausdruck ist gleichheitserhaltend.

Standardbibliothek

Die folgenden Standardbibliothekstypen erfüllen die Anforderungen von AccessorPolicy

default_accessor (C++23)	ein Typ für den indizierten Zugriff auf Elemente von mdspan (class template)
aligned_accessor (C++26)	ein Typ für den ausgerichteten Zugriff auf Elemente von mdspan (class template)
Definiert im Namespace std::linalg
scaled_accessor (C++26)	std::mdspan Accessor-Richtlinie, deren Referenz das Produkt eines festen Skalierungsfaktors und der Referenz des verschachtelten std::mdspan Accessors darstellt (Klassenschablone)
conjugated_accessor (C++26)	std::mdspan Accessor-Richtlinie, deren Referenz die komplexe Konjugation der Referenz des verschachtelten std::mdspan Accessors darstellt (Klassenschablone)