pragma - 返回 void 和 {.noreturn.} 有什么区别？

Question

在 Nim 中，noReturn pragma标记一个永不返回的过程。

这与返回 void 的函数有何不同？

Answer 1

返回 void 意味着函数不返回任何内容:

proc saySomething(): void =
  echo "something"

空括号和 : void 是可选的:

proc saySomething =
  echo "something"

用noReturn 注释函数意味着该函数根本不会返回:

proc killTheProgram {.noReturn.} =
  quit(0)

proc raiseSomething {.noReturn.} =
  raise newException(ValueError, "Something")