Haxe泛型函数中的不同代码路径

Question

假设我想在Haxe中创建一个带有Flash ByteArray和Array的通用内联函数。

@:generic public static inline function WriteArray<T:(UInt, Int, Float)>(ba:ByteArray, array:Array<T>):Void
{
    if (array == null)
    {
        ba.writeInt(-1);
    }
    else
    {
        ba.writeInt(array.length);
        for (i in 0...array.length)
        {
            // here is where I have a problem
            // ba.writeUnsignedInt(array[i]); if T is UInt
            // ba.writeDouble(array[i]); if T is Float
            // ba.writeInt(array[i]); if T is Int
        }
    }
}

所以，我需要一些方法让每个生成的函数在那里使用不同的行。 此代码需要具有高性能，因此不能选择对类型进行运行时检查。 我也无法传递哪个write函数用作参数（ writeFunc:T->Void ）b / c我们当前正在编译Flash，而Flash每次引用函数时都会创建一个MethodClosure对象，并且垃圾收集器不能很好地处理它们（无论函数是否内联，都会发生这种情况）。 我也尝试过使用宏，但你不能在宏内部的flash库中使用任何东西（我有类似的函数来编写flash向量，我们仍然使用flash的ByteArray实现）。 我希望有一种方法可以在编译时获得T ，但我发现所有的都是${type} ，我认为你不能有条件地使用它。

那么，有没有办法让该函数在ByteArray上调用正确的write方法而不创建对该函数的引用？ 它不一定要使用@:generic ，但我认为约束会有所帮助。 其他实施想法也将受到欢迎。 现在我只有3个版本的相同功能，而c / p'd代码让我呕吐在我的嘴里。

Answer 1

我也试过使用宏，但你不能在宏内的flash库中使用任何东西

这并不完全正确：您实际上无法在宏中使用 Flash API，但您可以生成使用它的代码 。 您只需确保不将其添加为文件顶部的import -statement，而是使用完全限定名称（ flash.utils.ByteArray ）。

这是一个简单的例子：

import haxe.macro.Context;
import haxe.macro.Expr.Access;
import haxe.macro.Expr.FieldType;

class Macro {
    public static function build() {
        var fields = Context.getBuildFields();
        fields.push({
            name:  "byteArray",
            access:  [Access.APublic, Access.AStatic],
            kind: FieldType.FVar(macro:flash.utils.ByteArray, null), 
            pos: Context.currentPos(),
        });
        return fields;
    }
}

......产生：

public static var byteArray:flash.utils.ByteArray;