Question

通过the second part of Nimrod's tutorial我已经解决了宏的问题。文档说他们在编译时运行，所以我想我可以做一些字符串解析来创建自己的域特定语言。但是，没有如何执行此操作的示例，debug macro example不显示如何处理字符串参数。

我想转换代码如下：

instantiate("""
    height,f,132.4
    weight,f,75.0
    age,i,25
    """)

......用手写的东西，我会像：

var height: float = 132.4
var weight: float = 75.0
var age: int = 25

显然这个例子不是很有用，但我想看一些简单的东西（多行/逗号分割，然后转换），这可以帮助我实现更复杂的东西。

我的问题是宏如何获取输入字符串，解析它（在编译时！），以及什么样的代码可以在编译时运行（它只是语言的一个子集？我可以使用宏/来自其他导入模块的代码）？

编辑：基于这里的答案，该问题的可能代码解决方案：

import macros, strutils

# Helper proc, macro inline lambdas don't seem to compile.
proc cleaner(x: var string) = x = x.strip()

macro declare(s: string): stmt =
  # First split all the input into separate lines.
  var
    rawLines = split(s.strVal, {char(0x0A), char(0x0D)})
    buf = ""

  for rawLine in rawLines:
    # Split the input line into three columns, stripped, and parse.
    var chunks = split(rawLine, ',')
    map(chunks, cleaner)

    if chunks.len != 3:
      error("Declare macro syntax is 3 comma separated values:\n" &
        "Got: '" & rawLine & "'")

    # Add the statement, preppending a block if the buffer is empty.
    if buf.len < 1: buf = "var\n"
    buf &= "  " & chunks[0] & ": "

    # Parse the input type, which is an abbreviation.
    case chunks[1]
    of "i": buf &= "int = "
    of "f": buf &= "float = "
    else: error("Unexpected type '" & chunks[1] & "'")
    buf &= chunks[2] & "\n"

  # Finally, check if we did add any variable!
  if buf.len > 0:
    result = parseStmt(buf)
  else:
    error("Didn't find any input values!")

declare("""
x, i, 314
y, f, 3.14
""")
echo x
echo y

Answer 1

总的来说，宏可以使用同一个地方的程序也可以看到的所有纯Nimrod代码。例如，您可以导入strutils或peg来解析您的字符串，然后从中构造输出。例如：

import macros, strutils

macro declare(s: string): stmt =
  var parts = split(s.strVal, {' ', ','})
  if len(parts) != 3:
    error("declare macro requires three parts")
  result = parseStmt("var $1: $2 = $3" % parts)

declare("x, int, 314")
echo x

“调用”宏基本上会在编译时对它进行评估，就像它是一个过程一样（需要注意的是宏参数实际上是AST，因此需要使用s.strVal而不是{{1然后插入它在宏调用的位置返回的AST。

宏代码由编译器的内部虚拟机评估。

如何在编译时解析Nimrod中的字符串？

1 个答案: