如何在C语言中对枚举执行互锁比较？能否用互锁比较交换原子读取枚举值？

刚好对这块比较熟，来给你详细解答这两个问题：

首先要明确：C语言的枚举类型在底层本质是整数类型（默认是int，也可以通过: 指定类型来修改，比如typedef enum : uint32_t { ... }），所以完全可以直接使用系统提供的互锁操作函数，只需要做简单的类型转换即可。

以Windows平台为例，假设我们有一个表示任务状态的枚举：

typedef enum {
    STATE_IDLE,
    STATE_RUNNING,
    STATE_PAUSED,
    STATE_COMPLETED
} TaskState;

如果我们需要原子性地将状态从STATE_RUNNING切换到STATE_PAUSED（只有当当前状态确实是STATE_RUNNING时才执行切换），可以这样实现：

// 注意：这里建议用volatile修饰，防止编译器优化导致的内存可见性问题
volatile TaskState g_taskState = STATE_IDLE;

int trySwitchState() {
    TaskState expected = STATE_RUNNING;
    TaskState desired = STATE_PAUSED;
    
    // 强制转换为LONG类型，因为InterlockedCompareExchange的参数是LONG*
    TaskState original = (TaskState)InterlockedCompareExchange(
        (LONG*)&g_taskState,
        (LONG)desired,
        (LONG)expected
    );
    
    // 如果原始值等于预期值，说明交换成功
    return (original == expected);
}

关键注意点： #

• 枚举的底层类型必须和互锁函数的参数类型匹配：比如如果枚举指定了uint64_t作为底层类型，就要用InterlockedCompareExchange64；
• 用volatile修饰枚举变量，确保编译器不会对变量的读写做过度优化，保证多线程下的内存可见性；
• 类型转换是安全的，因为枚举值本身就是整数常量，只要枚举值的范围不超过目标整数类型的范围（比如LONG是32位有符号，只要枚举值不超过2^31-1就没问题）。

如果是POSIX平台，逻辑类似，只是用atomic_compare_exchange_strong函数：

#include <stdatomic.h>

atomic_TaskState g_taskState = ATOMIC_VAR_INIT(STATE_IDLE);

int trySwitchState() {
    TaskState expected = STATE_RUNNING;
    TaskState desired = STATE_PAUSED;
    return atomic_compare_exchange_strong(&g_taskState, &expected, desired);
}

答案是可以，而且是一种可靠的实现方式，尤其是在需要同时保证原子性和内存屏障的场景下。

实现思路： #

互锁比较交换的核心是原子性地完成“比较-交换”操作。要实现原子读取，我们可以利用一个小技巧：尝试用当前读取到的值和变量本身做交换（也就是“交换相同的值”）。因为交换条件是“当前值等于预期值”，所以如果没有其他线程修改变量，一次操作就能成功，返回的原始值就是变量的当前值；如果在操作过程中变量被其他线程修改，我们就用新返回的值重新尝试，直到成功。

还是以Windows平台为例，实现一个原子读取枚举值的函数：

TaskState atomicReadTaskState(volatile TaskState* state) {
    TaskState current = *state;
    do {
        // 尝试用current交换current，原子性获取最新值
        TaskState temp = (TaskState)InterlockedCompareExchange(
            (LONG*)state,
            (LONG)current,
            (LONG)current
        );
        // 如果temp等于current，说明读取到了一致的值
        if (temp == current) {
            break;
        }
        // 否则更新current为最新值，继续尝试
        current = temp;
    } while (1);
    return current;
}

更简洁的替代方式： #

其实还有更简单的方法——用InterlockedExchangeAdd给变量加0，这个操作也是原子的，并且会返回变量的当前值：

TaskState atomicReadTaskState(volatile TaskState* state) {
    return (TaskState)InterlockedExchangeAdd((LONG*)state, 0);
}

补充说明： #

• 有些平台上，对齐的整数类型的单次读取本身就是原子的，但这种行为是平台相关的。如果需要跨平台兼容性或者严格的内存屏障（比如确保读取到的是最新值，而非缓存中的旧值），使用互锁操作会更可靠；
• 同样，POSIX平台可以用atomic_load函数直接实现原子读取，这是更标准的方式，但如果一定要用atomic_compare_exchange_strong，逻辑和Windows平台一致。

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