如何在Haxe中无开销无样板创建类型安全Lua字典表？

我正在为需要传入字典表的Lua库编写externs，目标是实现类型安全。目前有两种尝试，但都存在问题：

• 使用带公开内联构造函数的抽象类：可以编译出干净的Lua表，但样板代码过于繁琐。当前实现代码如下：

abstract JobOpts(Table<String, Dynamic>) {
    public inline function new(command:String, args:Array<String>) {
        this = Table.create(null, {
            command: command,
            arguments: Table.create(args)
        });
    }
}

• 使用typedef或匿名结构：虽然写法简洁，但编译后会生成带冗余字段（如__fields__）的表，还会调用_hx_o函数分配元表，无法生成符合要求的干净Lua代码，示例如下：

-- typedef X = {cmd: String} 编译后输出
_hx_o({__fields__={cmd=true},cmd="Yo"})

希望找到一种既能保持类型安全、生成干净Lua表，又能减少样板代码的方案。

优化方案 #

以下几种方法可以在满足需求的同时大幅减少样板代码：

1. 利用@:structInit元数据简化构造 #

给抽象类添加@:structInit元数据，Haxe会自动生成基于结构体的构造逻辑，无需手动编写new函数，同时保持类型检查：

@:structInit
abstract JobOpts(Table<String, Dynamic>) {
    public var command:String;
    public var arguments:Array<String>;

    inline function new() {
        this = Table.create();
    }
}

// 使用方式
var opts = new JobOpts({command: "echo", arguments: ["hello world"]});

编译后会直接生成干净的Lua表，无任何冗余字段或额外函数调用。

2. 通用静态工厂方法复用逻辑 #

定义一个基础抽象类封装Table.create逻辑，具体的Opts类只需声明字段即可，大幅减少重复代码：

abstract BaseOpts(Table<String, Dynamic>) {
    inline static function create<T:BaseOpts>(data:Dynamic):T {
        return cast Table.create(null, data);
    }
}

// 具体的Opts类仅需声明字段
abstract JobOpts(BaseOpts) {
    public var command:String;
    public var arguments:Array<String>;
}

abstract OtherOpts(BaseOpts) {
    public var timeout:Int;
    public var verbose:Bool;
}

// 使用方式
var jobOpts = JobOpts.create({command: "ls", arguments: ["-la"]});
var otherOpts = OtherOpts.create({timeout: 30, verbose: true});

3. 隐式转换实现匿名结构直接赋值 #

通过@:implicit定义隐式转换函数，允许直接将匿名结构赋值给抽象类变量，既保留类型检查，又无需手动调用构造：

abstract JobOpts(Table<String, Dynamic>) {
    public var command:String;
    public var arguments:Array<String>;

    @:implicit
    inline static function fromStruct(s:{command:String, arguments:Array<String>}):JobOpts {
        return cast Table.create(null, s);
    }
}

// 使用方式，直接用匿名结构赋值，Haxe会自动做类型检查
var opts:JobOpts = {command: "git", arguments: ["clone", "repo-url"]};

这种方式写法最简洁，编译后同样生成纯Lua表，完全符合需求。

方案原理 #

抽象类直接映射到Haxe的Table类型，编译到Lua时会被转换为原生表，不会添加任何Haxe特定的元数据或包装函数。上述优化方法通过利用Haxe的元数据、inline函数和隐式转换特性，在保持类型安全的同时，消除了重复的样板代码。

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