Nim中为两个对象类型共享init proc时赋值报错的问题

你的问题出在变体类型（Attribute|Attributes）作为var参数时，无法直接访问具体类型的字段。即使通过is判断了self是Attributes类型，编译器依然不会将变体类型的self视为具体的Attributes变量，直接访问self.all会触发类型安全检查错误。

解决方法 #

通过显式类型转换，将变体类型的self转换为具体的var Attributes引用，再修改其字段。以下是两种简洁的实现方式：

方式1：类型转换+重新赋值

type Attribute* = object
  field: float

type Attributes* = object
  all: Table[string, Attribute]

proc init* (self: var Attribute|Attributes, values: openarray[float]=[]) =
  if self is Attribute:
    # 处理Attribute初始化逻辑
    self[] = Attribute(field: if values.len > 0: values[0] else: 0.0)
  elif self is Attributes:
    # 先转换为具体类型，修改后再赋值回变体
    var attrs = self[] as Attributes
    attrs.all = initTable[string, Attribute]()
    self[] = attrs
  else:
    discard

方式2：指针直接修改（更高效）

type Attribute* = object
  field: float

type Attributes* = object
  all: Table[string, Attribute]

proc init* (self: var Attribute|Attributes, values: openarray[float]=[]) =
  if self is Attribute:
    self[] = Attribute(field: if values.len > 0: values[0] else: 0.0)
  elif self is Attributes:
    # 通过指针强制转换后直接修改字段
    cast[ptr Attributes](addr self)^.all = initTable[string, Attribute]()
  else:
    discard

关键说明 #

Nim的变体类型（sum type）设计为类型安全的，即使在分支中做了类型判断，编译器也不会自动将变体参数降级为具体类型。必须通过显式转换，明确告诉编译器你确认当前变体的具体类型，才能安全访问其字段。

内容的提问来源于stack exchange，提问作者Francesco