泛型符号查找

开放和封闭的符号

泛型中的符号绑定规则比较微妙：有“开放”和“封闭”符号。 “封闭”符号不能在实例化上下文中重新绑定，“开放”符号可以。 默认重载符号是打开的，每个其他符号都是关闭的。

在两个不同的上下文中查找开放符号：定义上下文和实例化时的上下文都被考虑：

  1. type
  2.   Index = distinct int
  3.  
  4. proc `==` (a, b: Index): bool {.borrow.}
  5.  
  6. var a = (0, 0.Index)
  7. var b = (0, 0.Index)
  8.  
  9. echo a == b # 可以了

在示例中，元组的通用 == （在系统模块中定义）使用元组组件的 == 运算符。 但是， Index 类型的 == 是在元组的 ==之后 定义的;然而，该示例编译为实例化也将当前定义的符号考虑在内。