Delegate (CLI)


A delegate is a form of type-safe function pointer used by the Common Language Infrastructure. Delegates specify a method to call and optionally an object to call the method on. Delegates are used, among other things, to implement callbacks and event listeners. A delegate object encapsulates a reference to a method. The delegate object can then be passed to code that can call the referenced method, without having to know at compile time which method will be invoked.
A multicast delegate is a delegate that points to several methods. Multicast delegation is a mechanism that provides functionality to execute more than one method. There is a list of delegates maintained internally, and when the multicast delegate is invoked, the list of delegates is executed.
In C#, delegates are often used to implement callbacks in event driven programming. For example, a delegate may be used to indicate which method should be called when the user clicks on some button. Delegates allow the programmer to notify several methods that an event has occurred.

C# code example

Code to declare a delegate type, named SendMessageDelegate, which takes a Message as a parameter and returns void:

delegate void SendMessageDelegate;

Code to define a method that takes an instantiated delegate as its argument:

void SendMessage

The implemented method that runs when the delegate is called:

void HandleSendMessage

Code to call the SendMessage method, passing an instantiated delegate as an argument:

SendMessage;

Delegates (C#)


delegate void Notifier; // Normal method signature with the keyword delegate
Notifier greetMe; // Delegate variable
void HowAreYou
greetMe = new Notifier;

A delegate variable calls the associated method and is called as follows:

greetMe; // Calls HowAreYou and prints "How are you, Anton?"

Delegate variables are first-class objects of the form and can be assigned to any matching method, or to the value. They store a method and its receiver without any parameters:

new DelegateType;

The object can be and omitted. If the method is, it should not be the object, but the class itself. It should not be, but could be, or.
To call a method with a delegate successfully, the method signature has to match the with the same number of parameters of the same kind with the same type.

Multicast delegates (C#)

A delegate variable can hold multiple values at the same time:

void HowAreYou
void HowAreYouToday
Notifier greetMe;
greetMe = HowAreYou;
greetMe += HowAreYouToday;
greetMe; // "How are you, Leonardo?"
// "How are you today, Leonardo?"
greetMe -= HowAreYou;
greetMe; // "How are you today, Pereira?"

If the multicast delegate is a function or has no parameter, the parameter of the last call is returned.

Technical implementation details

Although internal implementations may vary, delegate instances can be thought of as a tuple of an object and a method pointer and a reference to another delegate. Hence a reference to one delegate is possibly a reference to multiple delegates. When the first delegate has finished, if its chain reference is not null, the next will be invoked, and so on until the list is complete. This pattern allows an event to have overhead scaling easily from that of a single reference up to dispatch to a list of delegates, and is widely used in the CLI.

Performance

Performance of delegates used to be much slower than a virtual or interface method call, but, since the.NET 2.0 CLR in 2005, it is about the same as interface calls. This means there is a small added overhead compared to direct method invocations.
There are very stringent rules on the construction of delegate classes. These rules permit optimizing compilers a great deal of leeway when optimizing delegates while ensuring type safety.