F#代表
delegate是保存对方法的引用的引用类型变量。 可以在运行时更改引用。 F#的delegate类似于C或C ++中的函数指针。
delegate声明
delegate声明确定委托可以引用的方法。 可以引用具有与delegate相同的签名的方法。
delegate声明的语法是
delegate声明
delegate声明确定委托可以引用的方法。 可以引用具有与delegate相同的签名的方法。
delegate声明的语法是
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
这两个delegate可以用于引用任何有两个参数的方法,并返回aninttype变量。
在语法中
TYPE1表示参数类型(S)。
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