F# - 代表( Delegates)
优质
小牛编辑
132浏览
2023-12-01
委托是一个引用类型变量,用于保存对方法的引用。 可以在运行时更改引用。 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表示返回类型。
请注意 -
参数类型是自动curry。
代理可以附加到函数值,静态或实例方法。
F#函数值可以作为参数直接传递给委托构造函数。
对于静态方法,通过使用类的名称和方法来调用委托。 对于实例方法,使用对象实例和方法的名称。
委托类型上的Invoke方法调用封装的函数。
此外,通过引用不带括号的Invoke方法名称,可以将委托作为函数值传递。
以下示例演示了该概念 -
例子 (Example)
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