如何让两个方法互相调用？

Question

我对如何让两个方法相互调用有点困惑（即让 A() 调用 B() 和 B()< /code> 调用 A())。 似乎 F# 仅在代码中遇到该方法后才“看到”该方法，因此如果没有，它只是表示值或构造函数尚未定义。

我在这里错过了一些非常基本的东西吗？

Answer 1

“let rec...and...”是您需要的语法。

let rec F() = 
    G()
and G() =
    F()

另请参阅F# 联合递归中的冒险< /a>.

Answer 2

由于问题是关于方法的，而 Brian 的答案是关于函数的，也许指出您可以对类型使用类似的语法是有用的：

type A() =
    let b = new B()
    member x.MethodA() = b.MethodB()
and B() =
    member x.MethodB() = ()

另请注意，默认情况下成员是“let rec”（事实上，我不认为它们不能是递归的）。

Answer 3

F# 4.1 引入了 相互递归的模块和命名空间。

它们是 and 关键字的替代方案。

module rec PingPong = // <------ rec keyword here.

    let pong() = 
        printfn "pong"
        ping() 

    let ping () = 
        printfn "ping"
        pong()

rec 关键字定义“允许所有包含的代码相互递归”的模块和命名空间。

Answer 4

通过 let 声明的函数

let rec a () = b ()
and b () = ()

这些是相互递归函数。

同一类型内的方法

type T () =
    member t.A () = t.B()
    member t.B () = ()

这很简单； 它就是有效的。 请注意 Abel 的评论。

不同类型中的方法

type TypeA () =
    member t.A (b : TypeB) = b.B()

and TypeB () =
    member b.B () = ()

这对相互递归类型使用 type ... and 语法。

注意

通常，仅当呼叫发生在两个方向时才使用 and。 否则，最好重新排序声明，使被调用的函数排在前面。 避免循环依赖并且在不使用它们的地方不暗示它们通常有助于类型推断和可读性。

我建议编辑问题以询问一般功能，或询问不同类型（在这种情况下，我会从此答案中删除前两种情况）。 方法通常被认为是函数的子集，这是通用的数学术语。 然而，从技术上讲，所有 F# 函数都是 CLI 方法，因为这就是它们编译的目的。 事实上，目前尚不清楚问题的要求是什么，但我从接受的答案中假设它不仅要求方法，正如标题所暗示的那样。