22、Nim宏编程与配置DSL创建指南

Nim宏编程与配置DSL创建指南

1. 宏的基本概念

宏在编程中有着重要的作用，使用宏有两个关键要点需要牢记：
- 宏必须有返回类型，并且总是返回有效的抽象语法树（AST），即便这个AST本质上为空。
- 所有宏参数都是Nim AST节点（除了 static[T] 和 typedesc 参数，关于这些特殊类型的信息可在Nim手册中找到：http://nim-lang.org/docs/manual.html#special-types ）。

由于宏本身就是对AST进行操作，所以将每个宏参数表示为AST节点是合理的，这也使得在Nim中实现一些常规情况下无法实现的构造成为可能。例如：

arguments(71, ["12", 876, 0.5, -0.9])

这个例子中，第二个参数的AST如下：

Bracket
StrLit 12
IntLit 876
Float64Lit 0.5
Prefix
Ident !"-"
Float64Lit 0.9

在Nim中，数组是同构的，即数组中的每个值必须是相同的类型。因此，尝试声明一个包含 "12" 、 876 、 0.5 和 -0.9 的数组是不可能的，因为这些值的类型包括字符串、整数和浮点数。但在宏的帮助下，调用宏时可以使用异构