2

当我制作一个简单的类层次结构时，例如：

type
  fooObj = ref object {.inheritable.}
  barObj = ref object of fooObj
  bazObj = ref object of fooObj
    x: string

var troz: fooObj

let bar = barObj()
let baz = bazObj(x: "yes")

echo bar[]
# ()
echo baz[]
# (x: yes)
troz = bar 
echo troz[]
# ()
troz = baz 
echo troz[]
# ()
echo bazObj(troz).x
#yes

x访问该类型的成员变量时，我得到了预期的输出（显示在行中）bazObj。

当我制作类似的层次结构但使用泛型时，代码编译得很好，但会引发ObjectConversionError异常。我的语法错了吗？或者这种类型的对象转换是否在 Nim 中不支持泛型？

type
  fooObj[T] = ref object {.inheritable.}
  barObj[T] = ref object of fooObj[T]
  bazObj[T] = ref object of fooObj[T]
    x: T

var troz: fooObj[system.string]

let bar = barObj[system.string]()
let baz = bazObj[system.string](x: "yes")

echo bar[]
# ()
echo baz[]
# (x: yes)
troz = bar 
echo troz[]
#()
troz = baz 
echo troz[]
#()
echo bazObj[system.string](troz).x
#Traceback (most recent call last)
#foo.nim(22)           foo
#Error: unhandled exception: invalid object conversion [ObjectConversionError]

如果我将第 22 行替换为echo bazObj(troz).x，则编译时会得到：

foo.nim(22, 13) Error: type mismatch: got (fooObj[system.string]) but expected 'bazObj'
4

1 回答 1

2

好的，所以我稍微改变了我的方法，改为使用对象变体。我仍然不确定我在上面尝试的内容是否可行。

我试图实现的是Scala 和其他语言中可用的基本类型Option或类型。Maybe

这就是我最终实现的，它不完全是“真正的”Option类型，但它适用于我目前想做的事情。

type
  OptionKind = enum
    okNone,
    okSome
  Option*[T] = ref OptionObj[T]
  OptionObj[T] = object
    isDefined: bool
    case kind: OptionKind
    of okNone: discard
    of okSome: x: T

proc None*[A](): Option[A] =
  Option[A](kind: okNone)

proc Some*[A](x: A): Option[A] =
  Option[A](kind: okSome, x: x, isDefined: true)

proc isSome*[A](x: Option[A]): bool =
  x.isDefined

proc isNone*[A](x: Option[A]): bool =
  not x.isDefined

proc get*[A: Option, B](this: A): B =
  if this.isNone:
    raise newException(NoSuchElement, "Failed to get from None")
  this.x

proc getOrElse*[A: Option, B](this: A, default: B): B =
  if this.isSome:
    this.x
  else:
    default

proc isEmpty*[A: Option](this: A): bool =
  not this.isDefined

type NoSuchElement* = object of Exception
于 2015-05-13T09:21:04.127 回答