Question

我想在Haxe中进行编译时断言。做一些像这样的事情会很好：

static inline var important_number = 42;

public function f():Void {
    static_assert(important_number > 64, "important number is too small for this implementation!");
}

我的问题是：Haxe宏是否是正确的路径，否则在Haxe中进行编译时断言的最佳方法是什么？

下面我有一个宏，它适用于此，如果你只是传递它真/假（虽然我想它应该什么都不返回或noop）。但是我不确定如何使这个工作更常见的情况是＆＃34;在编译时最终成为布尔值的任何事情＆＃34;。

class Assert {
/* Static assert */
macro static public function s(e:Expr, errorString:String):Expr {
    switch(e.expr) {
        case EConst(c):
            switch(c) {
                case CIdent("true"):
                    return e;
                case CIdent("false"):
                    throw new Error(errorString, e.pos);
                default:
                    throw new Error("I only accept true/false right now", e.pos);
            }
        default:
            throw new Error("I only accept true/false right now", e.pos);
    }
}
}

Assert.s(false, "yep, it's a compile time error");
Assert.s(true, "business as usual");
Assert.s(6 == 9, "i don't seem to work yet");

更新1：

＃error可以用于一些简单的情况，例如：

#if ios
    trace("it just works!");
#else
    #error("you didn't implement this yet!");
#end

解决方案：

所以这就是我现在使用的，可能有一些警告，但它似乎适用于简单的静态断言：

import haxe.macro.Context;
import haxe.macro.Expr;
import haxe.macro.ExprTools;

class Assert {
    /* Static assert */
    macro static public function s(expr:Expr, ?error:String):Expr {
        if (error == null) {
            error = "";
        }

        if (expr == null) {
            throw new Error("Expression must be non-null", expr.pos);
        }

        var value = ExprTools.getValue(Context.getTypedExpr(Context.typeExpr(expr)));

        if (value == null) {
            throw new Error("Expression value is null", expr.pos);
        }
        else if (value != true && value != false) {
            throw new Error("Expression does not evaluate to a boolean value", expr.pos);
        }
        else if(value == false) {
            throw new Error("Assertion failure: " + ExprTools.toString(expr) + " " + "[ " + error + " ]", expr.pos);
        }

        return macro { };
    }
}

Answer 1

要评估Expr并在编译时获取它的值，我们可以使用ExprTools.getValue。看看source，它实际上使用的技术类似于问题中发布的技术。

使其更加健壮，我们可以执行ExprTools.getValue(Context.getTypedExpr(Context.typeExpr(expr)))，以便解析expr内的所有内联变量甚至宏函数。

要返回无操作，我们只需return macro {};。

Haxe有什么类似C ++ static_assert的东西吗？

1 个答案: