f# - 如何在不限于一个文件的情况下在 F# 中实现访问者模式？

Question

以下代码示例演示了 F# 中访问者模式的实现

module VisitorPattern

    type IVisitor =
        abstract Visit : ObjectA -> unit
        abstract Visit : ObjectB -> unit

    and IVisitable =
        abstract InvokeVisit : IVisitor -> unit

    and ObjectA =
        interface IVisitable with
            member this.InvokeVisit (visitor: IVisitor) =
                visitor.Visit(this)

    and ObjectB =
        interface IVisitable with
            member this.InvokeVisit (visitor: IVisitor) =
                visitor.Visit(this)

    type MyVisitor =
        member this.Visit (a : ObjectA) =
            printfn "Visited object A"

        member this.Visit (b : ObjectB) =
            printfn "Visited object B"

这编译得很好，但我们仅限于让所有类型都实现 IVisitable在一个文件中，由于使用了 and关键词。这个关键字似乎是允许相互类型引用所必需的。

有没有办法以不限于一个文件的方式实现这种模式？

(我不是问你是否应该在 F# 中使用这种模式的意见)

编辑:我问这个问题是因为在与 C# 代码进行互操作时访问者模式是相关的。

Answer 1

模式匹配应该以一小部分的复杂性和开销来实现相同的目标。根据我的个人经验，这是在 F# 中实现访问者模式的最佳方式。

type Visitor = A of int | B of int

match a with 
| A x -> 1 * x
| B x -> 2 * x

然后对于一些可能的 C#

private static void Main()
{
    Visitor a = Visitor.A(7)
    switch(a){
        case Visitor.A x:
            x.Item * 1;
            break;
        case Visitor.B x:
            x.Item * 2;
            break;
        default:
            throw new ArgumentOutOfRangeException();
    }
}