std::atomic<T>::fetch_add

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

并发支持库

线程 thread (C++11) jthread (C++20) stop_token (C++20) stop_source (C++20) stop_callback (C++20) hardware_destructive_interference_sizehardware_constructive_interference_size (C++17)(C++17) this_thread 命名空间 get_id (C++11) yield (C++11) sleep_for (C++11) sleep_until (C++11) 互斥 mutex (C++11) recursive_mutex (C++11)   shared_mutex (C++17) timed_mutex (C++11) recursive_timed_mutex (C++11)     shared_timed_mutex (C++14) 通用锁管理 lock (C++11) lock_guard (C++11) scoped_lock (C++17) unique_lock (C++11) shared_lock (C++14) once_flag (C++11) call_once (C++11) try_lock (C++11) defer_locktry_to_lockadopt_lockdefer_lock_ttry_to_lock_tadopt_lock_t (C++11)(C++11)(C++11)(C++11)(C++11)(C++11) 条件变量 condition_variable (C++11) condition_variable_any (C++11) notify_all_at_thread_exit (C++11) cv_status (C++11) 信号量 counting_semaphorebinary_semaphore (C++20)(C++20) 闩与屏障 latch (C++20) barrier (C++20) 未来体 promise (C++11) future (C++11) shared_future (C++11) packaged_task (C++11) async (C++11) launch (C++11) future_status (C++11) future_error (C++11) future_category (C++11) future_errc (C++11) 安全回收 rcu_obj_base (C++26) rcu_domain (C++26) rcu_default_domain (C++26)   rcu_synchronize (C++26) rcu_barrier (C++26) rcu_retire (C++26) 风险指针 hazard_pointer_obj_base (C++26) hazard_pointer (C++26) make_hazard_pointer (C++26)

原子类型 atomic (C++11) atomic_ref (C++20) atomic_flag (C++11) 原子类型的初始化 atomic_init (C++11)(C++20 中弃用) ATOMIC_VAR_INIT (C++11)(C++20 中弃用) ATOMIC_FLAG_INIT (C++11) 内存定序 memory_order (C++11) kill_dependency (C++11) atomic_thread_fence (C++11) atomic_signal_fence (C++11) 原子操作的自由函数 atomic_storeatomic_store_explicit (C++11)(C++11) atomic_loadatomic_load_explicit (C++11)(C++11) atomic_exchangeatomic_exchange_explicit (C++11)(C++11) atomic_compare_exchange_weakatomic_compare_exchange_weak_explicitatomic_compare_exchange_strongatomic_compare_exchange_strong_explicit (C++11)(C++11)(C++11)(C++11) atomic_fetch_addatomic_fetch_add_explicit (C++11)(C++11) atomic_fetch_subatomic_fetch_sub_explicit (C++11)(C++11) atomic_fetch_andatomic_fetch_and_explicit (C++11)(C++11) atomic_fetch_oratomic_fetch_or_explicit (C++11)(C++11) atomic_fetch_xoratomic_fetch_xor_explicit (C++11)(C++11) atomic_fetch_maxatomic_fetch_max_explicit (C++26)(C++26) atomic_fetch_minatomic_fetch_min_explicit (C++26)(C++26) atomic_is_lock_free (C++11) atomic_waitatomic_wait_explicit (C++20)(C++20) atomic_notify_one (C++20) atomic_notify_all (C++20) 原子标志的自由函数 atomic_flag_test_and_setatomic_flag_test_and_set_explicit (C++11)(C++11) atomic_flag_clearatomic_flag_clear_explicit (C++11)(C++11) atomic_flag_testatomic_flag_test_explicit (C++20)(C++20) atomic_flag_waitatomic_flag_wait_explicit (C++20)(C++20) atomic_flag_notify_one (C++20) atomic_flag_notify_all (C++20)

 

std::atomic

成员函数

atomic::atomic

atomic::operator=

atomic::is_lock_free

atomic::store

atomic::load

atomic::operator T

atomic::exchange

atomic::compare_exchange_strongatomic::compare_exchange_weak

atomic::wait (C++20)

atomic::notify_one (C++20)

atomic::notify_all (C++20)

常量

atomic::is_always_lock_free (C++17)

特化成员函数

为整数、浮点(C++20)和指针类型特化

atomic::fetch_add

atomic::fetch_sub

atomic::operator+=atomic::operator-=

仅为整数和指针类型特化

atomic::fetch_max (C++26)

atomic::fetch_min (C++26)

atomic::operator++atomic::operator++(int)atomic::operator--atomic::operator--(int)

仅为整数类型特化

atomic::fetch_and

atomic::fetch_or

atomic::fetch_xor

atomic::operator&=atomic::operator|=atomic::operator^=

 

atomic<整数类型 > 特化和 atomic<浮点类型 > 特化 (C++20 起)才有的成员
T fetch_add( T arg, std::memory_order order =                         std::memory_order_seq_cst ) noexcept;	(1)	(C++11 起)
T fetch_add( T arg, std::memory_order order =                         std::memory_order_seq_cst ) volatile noexcept;	(2)	(C++11 起)
atomic<T*> 部分特化才有的成员
T* fetch_add( std::ptrdiff_t arg,               std::memory_order order =                   std::memory_order_seq_cst ) noexcept;	(3)	(C++11 起)
T* fetch_add( std::ptrdiff_t arg,               std::memory_order order =                   std::memory_order_seq_cst ) volatile noexcept;	(4)	(C++11 起)

以值和 arg 的算术加法结果原子地替换当前值。运算是读-修改-写操作。按照 order 的值影响内存。

1,2) 对于有符号整数类型，定义算术使用补码表示进行。没有未定义的结果。

对于浮点类型，生效的浮点环境可能异于调用方线程的浮点环境。操作不必遵循对应的 std::numeric_limits 特征，但鼓励这么做。如果结果不是它的类型所能表示的值，那么结果未指定，但该操作没有未定义行为。

(C++20 起)

3,4) 结果可能是未定义的地址，但该运算无未定义行为。

如果 T 不是完整对象类型，那么程序非良构。

重载 (2) 或 (4) 在参与重载决议且 std::atomic<T>::is_always_lock_free 是 false 时被弃用。

(C++20 起)

参数

arg	-	算术加法的另一实参
order	-	强制的内存定序约束

返回值

*this 的修改顺序中，紧接此函数生效之前的值。

示例

运行此代码

#include <array>
#include <atomic>
#include <iostream>
#include <thread>
 
std::atomic<long long> data{10};
std::array<long long, 5> return_values{};
 
void do_work(int thread_num)
{
    long long val = data.fetch_add(1, std::memory_order_relaxed);
    return_values[thread_num] = val;
}
 
int main()
{
    {
        std::jthread th0{do_work, 0};
        std::jthread th1{do_work, 1};
        std::jthread th2{do_work, 2};
        std::jthread th3{do_work, 3};
        std::jthread th4{do_work, 4};
    }
 
    std::cout << "结果：" << data << '\n';
 
    for (long long val : return_values)
        std::cout << "看到返回值：" << val << std::endl;
}

可能的输出：

结果：15
看到返回值：11
看到返回值：10
看到返回值：14
看到返回值：12
看到返回值：13

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
P0558R1	C++11	允许进行指向（可有 cv 限定的）void 或函数的指针运算	使之非良构

参阅

atomic_fetch_addatomic_fetch_add_explicit (C++11)(C++11)	将非原子值加到原子对象上，并获得原子对象的先前值 (函数模板)
operator++operator++(int)operator--operator--(int)	令原子值增加或减少一 (公开成员函数)