delegates and references to objects

[BobLewiston]

The concept of delegates (references to methods) per se is new to me (although I used function pointers in C years ago), and although the literature acknowledges that there are significant differences between delegates and the use of pointers to objects, I'm nonetheless a little confused by how similar the syntax used for references to methods is to that used for references to objects.

Recently at a few different forums I posted a brief outline of my understanding of the instantiation of objects, and got corroboration and helpful feedback from several developers. Let me very briefly summarize my current understanding, for comparison to the way delegates work:

Steps to create and prepare to use an object:

1 Define a class: create a "blueprint" for objects of this class.

2 Declare an object: create a reference variable to hold a reference (address) of an object. The reference variable must be of the same class as the object.

3 Instantiate an object: allocate space for the object in the heap.

4 Assign an object to an object reference variable: place an object's address in an object reference variable.


Syntax used to implement these steps (numerals refer to the steps given immediately above):

1 Define a class:

class <class name> { < whatever > }

2 Declare an object:

<class name> <object name>;

3 Instantiate an object:

new <class name> ();

This is usually done within the same statement as assigning the object to an object reference variable (see immediately below), unless the object's reference (address) is being returned to some calling method.

3 & 4 Instantiate an object and assign it to an object variable within a single statement:

<object name> = new <class name> ();

2, 3 & 4 Declare an object, instantiate it and assign it to an object variable within a single statement:

<class name> <object name> = new <class name> ();

This seems very similar to how I understand delegates to work, which I've summarized below.

Steps to create and prepare to use a delegate reference:

1 Define a delegate type: specify the signature (including return type) of methods that delegates of this type can point to. This is called "declaring" the delegate; which I think is kind of confusing, since "declaring an object" means to create a reference variable to hold the reference (address) of an object (see step #2 above for objects), but in my opinion "declaring" the delegate is really much more analogous to defining a class (see step #1 above for objects).

2 Declare a delegate reference variable: create a delegate reference variable to hold the reference (address) of some methods. The delegate reference variable must be of the delegate type with the same method signature as the methods it will point to.

3 Instantiate a delegate: allocate space for a delegate in the heap. [BTW, what actually goes in the heap here - the reference (address) of a method, or a copy of the method?]

4 Assign the delegate to a delegate reference variable: place a method's address in a delegate reference variable.

Syntax used to implement these steps (numerals refer to the steps given immediately above):

1 "Declare" a delegate:

delegate <return type> <delegate identifier> (<parameter list>);

2 Declare a delegate reference variable:

<delegate identifier> <delegate name>;

3 Instantiate a delegate:

new <delegate identifier> (<method name>);

3 & 4 Instantiate a delegate and assign it to a delegate reference variable within a single statement:

<delegate name> = new <delegate identifier> (<method name>);

2, 3 & 4 Declare a delegate, instantiate it and assign it to a delegate reference variable within a single statement:

<delegate identifier> <delegate name> = new <delegate identifier> (<method name>);

Any feedback on my thoughts would be appreciated.

[r035198x]

1 There is no loss of generality here. Remember that even for objects, defining a class and declaring a class are not different. It's only declaring and initializing objects of those classes that is different.
4.) I would think that a copy is made.

[vekipeki]

Your custom delegates are actually classes derived from the Delegate class. The only difference is that you cannot inherit Delegate class explicitly, but compiler does that for you.

So, when you create a new delegate, a new instance of your derived delegate is created, which contains a reference to the actual method (and object instance, if method is not static). This object is instantiated in heap, as any other object.

Check this link also: http://msdn.microsoft.com/en-us/libr....delegate.aspx