C/C++：是否使用比较结果作为 int 真的无分支？

Question

我在很多 SO 答案中都看到过这种代码：

template <typename T> 
inline T imax (T a, T b)
{
    return (a > b) * a + (a <= b) * b;
}

哪里有作者说这个无分支。

但这在当前架构上真的是无分支的吗？(x86, ARM...) 是否有真正的标准保证这是无分支的？

Answer 1

x86 具有SETcc根据标志值将字节寄存器设置为 1 或 0 的指令族。这通常被编译器用来实现这种没有分支的代码。

如果你使用“天真的”方法

int imax(int a, int b) {
    return a > b ? a : b;
}

编译器将使用CMOVcc（条件移动）指令族生成更高效的无分支代码。

ARM 能够有条件地执行每条指令，这使编译器能够有效地编译您的和原始实现，原始实现更快。