std::atomic_ref<T>:: compare_exchange_weak, std::atomic_ref<T>:: compare_exchange_strong

Compara atómicamente la representación del valor del objeto referenciado con la de expected , y si son bit a bit iguales, reemplaza la primera con desired (realiza una operación de lectura-modificación-escritura). De lo contrario, carga el valor real almacenado en el objeto referenciado en expected (realiza una operación de carga).

Estas sobrecargas participan en la resolución de sobrecarga solo si std:: is_const_v < T > es false .

Si failure no es std:: memory_order_relaxed , std:: memory_order_consume , std:: memory_order_acquire o std:: memory_order_seq_cst , el comportamiento es indefinido.

Parámetros

Valor de retorno

true si el objeto referenciado fue modificado exitosamente, false en caso contrario.

Notas

La comparación y copia son a nivel de bits (similar a std::memcmp y std::memcpy ); no se utilizan constructor, operador de asignación ni operador de comparación.

Las formas débiles (1,2) de las funciones pueden fallar espuriamente, es decir, actuar como si * this ! = expected incluso si son iguales. Cuando un compare-and-exchange está en un bucle, la versión débil proporcionará mejor rendimiento en algunas plataformas.

Cuando una comparación e intercambio débil requeriría un bucle y una fuerte no, la fuerte es preferible a menos que la representación del objeto de value_type pueda incluir bits de trampa, u ofrezca múltiples representaciones de objeto para el mismo valor (por ejemplo, NaN de punto flotante). En esos casos, la comparación e intercambio débil normalmente funciona porque converge rápidamente en alguna representación de objeto estable.

Para una unión con bits que participan en las representaciones de valor de algunos miembros pero no de otros, la comparación e intercambio podría fallar siempre porque dichos bits de relleno tienen valores indeterminados cuando no participan en la representación de valor del miembro activo.

Los bits de relleno que nunca participan en la representación del valor de un objeto son ignorados.

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

Ejemplo