How does creating a instance of class inside of the class itself works?
Other responses have mostly covered the question. If it helps wrap a brain around it, how about an example?
The chicken-and-egg problem is resolved as any recursive problem is: the basis case which doesn't keep producing more work / instances / whatever.
Imagine you've put together a class to automatically handle cross-thread event invocation when necessary. Heavily relevant for threaded WinForms. Then you'd like the class to expose an event which occurs whenever something registers or unregisters with the handler, and naturally it should handle cross-thread invocation as well.
You could write the code that handles it twice, once for the event itself and once for the status event, or write once and re-use.
The majority of the class has been trimmed out as it isn't really relevant to the discussion.
public sealed class AutoInvokingEvent
{
private AutoInvokingEvent _statuschanged;
public event EventHandler StatusChanged
{
add
{
_statuschanged.Register(value);
}
remove
{
_statuschanged.Unregister(value);
}
}
private void OnStatusChanged()
{
if (_statuschanged == null) return;
_statuschanged.OnEvent(this, EventArgs.Empty);
}
private AutoInvokingEvent()
{
//basis case what doesn't allocate the event
}
/// <summary>
/// Creates a new instance of the AutoInvokingEvent.
/// </summary>
/// <param name="statusevent">If true, the AutoInvokingEvent will generate events which can be used to inform components of its status.</param>
public AutoInvokingEvent(bool statusevent)
{
if (statusevent) _statuschanged = new AutoInvokingEvent();
}
public void Register(Delegate value)
{
//mess what registers event
OnStatusChanged();
}
public void Unregister(Delegate value)
{
//mess what unregisters event
OnStatusChanged();
}
public void OnEvent(params object[] args)
{
//mess what calls event handlers
}
}
There is absolutely no problem in creating instances of a class in the class itself. The apparent chicken-or-egg problem is solved in different ways while the program is being compiled and when it is being run.
Compile-time
When a class that creates an instance of itself is being compiled, the compiler finds that the class has a circular dependency on itself. This dependency is easy to solve: the compiler knows that the class is already being compiled so it won't try to compile it again. Instead, it pretends that the class already exists generates code accordingly.
Run-time
The biggest chicken-or-egg problem with a class creating an object of itself is when the class does not even exist yet; that is, when the class is being loaded. This problem is resolved by breaking class loading into two steps: first the class is defined and then it is initialized.
Defining means registering the class with the runtime system (JVM or CLR), so that it knows the structure that objects of the class have, and what code should be run when its constructors and methods are called.
Once the class has been defined it is initialized. This is done by initializing static members and running static initializer blocks and other things defined in the particular language. Recall that the class is already defined at this point, so the runtime knows what objects of the class look like and what code should be run to create them. This means there's no problem whatsoever to create objects of the class when initializing it.
Here's an example that illustrates how class initialization and instantiation interact in Java:
class Test {
static Test instance = new Test();
static int x = 1;
public Test() {
System.out.printf("x=%d\n", x);
}
public static void main(String[] args) {
Test t = new Test();
}
}
Let's step through how the JVM would run this program. First the JVM loads the Test
class. This means that the class is first defined, so that the JVM knows that
- a class called
Test
exists and that it has amain
method and a constructor, and that - the
Test
class has two static variables, one calledx
and another calledinstance
, and - what is the object layout of the
Test
class. In other words: what an object looks like; what attributes it has. In this caseTest
doesn't have any instance attributes.
Now that the class is defined, it is initialized. First of all, the default value 0
or null
is assigned to every static attribute. This sets x
to 0
. Then the JVM executes the static field initializers in the source code order. There are two:
- Create an instance of the
Test
class and assign it toinstance
. There are two steps to instance creation:- First memory is allocated for the object. The JVM can do this because it already knows the object layout from the class definition phase.
- The
Test()
constructor is called to initialize the object. The JVM can do this because it already has the code for the constructor from the class definition phase. The constructor prints out the current value ofx
, which is0
.
- Set static variable
x
to1
.
Only now the class has finished loading. Notice that the JVM created an instance of the class, even though it was not fully loaded yet. You have proof of this fact because the constructor printed out the initial default value 0
for x
.
Now that the JVM has loaded this class, it calls the main
method to run the program. The main
method creates another object of class Test
- the second in the execution of the program. Again the constructor prints out the current value of x
, which is now 1
. The full output of the program is:
x=0
x=1
As you can see there is no chicken-or-egg problem: the separation of class loading into definition and initialization phases avoids the problem completely.
What about when an instance of the object wants to create another instance, like in the code below?
class Test {
Test buggy = new Test();
}
When you create an object of this class, again there is no inherent problem. The JVM knows how the object should be laid out in memory so it can allocate memory for it. It sets all the attributes to their default values, so buggy
is set to null
. Then the JVM starts initializing the object. In order to do this it must create another object of class Test
. Like before, the JVM already knows how to do that: it allocates the memory, sets the attribute to null
, and starts initializing the new object... which means it must create a third object of the same class, and then a fourth, a fifth, and so on, until it either runs out of stack space or heap memory.
There is no conceptual problem here mind you: this is just a common case of an infinite recursion in a badly written program. The recursion can be controlled for example using a counter; the constructor of this class uses recursion to make a chain of objects:
class Chain {
Chain link = null;
public Chain(int length) {
if (length > 1) link = new Chain(length-1);
}
}