泛型

泛型是 Nim 通过 type parameters “类型参数” 把过程、迭代器或类型参数化的方法。在不同的上下文里，用方括号引入类型参数，或者实例化泛型过程、迭代器及类型。

以下例子展示了如何构建一个泛型二叉树:

  1. type
  2.   BinaryTree*[T] = ref object # 二叉树是具有
  3.                               # 泛型参数 `T` 的泛型类型。
  4.     le, ri: BinaryTree[T]     # 左右子树;可能是nil
  5.     data: T                   # 存储在节点中的数据
  7. proc newNode*[T](data: T): BinaryTree[T] =
  8.   # 节点的构造函数
  9.   result = BinaryTree[T](le: nil, ri: nil, data: data)
  11. proc add*[T](root: var BinaryTree[T], n: BinaryTree[T]) =
  12.   # 向树中插入一个节点
  13.   if root == nil:
  14.     root = n
  15.   else:
  16.     var it = root
  17.     while it != nil:
  18.       # 使用泛型的 `cmp` 过程，比较数据项;
  19.       # 这适用于任意具有 `==` 和 `<` 运算符的类型
  20.       var c = cmp(it.data, n.data)
  21.       if c < 0:
  22.         if it.le == nil:
  23.           it.le = n
  24.           return
  25.         it = it.le
  26.       else:
  27.         if it.ri == nil:
  28.           it.ri = n
  29.           return
  30.         it = it.ri
  32. proc add*[T](root: var BinaryTree[T], data: T) =
  33.   # 便捷过程:
  34.   add(root, newNode(data))
  36. iterator preorder*[T](root: BinaryTree[T]): T =
  37.   # 二叉树预遍历。
  38.   # 使用显式堆栈。
  39.   # (这比递归迭代器工厂更有效).
  40.   var stack: seq[BinaryTree[T]] = @[root]
  41.   while stack.len > 0:
  42.     var n = stack.pop()
  43.     while n != nil:
  44.       yield n.data
  45.       add(stack, n.ri)  # 将右子树push到堆栈上
  46.       n = n.le          # 并跟踪左子树
  48. var
  49.   root: BinaryTree[string]  # 用 `string` 实例化二叉树
  50. add(root, newNode("hello")) # 实例化 `newNode` 和 `add`
  51. add(root, "world")          # 实例化 `add` 过程
  52. for str in preorder(root):
  53.   stdout.writeLine(str)

这里的 T 称为 generic type parameter “泛型类型参数”，或者 type variable “类型变量”。