C语言使用Clang原子操作如何实现原子前置自增？

你对atomic_fetch_add的行为判断是准确的：该接口执行原子加法后返回操作前的旧值，等价于后置自增v = x++的逻辑。要实现和const int v = ++x完全等价的原子操作，纯C环境下有两类成熟方案，均不涉及C++专属特性：

方案1：C11标准原子库方案（Clang全版本兼容） #

C11标准的<stdatomic.h>头文件中，原子算术操作是成对设计的，分别对应「返回旧值」和「返回新值」两种语义：

• atomic_fetch_add(atomic_int *obj, int arg)：原子执行*obj += arg，返回操作前的旧值，对应后置加逻辑
• atomic_add_fetch(atomic_int *obj, int arg)：原子执行*obj += arg，返回操作后的新值，正好匹配前置自增/加的需求

示例代码：

#include <stdatomic.h>

// 原子变量需使用atomic_int相关类型定义
atomic_int x = 0;

// 完全等价于非原子场景下的 const int v = ++x;
const int v = atomic_add_fetch(&x, 1);

如果需要自定义内存序优化性能，可以使用带_explicit后缀的扩展版本：

// 采用获取-释放内存序，比默认的顺序一致性性能更高
const int v = atomic_add_fetch_explicit(&x, 1, memory_order_acq_rel);

方案2：Clang内置原子函数方案（无C11依赖） #

如果需要兼容不支持C11原子库的老旧编译环境，可以直接使用Clang提供的跨平台__atomic系列内置函数，不需要引入额外头文件：

• __atomic_fetch_add(&x, 1, __ATOMIC_SEQ_CST)：返回操作前旧值，对应后置++
• __atomic_add_fetch(&x, 1, __ATOMIC_SEQ_CST)：返回操作后新值，对应前置++

示例代码：

// 普通int类型只要满足自然对齐要求即可，不需要特殊定义为原子类型
int x = 0;

// 等价于 const int v = ++x;
const int v = __atomic_add_fetch(&x, 1, __ATOMIC_SEQ_CST);

内置函数支持的内存序宏和C11标准内存序一一对应，可以根据场景替换为__ATOMIC_ACQ_REL、__ATOMIC_RELAXED等。

注意事项 #

虽然从语义上看，atomic_fetch_add(&x, 1) + 1也能得到本次自增完成后的新值，但非常不推荐这种写法：一是语义晦涩，代码维护者很难直接识别出前置自增的意图；二是在部分RISC架构下，这种写法会比直接调用atomic_add_fetch多生成一条加法指令，带来不必要的性能开销。

内容的提问来源于stack exchange，提问作者Justicle