Question

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

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]

如果我用echo bazObj(troz).x替换第22行，当我编译时，我得到：

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

Answer 1

好的，所以我稍微改变了我的方法，改为使用对象变体。我还不确定我上面尝试的是否应该起作用。

我尝试实现的是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

在Nim中使用泛型转换类型时的ObjectConversionError

1 个答案: