std::atomic_ref

template< class T >
struct atomic_ref;

template< class T >
struct atomic_ref<T*>;

Шаблон класса std::atomic_ref применяет атомарные операции к объекту, на который он ссылается. На протяжении всего жизненного цикла объекта std::atomic_ref, объект, на который он ссылается, считается атомарным объектом. Если одна нить выполняет запись в атомарный объект, а другая нить — чтение из него, поведение определено (см. модель памяти для подробностей о гонках данных). Кроме того, обращение к атомарным объектам может устанавливать межнитевую синхронизацию и упорядочивать неатомарные обращения к памяти, как указано в std::memory_order.

Жизненный цикл объекта должен превышать жизненный цикл всех std::atomic_ref , которые ссылаются на объект. Пока любой экземпляр std::atomic_ref , ссылающийся на объект, существует, к объекту должен быть исключительный доступ только через эти экземпляры std::atomic_ref. Ни один подобъект объекта, на который ссылается объект std::atomic_ref, не может быть одновременно ссылаемым другим объектом std::atomic_ref.

Атомарные операции, применяемые к объекту через std::atomic_ref, являются атомарными по отношению к атомарным операциям, применяемым через любой другой std::atomic_ref, ссылающийся на тот же объект.

std::atomic_ref является CopyConstructible.

Как и языковые ссылки, constness является поверхностным для std::atomic_ref — возможно изменить значение, на которое ссылается, через объект const std::atomic_ref.

Специализации

Основной шаблон

Основной шаблон std::atomic_ref может быть инстанцирован с любым TriviallyCopyable типом T (включая bool):

struct Counters { int a; int b; }; // user-defined trivially-copyable type
alignas(std::atomic_ref<Counters>::required_alignment) Counters counter;
std::atomic_ref<Counters> cnt(counter); // specialization for the user-defined type

Частичная специализация для типов указателей

Библиотека стандартных шаблонов предоставляет частичные специализации шаблона std::atomic_ref для всех типов указателей. В дополнение к операциям, предоставляемым для всех атомарных типов, эти специализации дополнительно поддерживают атомарные арифметические операции, подходящие для типов указателей, такие как fetch_add, fetch_sub.

Специализации для целочисленных типов

При инстанцировании с одним из следующих целочисленных типов, std::atomic_ref предоставляет дополнительные атомарные операции, подходящие для целочисленных типов, такие как fetch_add, fetch_sub, fetch_and, fetch_or, fetch_xor:

• Типы символов char, char8_t, char16_t, char32_t и wchar_t;
• Стандартные целочисленные типы со знаком: signed char, short, int, long и long long;
• Стандартные целочисленные типы без знака: unsigned char, unsigned short, unsigned int, unsigned long и unsigned long long;
• Любые дополнительные целочисленные типы, необходимые псевдонимами в заголовке <cstdint>.

Целочисленная арифметика определяется как двухдополнительная; неопределённых результатов нет.

Специализации для типов с плавающей точкой

При инстанцировании с одним из неквалифицированных типов с плавающей точкой (float, double, long double и неквалифицированные типы с расширенной плавающей точкой extended floating-point types(с C++23)), std::atomic_ref предоставляет дополнительные атомарные операции, подходящие для типов с плавающей точкой, такие как fetch_add и fetch_sub.

Ни одна операция не приводит к неопределённому поведению, даже если результат не представим в типе с плавающей точкой. Среда с плавающей точкой, которая действует, может отличаться от среды с плавающей точкой вызывающей нити.

Типы членов

Для каждого std::atomic_ref<X> (специализирован или нет), std::atomic_ref<X>::value_type является X.

difference_type не определён в основном шаблоне atomic_ref.

Функции членов

Специализированные функции-члены

Примечания

См. также