在Raku中使用add_attribute()添加属性后访问报错，问题出在哪？

你的代码中，虽然通过.^add_attribute和.^compose更新了元类的属性列表，但遗漏了两个关键操作：更新底层对象存储结构，以及生成属性访问器方法。

问题原因 #

1. Raku的类默认会在首次实例化或组合时固化底层的P6opaque存储布局，动态添加属性后，.^compose仅更新元类的属性元数据，不会同步更新底层存储结构，导致实例无法识别新属性。
2. has_accessor(True)只是标记属性需要访问器，但动态添加属性时，Raku不会自动生成对应的访问器方法（second和second=）。

修复后的代码 #

class Foo {
  has $.first;
}

my $a = Attribute.new(
          :name('$!second'),
          :type(Int),
          :package(Foo),  # 使用类型对象而非字符串，更准确
          :has_accessor(True)
        );
Foo.^add_attribute($a);
Foo.^compose;
Foo.^reify;  # 关键：重新生成底层对象存储布局

# 手动生成访问器方法
my $attr-name = $a.name.substr(2);  # 提取属性名（去掉$!前缀）
# 添加读取访问器
Foo.^add_method($attr-name, method () {
  self.attribute($a.name)
});
# 添加写入访问器
Foo.^add_method("{$attr-name}=", method ($value) {
  self.attribute($a.name) = $value
});

Foo.^attributes».say; # Mu $!first␤Int $!second␤

my $foo = Foo.new: :42first, :21second;

$foo.second.say; # 输出21

关键操作说明 #

• .^reify：触发元类重新构建底层的P6opaque对象布局，让新添加的属性能被实例对象正确存储和访问。
• 手动生成访问器：动态添加属性时，需要手动创建读取和写入方法，通过self.attribute($attr-name)来操作属性值，模拟编译期定义has $.second时自动生成的访问器逻辑。

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