C++如何实现无分支move_towards函数：数值向目标移动且不超出

问题1：是否可以实现生成无分支指令的move_towards函数？ #

可以，以下是符合所有接口约定、可通过全部测试用例的无分支实现：

#include <cmath>
#include <algorithm>

void move_towards(float& value, float target, float step) {
    const float delta = target - value;
    const float move = std::copysign(step, delta);
    value = std::clamp(value + move, std::min(value, target), std::max(value, target));
}

该实现的逻辑完全匹配约定要求：

• 当step == 0时，移动量为0，数值不变
• 步进方向永远朝向目标值，不会出现远离的情况
• std::clamp保证最终结果不会超出当前值与目标值的区间，最多等于目标值
• 现代编译器（GCC/Clang/MSVC）在开启O2及以上优化时，会为该实现生成完全无分支的汇编指令，无任何跳转逻辑。

问题2：若无法实现完全无分支，是否可以至少减少分支数量？ #

即使不使用上述完全无分支方案，也可以将原实现的4个分支（2层外层条件判断+2层内层越界判断）缩减到最多1个分支：只需要先判断当前值是否等于目标值，相等则直接返回，不等则直接计算步进后用一次边界判断替换两层内层分支即可，分支数量比原实现减少75%。

问题3：无论是否采用无分支实现，哪个版本的运行时性能最优？ #

性能表现取决于实际使用场景：

• 若业务场景中绝大多数调用时，当前值距离目标值较远、目标值的大小方向固定，此时分支预测成功率接近100%，带分支版本和无分支版本的性能差异可以忽略。
• 若业务场景中当前值经常接近目标值、目标值的大小方向随机（比如大量不同对象的独立过渡动画），分支预测失败率较高，无分支版本的性能会明显更优：现代CPU分支预测失败的惩罚通常在10_{20个时钟周期，而无分支版本用到的所有浮点运算指令都可以在1}3个时钟周期内执行完成，平均性能会比带分支版本高30%以上。

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