F# 活动模式作为非静态成员

Question

我不确定是否允许非静态公共成员活动模式，但您可以定义它们而不会引起编译器的抱怨。如果允许的话，匹配的语法是什么？编译器给我 FooBar2.doSomething 中的 Foo 类型不匹配。期待 'a ->给定 'a -> 选择<'b,'c> 'd->选择<单位,单位>

// No error in this class, static works great
type FooBar() = 
    static member (|Foo|Bar|) (x, y) =
        match x = y with
        | true -> Foo
        | false -> Bar

    member x.doSomething y =
        match x, y with
        | Foo -> ()
        | Bar -> ()

type FooBar2() = 
    member x.(|Foo|Bar|) y =
        match x = y with
        | true -> Foo
        | false -> Bar

    // compiler error on "Foo"    
    member x.doSomething y =
        match y with
        | Foo -> ()
        | Bar -> ()

Answer 1

活动模式不应用作成员。事实上，这些编译器完全是一个编译器错误，我们将修复该错误（感谢您的报告:)）。使用本地或模块绑定的“let”来定义活动模式。

Answer 2

我对此不起作用并不感到惊讶，而且我看不到例如活动模式的自然语义解释。当您看到 Foo 模式时，如何知道要使用哪个实例？您是否可以为 Foo 和 Bar 案例提供不同的实例（因此模式匹配不完整）？这里的问题似乎没有一个优雅的解决方案。老实说，我很惊讶即使是静态情况也能工作，而且我在规范中没有看到任何内容将活动模式的定义作为任何类型的成员。

Answer 3

成员识别器似乎从 1.9.9.9 版本开始就不再存在了。即使对于静态成员也是如此。我认为这是一种耻辱，因为它允许识别器过载。我可以有一个用于类型、MemberInfo 等的“名称”识别器。现在我需要有一个“Type_Name”。 'Member_Name' 等以避免命名冲突。只是“名字”更好。