如何在C语言中实现基于bool条件的无分支算术运算？

我有一个int类型的变量x，希望根据bool类型的变量c，有条件地为其加上一个int类型的变量y，目前的分支实现代码如下：

bool c;    // C23标准，或stdbool.h中_Bool的宏定义，实际会转换为整数0或1
int x, y;  // x可以是全局变量或其他类型的变量

// ...

if (c)
    x += y;

请问如何在不使用分支的情况下实现该逻辑？

无分支实现方案 #

利用C语言中bool类型会被隐式转换为整数0或1的特性，直接通过算术运算即可实现无分支逻辑：

x += c * y;

当c为真时，其整数值为1，c*y等价于y，最终效果是x += y；当c为假时，整数值为0，c*y等价于0，最终x保持原值，完全替代了原分支逻辑的效果。

编译器自动优化的局限性说明 #

如果x是其他线程无法访问的局部变量，编译器可能会自动将原分支代码优化为无分支版本（尤其是在自动向量化或标量优化场景下）。但这种优化对全局变量或者**通过指针访问的*x**不具备线程安全性：
编译器不能对抽象机中未被读写的共享对象生成诸如*x += 0的写入操作，因为这会引发数据竞争，覆盖其他线程写入的值。

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