std::experimental::ranges:: Swappable, std::experimental::ranges:: SwappableWith
|
Definiert in Header
<experimental/ranges/concepts>
|
||
|
template
<
class
T
>
concept
bool
Swappable
=
|
(1) | (ranges TS) |
|
template
<
class
T,
class
U
>
concept
bool
SwappableWith
=
|
(2) | (ranges TS) |
Das Konzept
Swappable<T>
spezifiziert, dass Lvalues vom Typ
T
austauschbar sind.
Das Konzept
SwappableWith<T, U>
spezifiziert, dass Ausdrücke des durch
T
und
U
kodierten Typs und Wertkategorie austauschbar miteinander sind.
SwappableWith<T, U>
ist nur dann erfüllt, wenn ein Aufruf von
ranges::
swap
(
t, u
)
die Werte von
t
und
u
austauscht, das heißt, bei gegebenen unterschiedlichen Objekten
t2
gleich
t
und
u2
gleich
u
, nach Auswertung entweder von
ranges::
swap
(
t, u
)
oder
ranges::
swap
(
u, t
)
,
t2
gleich
u
ist und
u2
gleich
t
ist.
Gleichheitserhaltung
Ein Ausdruck ist equality preserving , wenn er bei gleichen Eingaben gleiche Ausgaben liefert.
- Die Eingaben eines Ausdrucks bestehen aus seinen Operanden.
- Die Ausgaben eines Ausdrucks bestehen aus seinem Ergebnis und allen durch den Ausdruck modifizierten Operanden (falls vorhanden).
Jeder Ausdruck, der gleichungserhaltend sein muss, muss darüber hinaus stabil sein: Zwei Auswertungen eines solchen Ausdrucks mit denselben Eingabeobjekten müssen gleiche Ausgaben liefern, sofern keine explizite Änderung dieser Eingabeobjekte zwischen den Auswertungen erfolgt.
Sofern nicht anders angegeben, muss jeder Ausdruck, der in einem requires-expression verwendet wird, gleichheitserhaltend und stabil sein, und die Auswertung des Ausdrucks darf nur seine nicht-konstanten Operanden modifizieren. Operanden, die konstant sind, dürfen nicht modifiziert werden.