使用Haxe宏为Entity类添加Pool成员遇类型参数错误求助

Let's break down and fix the two issues you're facing with your Haxe macro implementation:

1. Root Causes of the Errors #

• Invalid number of type parameters: Your Pool<T> is a generic class, but when defining the _pool field's type, you used macro: exp.Pool (without the required generic argument). The compiler expects Pool to have exactly one type parameter, which was missing here.
• Missing Class<T> parameter for Pool constructor: You weren't correctly passing the Class<Entity> reference to the Pool's constructor in your macro expression, leaving that argument placeholder empty.

2. Corrected PoolBuilder Implementation #

Here's the fixed version of PoolBuilder.hx with clear explanations for each change:

package exp;
import haxe.macro.Context;
import haxe.macro.Expr;
import haxe.macro.Type;

class PoolBuilder {
    static public macro function build() : Array<Field> {
        var fields = Context.getBuildFields();
        var clazz = Context.getLocalClass();
        
        // 1. Build the generic Pool type using the current class as its parameter
        var poolType = TPath({
            name: "Pool",
            pack: ["exp"],
            params: [TPType(clazz.get().tpath)] // Use the target class's type instead of hardcoding Entity
        });
        
        // 2. Create the Pool instance expression, passing the current class's Class reference
        var poolInstance = macro new $poolType($clazz);
        
        // 3. Define the _pool field with correct generic type and access rules
        fields.push({
            name: "_pool",
            access: [APrivate, AStatic],
            pos: Context.currentPos(),
            kind: FVar(
                macro: $poolType, // Use the fully typed Pool<CurrentClass> here
                poolInstance
            )
        });
        
        return fields;
    }
}

Key Changes Explained #

• Reusable Generic Type: Instead of hardcoding Entity in the Pool's type path, we use clazz.get().tpath to reference the class the macro is applied to. This makes the macro work for any class, not just Entity.
• Correct Constructor Argument: $clazz directly injects the Class<CurrentClass> reference into the Pool constructor, matching its new(clazz:Class<T>) signature perfectly.
• Fixed Field Type: The FVar type is now $poolType (which resolves to exp.Pool<exp.Entity> for your Entity class), eliminating the "invalid number of type parameters" error.

Verification #

After applying these changes, compiling your code will generate a static private _pool field in the Entity class, initialized with new exp.Pool(exp.Entity) exactly as intended.

内容的提问来源于stack exchange，提问作者Nazarí González