如果条件在 C/C++ 中成立，如何自动设置一个值？

Question

如果条件 c 成立，我需要自动分配 a = b，如果条件不成立，则不分配。在 C/C++ 中有没有办法做到这一点？

澄清：我的意思是原子 "test and assign"，而不是 "atomically assign"。

Answer 1

一般情况下，没有一项操作可以完成您的要求。是涵盖的常见情况是您的条件 c 测试 a 是否已设置为某个特定值的情况。在这种情况下，您需要的操作是比较和交换，例如：

std::atomic<int> value;
...
int expected = 9;
bool result = std::atomic_compare_exchange_strong(&value, &expected, 10);

此处value仅在条件value == 9成立时设置为10，整个操作是原子的。

如果您的条件不采用这种形式，那么您将不得不使用互斥锁（或其他一些多操作机制）来实现原子性。

Answer 2

如果 c 是 a 本身的某些属性，那么比较交换原子操作可以解决您的问题。您在评论中指出情况并非如此。

否则，将 c（任何读取其状态或修改其状态的任何内容）和 a 的所有访问包装在公共 std::mutex.[=24= 的锁中]

测试 c 并在 std::mutex 的锁内分配给 a。

不行的话，写一个单线程程序。

否则，使用 OS 级 API 挂起进程中除您自己以外的所有线程，然后测试 c 并可能分配给 a。请注意，这可能会看到 c 或 a 处于写入一半的状态（即处于不连贯状态），并且线程挂起计划确实往往不是一种实用的方法避免它，除非 c 和 a 本身都是无锁原子。

请注意，此计划极其危险且脆弱。

如果做不到这一点，请不太抽象地描述您的问题并提出另一个问题。您的问题不太抽象的版本很可能会有合理的解决方案。

How to atomically set a value if a condition holds in C/C++?