std::indirectly_readable
| Definiert in Header <iterator> |
||
| template< class In > concept __IndirectlyReadableImpl = |
(nur Exposition*) | |
| template< class In > concept indirectly_readable = |
(seit C++20) | |
Das Konzept indirectly_readable wird von Typen modelliert, die durch Anwendung von operator* lesbar sind, wie z.B. Zeiger, intelligente Zeiger und Eingabe-Iteratoren.
[edit] Semantische Anforderungen
Gegeben sei ein Wert i vom Typ I. I modelliert indirectly_readable nur dann, wenn alle von ihm umfassten Konzepte modelliert sind und der Ausdruck *i gleichheitserhaltend ist.
[bearbeiten] Gleichheitserhaltung
Ausdrücke, die in requires-Ausdrücken der Standardbibliothekskonzepte deklariert sind, müssen gleichheitserhaltend sein (sofern nicht anders angegeben).