如何在Nim宏中从Ident节点获取对象类型的所有字段？

问题根源 #

你遇到的Error: node is not a symbol是因为直接对语法树中的Ident节点调用getImpl，而getImpl需要的是语义绑定后的Symbol对象，不是单纯的语法标识符节点。

解决步骤 #

要实现从Ident节点提取对象字段，需要完成以下几步：

1. 从proc定义中提取参数的类型Ident节点
2. 将Ident节点转换为对应的Symbol（完成语义绑定）
3. 通过Symbol获取对象类型的实现节点
4. 遍历实现节点提取字段名

完整代码示例 #

type A = object
  name: string

type B = object
  name: string
  id: int

macro generateMapper(body: untyped): untyped =
  let procDef = body[0]
  # 提取proc的参数列表
  let params = procDef.params

  for param in params:
    let typeNode = param.typ
    # 只处理Ident类型的类型节点
    if typeNode.kind == nnkIdent:
      # 获取Ident对应的Symbol（关键步骤，解决"node is not a symbol"错误）
      let typeSym = typeNode.sym
      # 获取对象类型的实现节点
      let objImpl = getImpl(typeSym)

      # 遍历提取字段名
      var fields: seq[string] = @[]
      if objImpl.kind == nnkObjectTy:
        for fieldNode in objImpl:
          # 对象字段的定义节点类型为nnkIdentDefs
          if fieldNode.kind == nnkIdentDefs:
            # 提取字段名（第一个子节点是字段标识符）
            fields.add($fieldNode[0])

      echo "提取到", $typeNode, "的字段：", fields

  # 返回原proc定义，不影响原有逻辑
  result = body

generateMapper():
  proc myMapProc(source: A, target: B): string =
    target.name = source.name

关键细节说明 #

• typeNode.sym：将语法树中的Ident节点转换为语义绑定的Symbol，这是解决报错的核心，只有Symbol才能被getImpl识别。
• nnkObjectTy：对象类型的实现节点类型，通过getImpl(typeSym)获取后，需要判断节点类型确保是对象定义。
• nnkIdentDefs：每个字段的定义节点，其第一个子节点是字段名称的Ident，转换为字符串即可得到字段名。

扩展处理（可选） #

如果你的类型是类型别名（如type C = B），需要递归获取底层的对象类型：

proc getUnderlyingObjectSym(sym: PSym): PSym =
  result = sym
  while result.kind == skAlias:
    result = result.typ.sym

# 在宏中替换为：
let typeSym = getUnderlyingObjectSym(typeNode.sym)
let objImpl = getImpl(typeSym)

内容的提问来源于stack exchange，提问作者Philipp Doerner