F#代表

2018-12-16 10:39 更新

delegate是保存對方法的引用的引用類型變量。 可以在運(yùn)行時更改引用。 F#的delegate類似于C或C ++中的函數(shù)指針。
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可以用于引用任何有兩個參數(shù)的方法,并返回aninttype變量。

在語法中 

  • TYPE1表示參數(shù)類型(S)。

  • TYPE2代表的返回類型。

請注意 

  • 參數(shù)類型自動令行禁止。

  • 代表可以附著到函數(shù)值,以及靜態(tài)或?qū)嵗姆椒ā?

  • F#函數(shù)值可以直接作為參數(shù)傳遞給委托構(gòu)造函數(shù)。

  • 對于靜態(tài)方法委托是通過使用類和方法的名稱叫。一個實例方法中,使用對象實例和方法的名稱。

  • 在委托類型的Invoke方法調(diào)用封裝的功能。

  • 此外,代表們可以作為函數(shù)值通過引用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)

當(dāng)你編譯和執(zhí)行程序,它產(chǎn)生以下輸出 

400 + 200 = 600
400 - 200 = 200
400 + 200 = 600
400 - 200 = 200
100 + 45 = 145
100 - 45 = 55
100 + 45 = 145
100 - 45 = 55
以上內(nèi)容是否對您有幫助:
在線筆記
App下載
App下載

掃描二維碼

下載編程獅App

公眾號
微信公眾號

編程獅公眾號