定义通用函数类型

Question

给出以下代码段：

type
  Base = object of RootObj
  Consume*[T: Base] = proc(e: T): bool

我想为它定义基本和基本消费者的几种类型，如下所示：

type
  BaseOne = object of Base
  ConsumeOne = Consume[BaseOne]

现在，当我创建一个新的ConsumeOne ：

let co: ConsumeOne = proc(b: BaseOne): bool = false

我得到以下编译器错误： Error: type mismatch: got (proc (b: BaseOne): bool{.gcsafe, locks: 0.}) but expected 'ConsumeOne'

我究竟做错了什么？

Answer 1

问题是类型参数的类型类约束当前与子类型不匹配; 我不知道这是一个bug还是故意的。 现在，只需从类型参数T删除: Base约束。

Answer 2

也许有助于制作消费gcsafe：

Consume*[T: Base] = proc(e: T): bool {.gcsafe.}