过程类型

过程类型在内部是指向过程的指针。 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