泛型推导限制 泛型推导限制 类型 var T 和 typedesc [T] 不能在泛型实例中推断出来。以下是不允许的: proc g [ T ]( f : proc ( x : T ); x : T ) = f ( x ) proc c ( y : int ) = echo y proc v ( y : ...
可转换关系 可转换关系 类型 a 可 隐式 转换到类型 b 如果下列算法返回真: proc isImplicitlyConvertible ( a , b : PType ): bool = if isSubtype ( a , b ) or isCovariant ( a , b ): retu...