使用可变的varargs在NIM中无法正常工作

Question

试图制定一个简单的过程来修改NIM中的一个可变数量的参数（例如，从输入初始化许多变量）。

proc Read(outputVars: var varargs[int]) =
    for v in outputVars.mitems:
        v = 3

var
    a, b, c : int

Read(a, b, c)

但是，编译器不喜欢这种编译器并输出：

Error: type mismatch: got <int, int, int>
but expected one of:
proc Read(outputVars: var varargs[int])
  first type mismatch at position: 1
  required type for outputVars: var varargs[int]
  but expression 'a' is of type: int
  
expression: Read(a, b, c)

如何制作一个程序来接受可变数量的可变参数？

Answer 1

之所以不起作用，是因为varargs是引擎盖下的数组。即使可能是可变的，这些值仍然必须复制到数组中，因此更新它们也不会更新原始变量。

IMO表达您的示例的正确“安全”方法将是varargs [var int]，即向整数的一系列可变视图。但这也不起作用，因为nim's /a>功能仍然是实验性的。

工作的一个不太安全的解决方案，正在使用a 胁迫varargs 指向整数的指针。例如：

proc varIntAddr(n: var int): ptr int =
  addr n

proc read(outputVars: varargs[ptr int, varIntAddr]) =
  for v in outputVars:
    v[] = 3

var a, b, c: int

read(a, b, c)

echo (a, b, c)

在这里，如果您传递了可变的整数，varintaddr将被隐式地应用于他们，以将其地址添加到数组中。

您也可以像这样一概而论：

proc varAddr[T](n: var T): ptr T =
  addr n