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

bool compare_exchange_weak
    ( value_type& expected, value_type desired,
      std::memory_order success, 
      std::memory_order failure ) const noexcept;

bool compare_exchange_weak
    ( value_type& expected, value_type desired,
      std::memory_order order =
          std::memory_order_seq_cst ) const noexcept;

bool compare_exchange_strong
    ( value_type& expected, value_type desired,
      std::memory_order success,
      std::memory_order failure ) const noexcept;

bool compare_exchange_strong
    ( value_type& expected, value_type desired,
      std::memory_order order =
          std::memory_order_seq_cst ) const noexcept;

Атомарно сравнивает представление значения объекта, на который ведёт ссылка, с представлением expected. Если они побитово равны, заменяет первое на desired (выполняет операцию чтения-модификации-записи). В противном случае загружает фактическое значение, хранящееся в объекте, на который ведёт ссылка, в expected (выполняет операцию загрузки).

Эти перегрузки участвуют в разрешении перегрузки только в том случае, если std::is_const_v<T> равно false.

Если failure не равно std::memory_order_relaxed, std::memory_order_consume, std::memory_order_acquire или std::memory_order_seq_cst, поведение не определено.

Параметры

Возвращаемое значение

true, если объект, на который ведёт ссылка, был успешно изменён; в противном случае — false.

Примечания

Сравнение и копирование выполняются побитово (аналогично std::memcmp и std::memcpy); конструктор, оператор присваивания и оператор сравнения не используются.

Слабые формы (1,2) функций могут завершиться ложным отказом, то есть вести себя так, как если бы *this != expected, даже если они равны. Если compare-and-exchange находится в цикле, слабая версия на некоторых платформах обеспечивает более высокую производительность.

Если слабая операция compare-and-exchange потребовала бы цикла, а сильная — нет, предпочтительна сильная версия, за исключением случаев, когда представление объекта типа value_type может содержать биты-ловушки или допускает несколько представлений объекта для одного и того же значения (например, NaN с плавающей точкой). В таких случаях слабая операция compare-and-exchange обычно работает, поскольку быстро сходится к одному из стабильных представлений объекта.

Для объединения, в котором некоторые биты участвуют в представлениях значений одних членов, но не других, операция compare-and-exchange может всегда завершаться неудачно, поскольку такие биты заполнения имеют неопределённые значения, когда они не участвуют в представлении значения активного члена.

Биты заполнения, которые никогда не участвуют в представлении значения объекта, игнорируются.

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были ретроактивно применены к ранее опубликованным стандартам C++.

Пример