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