问有没有一种方法可以将整数值限制在某个范围内而不进行分支？

EN

有一些技巧可以找到两个数字中的最小值或最大值，因此您可以使用这些技巧来查找min(max(x, 0), some_maximum)。来自here

y ^ ((x ^ y) & -(x < y)); // min(x, y)
x ^ ((x ^ y) & -(x < y)); // max(x, y)

但是，正如源代码所述，使用常规方法可能会更快，尽管分支

这将依赖于编译器和处理器，但如果您使用?:，它可以转换为条件移动(至少在基于英特尔的处理器上)，它不使用分支。

x = x < 0 ? 0 : x; x = x > max ? max : x;

这可以使用CMOV指令(参见http://www.intel.com/software/products/documentation/vlin/mergedprojects/analyzer_ec/mergedprojects/reference_olh/mergedProjects/instructions/instruct32_hh/vc35.htm)，该指令的目的是避免分支(从而避免分支预测损失)。

编辑：您可能会对此thread感兴趣。基准测试表明，条件移动只会在不可预测的分支上带来速度提升，而高度可预测的分支(例如长时间运行的循环)更喜欢标准方法。

在C++17中，您可以使用std::clamp

header <algorithm>中定义的

模板常量表达式常量T& clamp(常量T& v，常量T& lo，常量T& hi )；(1) (自C++17以来) template常量常量T& clamp(常量T& v，常量T& lo，常量T& hi，比较组件)；(2) (自C++17以来)

1. 如果v比较小于lo，则返回lo；否则，如果hi比较小于v，则返回hi；否则返回v。使用operator<比较这些值。
2. 与(1)相同，但使用comp比较这些值。