如何在Zig中于编译期创建数组及错误类型

问题分析 #

你的代码核心问题是在编译期函数中使用了运行时堆分配：

• std.heap.GeneralPurposeAllocator是运行时分配器，编译期无法调用。
• ArrayList的动态分配操作（append、toOwnedSlice）属于运行时行为，编译期不允许这类内存操作。

Zig要求编译期函数的所有操作必须是编译期可求值的，结果必须静态确定，不能依赖运行时的动态内存分配。

解决方案 #

要在编译期创建错误类型，需要基于固定长度的编译期数组构建错误集合，以下是两种常见场景的实现：

场景1：错误名称来自外部文件 #

如果错误名称存储在文件中（每行一个错误名），可以通过@embedFile在编译期读取文件内容，统计错误数量后构建固定数组：

const std = @import("std");

pub fn getErrorSet() type {
    // 编译期读取错误名称文件
    const error_file_content = @embedFile("errors.txt");

    // 编译期统计有效错误名称的数量
    const error_count = comptime blk: {
        var count: usize = 0;
        var line_iter = std.mem.split(u8, error_file_content, "\n");
        while (line_iter.next()) |line| {
            if (line.len > 0) count += 1;
        }
        break :blk count;
    };

    // 创建固定长度的错误条目数组并填充
    var error_entries: [error_count]std.builtin.Type.Error = undefined;
    var line_iter = std.mem.split(u8, error_file_content, "\n");
    var index: usize = 0;
    while (line_iter.next()) |line| {
        if (line.len == 0) continue;
        error_entries[index] = .{ .name = line };
        index += 1;
    }

    // 生成错误集合类型
    return @Type(.{ .ErrorSet = &error_entries });
}

test "compile-time error set from file" {
    const MyErrors = getErrorSet();
    // 验证错误类型可访问
    _ = MyErrors.Error1;
}

场景2：错误名称来自编译期常量数组 #

如果错误名称来自其他Zig文件的常量数组，直接基于该数组构建错误集合即可：

const std = @import("std");

// 假设该数组来自其他导入的文件
const external_error_names = [_][]const u8{ "Error1", "Error2", "Error3" };

pub fn getErrorSet() type {
    var error_entries: [external_error_names.len]std.builtin.Type.Error = undefined;
    for (external_error_names, 0..) |name, i| {
        error_entries[i] = .{ .name = name };
    }
    return @Type(.{ .ErrorSet = &error_entries });
}

test "compile-time error set from constant array" {
    const MyErrors = getErrorSet();
    _ = MyErrors.Error2;
}

关键要点 #

• 编译期函数不能使用运行时分配器，必须依赖静态确定的内存（固定长度数组）。
• 所有用于构建错误集合的数据必须在编译期可获取（@embedFile、编译期常量等）。
• 使用@Type(.{ .ErrorSet = &数组 })将错误条目数组转换为错误集合类型。

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