在Rust中，使用更复杂闭包的sort_unstable_by意外缩小了二进制体积
一位开发者发现，在Rust的sort_unstable_by闭包中添加布尔参数和if语句后，二进制体积反而减少了约1KB。经分析，快速排序函数缩小了980字节，尽管内联情况相同，但指令数变少了。该现象出现在ARM Linux目标平台上，具体细节和提交记录已公开。
背景速读
- 这是一则 Hacker News 上的技术发现帖。用户发现，给 Rust 的 `sort_unstable_by` 排序闭包添加一个布尔分支（判断是否逆序）后，生成的 ARM 二进制文件不仅没有变大，反而减少了约 1KB。分析工具显示，缩减全部来自快速排序函数本身（少了 980 字节）。
- 常规直觉：增加分支逻辑会让代码膨胀；但实际结果相反，说明在某些条件下，额外的控制流反而可能让编译器（LLVM）做出更优化的寄存器分配或消除某些边界检查，最终生成更紧凑的机器码。
- 帖主提供了反汇编对比（pastebin）和具体提交记录，供社区分析原因。这是一个典型的“反直觉优化”案例，在底层编程社区中会因为涉及编译器行为、二进制体积优化而引发讨论。