En .NET, ¿cuál es la implementación interna de un delegado?

Question

entiendo que una declaración de un delegado es algo como esto:

public delegate int PerformCalculation(int x, int y); 

Sin embargo, tiene que haber más en juego. El propósito del delegado es proporcionar un puntero a un método, y para hacerlo encapsula la referencia al método en el delegado.

¿Qué tipo de estructura tiene esta referencia (internamente en el delegado)? También entiendo que puede encapsular una referencia a múltiples métodos en un delegado. ¿Esto significa que hay una matriz en el delegado que los contiene?

Además, ¿qué métodos se definen en el delegado, etc. Lo que realmente está sucediendo cuando se declara un delegado con el escueto:

public delegate int PerformCalculation(int x, int y); 

?

EDIT: Algunas aclaraciones. Cuando declara un delegado, el compilador automáticamente crea una clase sellada que hereda de System.MulticastDelegate por usted. Puede ver esto si mira su conjunto con ildasm. Esta ordenado. Básicamente, con una declaración, obtendrá una nueva generación generada para usted en tiempo de compilación, y tiene toda la funcionalidad que necesita.

Answer 1

Todos los delegados heredan del tipo System.Delegate que tienen un Target y Method. Más precisamente heredan de System.MultiCastDelegate que hereda de System.Delegate.

Answer 2

Internamente es un tipo de referencia, bastante similar a una clase. Transcrito se ve así:

public /* delegate */ class PerformCalculation : MulticastDelegate { 
    public PerformCalculation(object target, IntPtr method) {} 
    public virtual void Invoke(int x, int y) {} 
    public virtual IAsyncResult BeginInvoke(int x, int y, AsyncCallback callback, object state) {} 
    public virtual void EndInvoke(IAsyncResult result) {} 
} 

Salí de la implementaciones de estos miembros de vacío, que en realidad se asignan al código en el CLR. El compilador genera dinámicamente las firmas de método, según la firma de la declaración del delegado. Tenga en cuenta los argumentos xey. El compilador JIT ayuda a llamar al constructor, usando la sintaxis + = o - =, conoce la dirección de memoria del método de destino del delegado. El compilador generó automáticamente el valor de argumento target, dependiendo de si el método de destino era estático o no. Los dos argumentos se asignan a las propiedades Delegado (Destino) y Destino (Multidifusión). La instancia de la clase base real puede ser Delegate o MulticastDelegate, dependiendo de cuántos objetivos se suscribieron.

Mucha salsa secreta pasando aquí.