自定义强制转换功能和摘要

Question

此代码输出Null<_Test.Bar_Impl_>。我希望它输出Foo，但我明白为什么它不能那样工作。但也许我可以以某种方式克服这个限制。 我的主要目标是创建像cast一样工作的函数，但返回null而不是抛出异常。它应该与摘要一起使用。

class Foo {
}

abstract Bar(Foo) {
}

class MyCast {
    inline static public function doCast<T>(value: Any, type: Class<T>): Null<T> {
        return Std.is(value, type) ? cast value : null;
    }
}

class Test {

    static function main() {
        $type(MyCast.doCast(null, Bar));
    }
}

Answer 1

实际上这样就完全无法工作，因为Std.is(value, AbstractType)总会失败，因为抽象在运行时不再存在。

请参阅https://try.haxe.org/#1Afb5，尤其是：

• 使用@:forward从foo个实例（forward doc）
访问Bar
• 使用from Foo将Foo个实例安全转换为Bar个实例（请参阅implicit cast doc）（请注意，此功能本身可能正是您尝试实现的目标： https://try.haxe.org/#cc903）