Libreria atomica C ++: confronta Exchange
Descrizione
Confronta atomicamente il valore dell'oggetto atomico con un argomento non atomico ed esegue lo scambio atomico se uguale o il carico atomico in caso contrario.
Dichiarazione
Di seguito è riportata la dichiarazione per std :: atomic_compare_exchange_weak.
template< class T >
bool atomic_compare_exchange_weak( volatile std::atomic<T>* obj,
T* expected, T desired );
C ++ 11
template< class T <
bool atomic_compare_exchange_weak( std::atomic<T>* obj,
T* expected, T desired );
Di seguito è riportata la dichiarazione per std :: atomic_compare_exchange_strong.
template< class T >
bool atomic_compare_exchange_strong( volatile std::atomic<T>* obj,
T* expected, T desired );
C ++ 11
template< class T >
bool atomic_compare_exchange_strong( std::atomic<T>* obj,
T* expected, T desired );
Di seguito è riportata la dichiarazione per std :: atomic_compare_exchange_weak_explicit.
template< class T >
bool atomic_compare_exchange_weak_explicit( volatile std::atomic<T>* obj,
T* expected, T desired,
std::memory_order succ,
std::memory_order fail );
C ++ 11
template< class T >
bool atomic_compare_exchange_weak_explicit( std::atomic<T>* obj,
T* expected, T desired,
std::memory_order succ,
std::memory_order fail );
Di seguito è riportata la dichiarazione per std :: atomic_compare_exchange_strong_explicit.
template< class T >
bool atomic_compare_exchange_strong_explicit( std::atomic<T>* obj,
T* expected, T desired,
std::memory_order succ,
std::memory_order fail );
C ++ 11
template< class T >
bool atomic_compare_exchange_strong_explicit( volatile std::atomic<T>* obj,
T* expected, T desired,
std::memory_order succ,
std::memory_order fail );
Parametri
obj - Viene utilizzato nel puntatore all'oggetto atomico da modificare.
desr - Viene utilizzato per memorizzare il valore nell'oggetto atomico.
order - Viene utilizzato per sincronizzare l'ordine della memoria per questa operazione.
succ- Viene utilizzato nell'ordine di sincronizzazione della memoria per l'operazione di lettura-modifica-scrittura se il confronto ha esito positivo. Tutti i valori sono consentiti.
fail- Viene utilizzato nell'ordine di sincronizzazione della memoria per l'operazione di caricamento se il confronto non riesce. Non può essere std :: memory_order_release o std :: memory_order_acq_rel e non può specificare un ordine più forte di succ.
Valore di ritorno
Restituisce il risultato del confronto: vero se * obj era uguale a * atteso, falso altrimenti.
Eccezioni
No-noexcept - questa funzione membro non genera mai eccezioni.
Esempio
Nell'esempio seguente per std :: atomic_compare_exchange.
#include <atomic>
template<class T>
struct node {
T data;
node* next;
node(const T& data) : data(data), next(nullptr) {}
};
template<class T>
class stack {
std::atomic<node<T>*> head;
public:
void push(const T& data) {
node<T>* new_node = new node<T>(data);
new_node->next = head.load(std::memory_order_relaxed);
while(!std::atomic_compare_exchange_weak_explicit(&head, &new_node->next,
new_node, std::memory_order_release, std::memory_order_relaxed))
;
}
};
int main() {
stack<int> s;
s.push(1);
s.push(2);
s.push(3);
}