F# - 代表

---

委托是一个引用类型变量，它保存对方法的引用。可以在运行时更改引用。F# 委托类似于 C 或 C++ 中的函数指针。

宣布代表

委托声明决定了委托可以引用的方法。委托可以引用与委托具有相同签名的方法。

委托声明的语法是 -

type delegate-typename = delegate of type1 -> type2

例如，考虑代表 -

// Delegate1 works with tuple arguments.
type Delegate1 = delegate of (int * int) -> int

// Delegate2 works with curried arguments.
type Delegate2 = delegate of int * int -> int

这两个委托都可用于引用具有两个int参数并返回int类型变量的任何方法。

在语法中 -

• type1表示参数类型。

• type2表示返回类型。

请注意 -

• 参数类型会自动柯里化。

• 委托可以附加到函数值、静态或实例方法。

• F# 函数值可以直接作为参数传递给委托构造函数。

• 对于静态方法，通过使用类和方法的名称来调用委托。对于实例方法，使用对象实例和方法的名称。

• 委托类型上的 Invoke 方法调用封装的函数。

• 此外，可以通过引用不带括号的 Invoke 方法名称来将委托作为函数值传递。

下面的例子演示了这个概念 -

例子

type Myclass() =
   static member add(a : int, b : int) =
      a + b
   static member sub (a : int) (b : int) =
      a - b
   member x.Add(a : int, b : int) =
      a + b
   member x.Sub(a : int) (b : int) =
      a - b

// Delegate1 works with tuple arguments.
type Delegate1 = delegate of (int * int) -> int

// Delegate2 works with curried arguments.
type Delegate2 = delegate of int * int -> int

let InvokeDelegate1 (dlg : Delegate1) (a : int) (b: int) =
   dlg.Invoke(a, b)
let InvokeDelegate2 (dlg : Delegate2) (a : int) (b: int) =
   dlg.Invoke(a, b)

// For static methods, use the class name, the dot operator, and the
// name of the static method.
let del1 : Delegate1 = new Delegate1( Myclass.add )
let del2 : Delegate2 = new Delegate2( Myclass.sub )
let mc = Myclass()

// For instance methods, use the instance value name, the dot operator, 
// and the instance method name.

let del3 : Delegate1 = new Delegate1( mc.Add )
let del4 : Delegate2 = new Delegate2( mc.Sub )

for (a, b) in [ (400, 200); (100, 45) ] do
   printfn "%d + %d = %d" a b (InvokeDelegate1 del1 a b)
   printfn "%d - %d = %d" a b (InvokeDelegate2 del2 a b)
   printfn "%d + %d = %d" a b (InvokeDelegate1 del3 a b)
   printfn "%d - %d = %d" a b (InvokeDelegate2 del4 a b)

当您编译并执行该程序时，它会产生以下输出 -

400 + 200 = 600
400 - 200 = 200
400 + 200 = 600
400 - 200 = 200
100 + 45 = 145
100 - 45 = 55
100 + 45 = 145
100 - 45 = 55