Zig语言中如何在switch的else分支捕获标记联合体的指针值？

我定义了一个带标记的联合体类型Event，其成员为不同的指针类型：

const Event = union(EventCode) {
  foo: *const Foo,
  bar: *const Bar,
};

这些指针来自C语言，需要释放内存。我尝试编写通用分支来清理内存，但无法获取指针值。原本以为以下代码可行：

pub fn free(this: Event) void {
  switch (this) {
    // 此分支正常工作
    // .foo => |ptr| std.c.free(@ptrCast(ptr)),

    // 此分支报错
    else => |ptr| std.c.free(ptr),
  }
}

通常switch分支会捕获联合体的值，但else分支似乎捕获的是标记联合体Event本身而非联合体的值，报错信息为：

error: expected type '?*anyopaque', found 'Event'

请问是否有办法无需逐个处理每个分支就能获取实际的指针值？允许使用@相关的底层操作，我不想维护独立的分支块。

可以借助Zig的底层编译时函数，直接通过标记联合体的tag动态获取对应成员的指针值，实现通用的内存释放逻辑，无需逐个编写分支。

方法1：通过@tagName与@field提取指针 #

利用@tagName获取当前激活成员的名称，再用@field取出对应指针值，最后转换为std.c.free兼容的类型：

pub fn free(this: Event) void {
    const member_name = @tagName(this);
    const ptr = @field(this, member_name);
    std.c.free(@ptrCast(*anyopaque, ptr));
}

• @tagName(this)会返回当前联合体激活成员的字符串名（如"foo"或"bar"）
• @field(this, member_name)根据名称取出对应成员的指针值
• @ptrCast将具体指针类型转换为std.c.free要求的*anyopaque类型

方法2：使用@unionValue直接提取成员值 #

Zig的@unionValue函数可直接根据标记提取对应成员的值，写法更简洁：

pub fn free(this: Event) void {
    const tag = this;
    const ptr = @unionValue(Event, tag);
    std.c.free(@ptrCast(*anyopaque, ptr));
}

注意事项 #

• 确保所有Event的成员都是C语言分配的可释放指针，否则会触发内存错误
• 若后续新增指针类型成员，此逻辑无需修改即可自动适配

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