主页 / user-3120555

Nate Ackerman's questions

Martin Hope
Nate Ackerman
Asked: 2023-12-17 17:05:20 +0800 CST
  • 6

我试图在宏中使用 nnkDotExpr 并收到错误。具体来说，我正在尝试编写一个宏，它将编写一个返回特定字段的过程。我尝试了三种方法，但似乎都失败了，我不知道为什么。

这是我的代码。

import macros 

type
    Test_Type = object of RootObj
        Name_HIDDEN: string

macro Name_MacroA*(vType: untyped): untyped =
    var tName = nnkDotExpr(ident("self"), ident("Name_HIDDEN"))
    
    quote do:
        proc Name*(self: var `vType`): string =
            return `tName`

macro Name_MacroB*(vType: untyped): untyped =
    var tName = newNimNode(nnkDotExpr)
    tName.add(ident("self"))
    tName.add(ident("Name_HIDDEN"))

    quote do:
        proc Name*(self: var `vType`): string =
            return `tName`

macro Name_MacroC*(vType: untyped): untyped =
    var tName = nnkDotExpr.newTree(ident("self"), ident("Name_HIDDEN"))

    quote do:
        proc Name*(self: var `vType`): string =
            return `tName`

Name_MacroB(Test_Type)

var tTest: Test_Type
tTest.Name_HIDDEN = "Hello"
echo tTest.Name

当我使用 Name_MacroA 时，出现错误：

Error: attempting to call routine: 'nnkDotExpr'
  found 'nnkDotExpr' [enumField declared in /usr/local/Cellar/nim/2.0.0_1/nim/lib/core/macros.nim(45, 5)]

Name_MacroA 尝试匹配 Nim Macros中 nnkDotExpr 引用中的代码。

当我使用 Name_MacroB 或 Name_MacroC 时，出现错误：

template/generic instantiation of `Name_MacroB` from here test4.nim(17, 20) Error: undeclared identifier: 'self'
candidates (edit distance, scope distance); see '--spellSuggest': 
 (2, 4): 'del'
 (2, 4): 'ref'
 (2, 4): 'send'

Name_MacroB 是尝试匹配Nim Macros中的代码

Name_MacroC 是尝试匹配来自Nim Macros 的代码

macros
Martin Hope
Nate Ackerman
Asked: 2023-11-27 14:44:55 +0800 CST
  • 5

在 Nim 中工作时，我对模板的直觉是，在编译时，它们只是简单地扩展到代码中（通过适当的替换）。但是下面的代码：

type
    New_Type = ref object of RootObj

template Template_Procedure(T: untyped, vProc: bool = true) = 

    proc ProcedureA(self:var T, vInt: var int): int 

    when vProc == true:
        proc ProcedureA(self:var T, vInt: var int): int =
            var tReturn = vInt * vInt 
            return tReturn

    proc ProcedureB(self: var T, vInt: var int): int = 
        var tI = ProcedureA(self, vInt)
        return 2 * tI 

Template_Procedure(New_Type, vProc = false)

proc ProcedureA(self:var New_Type, vInt: var int): int =
    var tReturn = vInt * vInt * vInt
    return tReturn

var tNew = new(New_Type)
var tInt = 5
echo $ProcedureB(tNew, tInt)

给出错误：

test3.nim(9, 10) Error: implementation of 'test3.ProcedureA(self`gensym0: var New_Type, vInt`gensym0: var int)' expected

然而如果我打电话

Template_Procedure(New_Type, vProc = true)

那么就没有错误了。

相反，如果我手动将模板的文本替换为调用它的位置，则会发生相反的情况。即，如果我将 vProc 替换为 false，则代码将编译并收到错误

Error: redefinition of 'ProcedureA'; previous declaration

如果我用 true 代替 vProc。

有人可以向我解释我对模板的直觉在哪里不正确吗？（或给我适当的参考资料）

另外，有没有一种方法可以编写在编译时简单扩展的代码？

具体来说，我希望能够调用 Template_Procedure(X, vProc = false)，其中 X 是一种类型，然后，对于适当的类型 X，手动编写特定的

ProcedureA(self: var X, vInt var int): int

程序。对于其他X，只需调用Template_Procedure(X)，而不必手动定义ProcedureA。

templates