无符号整数的快速无分支最大值

Question

我从聚合魔法中找到了一个快速计算最大值的技巧。唯一的问题是整数，尽管我做了一些尝试，但我不知道如何为无符号整数创建一个版本。

inline int32_t max(int32_t a, int32_t b)
{ 
    return a - ((a-b) & (a-b)>>31);
}

有什么建议吗？

编辑

不要使用它，因为正如其他人所说，它会产生未定义的行为。对于任何现代体系结构，编译器都能够从返回（a）发出无分支条件移动指令

Answer 1

这段代码是做什么的？它取a的值和差a-b。当然，a-（a-b）是b。和（a-b）

如果减法溢出，则此代码不正确。然而，这与无符号整数的情况相同。因此，如果您满足于这样一个事实，即您的代码在整个值范围内都不正确，那么您可以简单地忽略无符号，并使用以下方法：

inline uint32_t umax(uint32_t a, uint32_t b) {
    return (uint32_t)max((int32_t)a, (int32_t)b);
}