选择排序微优化：无用else分支提效的疑问与最佳实践

能不能不用无用else分支获得同等性能提升？ #

完全可以，核心思路是消除分支跳转，改用无分支的条件赋值，利用x86架构的条件移动指令（CMOV）避免分支预测失败的开销：

• 用三元运算符替代if-else结构：把原来的

if (arr[j] < arr[minx]) {
    minx = j;
} else {
    minx = minx; // 冗余分支
}

改成

minx = arr[j] < arr[minx] ? j : minx;

现代x86编译器（比如GCC、OpenJDK的JIT）会把这种三元表达式编译成CMOV指令——这是一种无分支的条件操作，不会触发分支预测，性能和保留冗余else分支的效果一致，甚至更优，因为没有多余的minx=minx空操作。

• 若用C/C++这类底层语言，也可以手动用位运算模拟无分支赋值，但这种写法可读性差，远不如三元运算符直观。

另外，调整选择排序的循环逻辑（比如提前预设最小值初始位置，让分支跳转模式更规律）也能帮助分支预测器更准确命中，但性能提升的稳定性不如无分支赋值。

保留冗余分支是否符合最佳实践？ #

绝对不符合：

1. 可读性极差：其他开发者看到minx=minx这种无意义代码会产生困惑，增加维护成本，甚至可能被误认为bug而删除。
2. 依赖编译器行为：不同编译器、不同优化级别下，可能直接优化掉这个冗余分支，导致性能提升消失，无法保证跨环境一致性。
3. 违背代码简洁原则：最佳实践要求代码只保留有意义的逻辑，冗余代码会增加噪音，降低整体代码质量。

你改用JMH做基准测试的做法非常正确，微优化结果很容易受测试环境、编译器优化影响，JMH能避开很多基准测试的常见陷阱，确保性能数据的可靠性。

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