F# 内联如何工作？

Question

据我了解，使用 F#，您可以使用 inline 关键字在调用站点执行类型特化。那就是：：

val inline (+) : ^a -> ^b -> ^c
      when (^a or ^b) : (static member (+) : ^a * ^b -> ^c)

限制^a 或^b 必须具有像op_Addition 这样的静态成员，或者是内置原语之一，可用于填补空白。

因此，如果您有一个带有 + 的方法，并且传入一个 int 和一个 short 作为参数，它会将 + 解包到一条指令以使用 int 的内置原语，如果您传入一个 float 和一个字节，它使用浮点原语加法操作码。

这是如何在编译时完成的？如何在 CLR 中有一个方法来根据类型切换它使用的操作码或方法？

Reflection.Emit 可以实现这种行为吗？ 我知道内联是在调用站点执行的，这是否意味着代码不适用于 C#？

Answer 1

正如inline 所建议的，代码在调用站点内联。在每个调用点，您都知道具体的类型参数^T，因此该类型的特定代码插入那里。

这是由 F# 编译器完成的，您不能在其他上下文（如 C# 或 Ref.Emit）中轻松完成。

F# 库有一些仍然可以被其他语言调用的内联函数，这些实现的运行时会根据运行时类型进行动态调度，参见例如F# Core 库代码中prim-types.fs 中AdditionDynamic 的代码，感受一下。