在C语言中计算L1范数：fabsf(-3.0f)与-1.0f*(-3.0f)哪个更快？

直接结论：方式一（调用fabsf）的执行速度更快，原因如下：

• 指令层面的本质差异：

  • fabsf是专门为浮点绝对值设计的硬件指令（比如x86架构的vabsss、ARM的VABS.F32），它直接对浮点数的符号位进行翻转（如果是负数），单周期就能完成，没有多余的算术运算。
  • 方式二的-1.0f * (-3.0f)需要至少两步操作：先加载常量-1.0f到寄存器，再执行一次浮点乘法。乘法指令的周期数通常比绝对值指令更长，而且这是完全冗余的运算——取绝对值根本不需要通过乘法实现。

• 编译器优化的局限性：
  部分编译器可能会识别出-1.0f * 负数等价于取绝对值，进而优化成fabsf的指令，但这是编译器的额外优化，不是代码本身的效率优势。如果编译器未开启优化或者没识别出这个模式，方式二的执行效率会明显低于方式一；就算优化生效，也最多和方式一持平，不可能更快。

两种实现的代码示例：
方式一：

float x = fabsf(-3.0f);

方式二：

float x = -1.0f * (-3.0f);

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