OCaml中函数声明后的@inlined与@@inline有什么区别

这两个都是OCaml编译器用于控制函数内联优化的属性，但挂载位置、作用范围、生效逻辑完全不同，不能混用。

语义本质差异 #

• [@inline] 是调用点级别的局部浮动属性：必须挂载在某一次具体的函数调用表达式之后，语义是仅针对当前这一次调用，向编译器发出内联提示。
• [@@inline] 是定义级别的结构属性：必须挂载在函数声明的绑定尾部，语义是针对当前函数的所有调用点，向编译器发出内联提示。

两种写法的对比如下代码所示：

(* @@inline 写在函数定义尾部，作用于函数本身 *)
let fast_add a b = a + b [@@inline]

let _ =
  (* @inline 写在单次调用尾部，仅作用于这一次调用 *)
  let v1 = fast_add 1 2 [@inline] in
  (* 因为fast_add定义处标了@@inline，这次调用哪怕不写@inline也会收到内联提示 *)
  let v2 = fast_add 3 4 in
  v1 + v2

注意：如果把[@inline]写在函数定义的尾部，它会被绑定到函数体内最后一个表达式上，完全不会产生函数内联的效果，是新手最容易踩的写法错误。

实际作用效果差异 #

• 优先级不同：调用点的[@inline]属性优先级高于定义处的[@@inline]属性。如果某一个调用点写了[@inline never]，哪怕函数本身标记了[@@inline always]，这个位置的调用也不会执行内联。
• 跨单元能力不同：标记了[@@inline]的公开函数，编译器会将其可内联的核心信息存入编译接口文件，跨模块调用时也能执行内联优化；而[@inline]仅在当前编译单元的单调用点生效，无法影响其他模块的调用逻辑。
• 约束强度一致：两个注解默认都只是优化提示，不是强制命令。如果编译器判断内联后会导致代码体积异常膨胀、寄存器压力过高反而降低性能，会直接忽略提示。如果需要强制要求内联，可以使用带参数的形式[@inline always]/[@@inline always]，但这类强制标记也仅在语义允许的前提下生效——比如递归函数、跨单元但未导出内联信息的函数，就算加了always标记也无法完成内联。

适用场景差异 #

• 适合用[@@inline]的场景：
  • 逻辑极短、调用频率极高的通用辅助函数，比如数值计算小工具、容器操作包装函数，全局内联的收益远大于代码体积上涨的成本
  • 基础库中对外暴露的通用小函数，需要支持跨模块调用时的内联优化
• 适合用[@inline]的场景：
  • 函数本身逻辑较长，全局内联会导致代码体积明显上涨、指令缓存命中率下降，但少数热路径上的调用点内联收益极高，仅需要针对这几个特定位置开启内联
  • 需要局部覆盖函数默认的内联策略：比如某个默认内联的小函数，在冷路径调用时不想占用指令缓存，可以在对应调用点标记[@inline never]关闭局部内联
  • 性能调优阶段做对照验证：只给单个调用点加内联标记，测试性能变化，不需要修改函数本身的全局定义

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