F # - ผู้แทน

ผู้รับมอบสิทธิ์คือตัวแปรชนิดการอ้างอิงที่เก็บการอ้างอิงถึงวิธีการ การอ้างอิงสามารถเปลี่ยนแปลงได้ที่รันไทม์ F # delegates คล้ายกับพอยน์เตอร์ของฟังก์ชันใน 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 โดยไม่มีวงเล็บ

ตัวอย่างต่อไปนี้แสดงให้เห็นถึงแนวคิด -

ตัวอย่าง

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