泛型符号查找
开放和封闭的符号
泛型中的符号绑定规则比较微妙:有“开放”和“封闭”符号。 “封闭”符号不能在实例化上下文中重新绑定,“开放”符号可以。 默认重载符号是打开的,每个其他符号都是关闭的。
在两个不同的上下文中查找开放符号:定义上下文和实例化时的上下文都被考虑:
- type
- Index = distinct int
- proc `==` (a, b: Index): bool {.borrow.}
- var a = (0, 0.Index)
- var b = (0, 0.Index)
- echo a == b # 可以了
在示例中,元组的通用 == (在系统模块中定义)使用元组组件的 == 运算符。 但是, Index 类型的 == 是在元组的 == 之后 定义的;然而,该示例编译为实例化也将当前定义的符号考虑在内。