如何在Haxe中编写相互递归的函数

Question

我试图在Haxe 3中编写一个简单的相互递归函数，但是无法获得编译代码，因为首先出现的相互函数中的任何一个都会报告该组中的其他函数未定义。 下面是一个最小的例子，其中使用odd和even相互定义的函数来确定奇偶校验。

static public function test(n:Int):Bool  {
    var a:Int;
    if (n >= 0) a = n; else a = -n;

    function even(x:Int):Bool {
        if (x == 0)
            return true;
        else
            return odd(x - 1);
    }
    function odd(x:Int):Bool {
        if (x == 0)
            return false;
        else
            return even(x - 1);
    }
    return even(a);
}

试图将其编译为neko给出：

../test.hx:715: characters 11-14 : Unknown identifier : odd
Uncaught exception - load.c(181) : Module not found : main.n

我试着给的向前声明odd之前even作为一个会在C做/ C ++，但它似乎是在haxe3非法的。 如何定义上面的相互递归函数？ 有可能吗？

注意：我希望将odd和even都包含在全局可见函数test中的本地函数中。

谢谢，

Answer 1

您可以使用myFn = function() {}语法，而不是将function myFn() {}用于局部变量。 然后，您可以在使用它们之前声明函数类型signiatures。

您的代码现在应该如下所示：

static public function test(n:Int):Bool  {
    var a:Int;
    if (n >= 0) a = n; else a = -n;

    var even:Int->Bool = null;
    var odd = null; // Leave out the type signiature, still works.
    even = function (x:Int):Bool {
        if (x == 0)
            return true;
        else
            return odd(x - 1);
    }
    odd = function (x:Int):Bool {
        if (x == 0)
            return false;
        else
            return even(x - 1);
    }
    return even(a);
}

这是有效的，因为Haxe只需知道even和odd存在，并在使用之前设置为某些东西（即使它为空）。 我们知道在实际调用之前我们会将它们都设置为可调用函数。

请参阅haxe： http ：//try.haxe.org/#E79D4