如何在F＃界面中声明事件？

Question

现在，在F＃中发布事件的标准方法如下：

type MyDelegate = delegate of obj * EventArgs -> unit

type MyType () =
    let myEvent = new Event<MyDelegate, EventArgs> ()

    [<CLIEvent>]
    member this.OnMyEvent = myEvent.Publish

并且工作正常，包括能够从其他.NET语言中消耗该事件（C＃至少我已经测试过）。 但是如何让这个事件出现在界面中呢？ 这是我正在尝试的......

type MyDelegate = delegate of obj * EventArgs -> unit

type IMyType =
    abstract member OnMyEvent : IEvent<MyDelegate, EventArgs>

type MyType () =
    let myEvent = new Event<MyDelegate, EventArgs> ()

    interface IMyType with
        [<CLIEvent>]
        member this.OnMyEvent = myEvent.Publish

但是这不会编译 - 接口中的成员会导致错误：“找不到与此覆盖相对应的抽象或接口成员”。 我该如何在界面中声明该事件？ 或者是我的成员语法错了吗？

注意 - 这不是关于消耗F＃中的C＃事件或F＃中的一般事件使用 - 接口方面是关键。

Answer 1

您需要在接口和实现上指定CLIEvent属性。

open System;

type MyDelegate = delegate of obj * EventArgs -> unit

type IMyType =
    [<CLIEvent>]
    abstract member OnMyEvent : IEvent<MyDelegate, EventArgs>

type MyType () =
    let myEvent = new Event<MyDelegate, EventArgs> ()

    interface IMyType with
        [<CLIEvent>]
        member this.OnMyEvent = myEvent.Publish

Answer 2

除了thr的答案之外，编写在接口和实现中都不使用 CLIEvent属性的代码也是有效的：

type MyDelegate = delegate of obj * EventArgs -> unit

type IMyType =
    abstract member OnMyEvent : IEvent<MyDelegate, EventArgs>

type MyType () =
    let myEvent = new Event<MyDelegate, EventArgs> ()    
    interface IMyType with
        member this.OnMyEvent = myEvent.Publish

原因是F＃编译器可以通过两种方式编译事件：

• 当您指定属性时，事件将被编译为带有基础add和remove操作的.NET事件（与C＃兼容）。

• 如果未指定该属性，则会将事件编译为.NET属性（带有get ），该属性返回IEvent<'T>类型的值（在F＃核心库中定义）。

因此，您的接口定义必须与实现相匹配（遗​​憾的是，自动推断它非常棘手，因此编译器不这样做）。

你需要哪个选项？ 如果您将代码暴露给C＃，那么您肯定需要CLIEvent 。 如果你只是从F＃中使用它，那么它并不重要 - 但是，当你经常将事件传递给函数时，避免使用它可能更有效 - 例如在myTyp.OnMyEvent |> Event.map (...)
（在第一种表示中，事件需要包装到IEvent<_>对象中，而在第二种情况下，它可以使用属性获取对象）。