使用nnkDotExpr在Nim宏中创建标识符时遇错误求助

1. Name_MacroA：nnkDotExpr被识别为枚举字段 #

问题原因 #

nnkDotExpr是NimNodeKind枚举的成员，不是可调用的函数。直接像调用函数一样使用它，编译器会认为你在引用枚举字段，而非构造AST节点。

错误代码示例 #

macro Name_MacroA*(fieldName: string): untyped =
  result = proc(): auto =
    nnkDotExpr(self, ident(fieldName))  # 错误：误将枚举成员当作函数调用

修正方案 #

使用newDotExpr函数构造点表达式节点，或手动创建指定kind为nnkDotExpr的NimNode：

方式1：用newDotExpr

macro Name_MacroA*(fieldName: string): untyped =
  let fieldIdent = ident(fieldName)
  result = quote do:
    proc getField(self: auto): auto =
      `newDotExpr(ident("self"), fieldIdent)`

方式2：手动构造节点

macro Name_MacroA*(fieldName: string): untyped =
  let selfNode = ident("self")
  let fieldNode = ident(fieldName)
  let dotNode = newNode(nnkDotExpr)
  dotNode.add selfNode
  dotNode.add fieldNode
  result = quote do:
    proc getField(self: auto): auto =
      `dotNode`

2. Name_MacroB、Name_MacroC：未声明标识符'self' #

问题原因 #

宏生成的过程中，self没有被声明为参数，编译器无法识别其作用域。即使你逻辑上认为self是对象实例，也必须在生成的过程签名里显式定义。

错误代码示例 #

macro Name_MacroB*(fieldName: string): untyped =
  result = quote do:
    proc getField(): auto =
      self.`fieldName`  # 错误：self未作为过程参数声明

修正方案 #

在生成的过程中添加self参数，若要绑定到特定对象类型，需指定类型标识：

通用版本

macro Name_MacroB*(fieldName: string): untyped =
  let fieldIdent = ident(fieldName)
  result = quote do:
    proc getField(self: auto): auto =
      self.`fieldIdent`

绑定特定对象类型版本

type MyObj = object
  foo: int

macro Name_MacroC*(T: type, fieldName: string): untyped =
  let fieldIdent = ident(fieldName)
  let typeIdent = ident(T.name)
  result = quote do:
    proc getField(self: `typeIdent`): auto =
      self.`fieldIdent`

# 使用示例
Name_MacroC(MyObj, "foo")
echo MyObj(foo: 42).getField()  # 输出42

内容的提问来源于stack exchange，提问作者Nate Ackerman