excel - 在 F# 中的委托(delegate)、事件、事件处理程序上

Question

如果我看 Control.IEvent<'Delegate,'Args> , 它强加于 'Args那

IEvent<'Delegate,'Args when 'Delegate : delegate<'Args,unit>...>

看 WorkbookBase.NewSheet Event , 其中 WorkbookEvents_NewSheetEventHandler , 类型为 obj-> unit ，可以订阅，我会期待 'Args为 obj 类型在其 F# 类型中。

但是，我看到事件 NewSheet是 IEvent<WorkbookEvents_NewSheetEventHandler, unit> 类型


这有什么可以解释的？

添加答案中提到的规范的摘录:

5.2.8 委托(delegate)约束
显式委托(delegate)约束具有以下形式:

类型:代表

在约束求解(第 14.5 节)期间，如果 type 是委托(delegate)类型 D 且声明类型 D = 的委托(delegate)，则满足约束类型:委托(delegate)对象 * arg1 * ... * argN 和 tupled-arg-type = arg1 * ... * argN。也就是说，委托(delegate)必须匹配 CLI 设计模式，其中发送者对象是事件的第一个参数。

注意:此约束形式的存在主要是为了允许定义与事件编程相关的某些 F# 库函数。它很少直接用于 F# 编程。

委托(delegate)约束并不暗示任何关于子类型的内容。特别是，“委托(delegate)”约束并不意味着该类型是 System.Delegate 的子类型。

委托(delegate)约束仅适用于遵循 CLI 事件处理程序通常形式的委托(delegate)类型，其中第一个参数是“发送者”对象。原因是约束的目的是简化 CLI 事件处理程序向 F# 程序员的呈现。

Answer 1

看how the spec defines委托(delegate)约束:obj sender 参数是隐式的。