过程类型

过程类型在内部是指向过程的指针。 nil 是过程类型变量的允许值。 Nim使用过程类型来实现 函数式 编程技术。

Examples:

  1. proc printItem(x: int) = ...
  2.  
  3. proc forEach(c: proc (x: int) {.cdecl.}) =
  4.   ...
  5.  
  6. forEach(printItem)  # 无法编译，因为调用约定不同
  1. type
  2.   OnMouseMove = proc (x, y: int) {.closure.}
  3.  
  4. proc onMouseMove(mouseX, mouseY: int) =
  5.   # 有默认的调用约定
  6.   echo "x: ", mouseX, " y: ", mouseY
  7.  
  8. proc setOnMouseMove(mouseMoveEvent: OnMouseMove) = discard
  9.  
  10. # 可以, 'onMouseMove'有默认的调用约定，它是兼容的
  11. # 到 'closure':
  12. setOnMouseMove(onMouseMove)

过程类型的一个微妙问题是过程的调用约定会影响类型兼容性：过程类型只有在具有相同的调用约定时才是兼容的。 作为一个特殊的扩展，调用约定 nimcall 的过程可以传递给一个参数，该参数需要调用约定 closure 的proc。

Nim支持这些 调用约定：

nimcall 是用于Nim proc 的默认约定。它与 fastcall 相同，但仅适用于支持 fastcall 的C编译器。

  • closure
  • 是缺少任何pragma注释的 过程类型 的默认调用约定。 它表示该过程具有隐藏的隐式形参（环境）。 具有调用约定 closure 的过程变量占用两个机器字：一个用于proc指针，另一个用于指向隐式传递环境的指针。
  • stdcall
  • 这是微软指定的stdcall约定。生成的C过程使用 __stdcall 关键字声明。
  • cdecl
  • cdecl约定意味着过程应使用与C编译器相同的约定。 在Windows下，生成的C过程使用 __cdecl 关键字声明。
  • safecall
  • 这是微软指定的safecall约定。 生成的C过程使用 _safecall 关键字声明。 安全_ 一词指的是所有硬件寄存器都应被推送到硬件堆栈。
  • inline
  • 内联约定意味着调用者不应该调用该过程，而是直接内联其代码。 请注意，Nim不是内联的，而是将其留给C编译器;它生成 __inline 程序。 这只是编译器的一个提示：编译器可能完全忽略它，它可能内联没有标记为 inline 的过程。
  • fastcall
  • Fastcall对不同的C编译器意味着不同的东西，不论C的 __fastcall 意义是什么。
  • syscall
  • 系统调用约定与C中的 __syscall 相同，用于中断。
  • noconv
  • 生成的C代码将没有任何显式调用约定，因此使用C编译器的默认调用约定。 这是必需的，因为Nim对程序的默认调用约定是 fastcall 来提高速度。大多数调用约定仅适用于Windows 32位平台。

默认调用约定是 nimcall ，除非它是内部proc（proc中的proc）。 对于内部过程，无论是否访问其环境，都会执行分析。 如果它这样做，它有调用约定 closure ，否则它有调用约定 nimcall 。