可变参数

可变参数

一个可变参数就像是一个openarray参数。然而，它也是一种方式实现传递可变的参数个数给一个过程。编译器自动地将参数列表转换为一个数组。

proc myWriteln(f: File, a: varargs[string]) =
  for s in items(a):
    write(f, s)
  write(f, "\n")

myWriteln(stdout, "abc", "def", "xyz")
# is transformed by the compiler to:
myWriteln(stdout, ["abc", "def", "xyz"])

如果变参数在程序头中是最后一个参数这个转变才会发生。它也可能在这样的背景下执行类型转换：

proc myWriteln(f: File, a: varargs[string, `$`]) =
  for s in items(a):
    write(f, s)
  write(f, "\n")

myWriteln(stdout, 123, "abc", 4.0)
# is transformed by the compiler to:
myWriteln(stdout, [$123, $"def", $4.0])

在这个例子中$应用于任何参数，它被传递给参数a。注意：$应用于字符串是一个nop。

片段 片段在语法中类似与子界类型，但是它用于一个不同的背景下。一个片段仅仅是一个类型对象，它包含两个边界，a和b。一个片段本身不是非常有用，但是其他的集合类型定义操作接受片段对象定义范围。

var
  a = "Nim is a progamming language"
  b = "Slices are useless."

echo a[7..12] # --> 'a prog'
b[11..^2] = "useful"   (“-”号已换成”^”)    注：版本v0.10.2中使用b[11.. -2] = "useful"
echo b # --> 'Slices are useful.'

在上面的例子中，片段被用于修改一个字符串的一部分，甚至使用了一个负数索引。片段边界可以容纳任何值的支持通过它们的类型，但是这是过程使用了片段对象，它定义了接受什么样的值。