Default constructors

All value types implicitly declare a public parameterless instance constructor called the default constructor. The default constructor returns a zero-initialized instance known as the default value for the value type:

· For all simple-types, the default value is the value produced by a bit pattern of all zeros:

o For sbyte, byte, short, ushort, int, uint, long, and ulong, the default value is 0.

o For char, the default value is '\x0000'.

o For float, the default value is 0.0f.

o For double, the default value is 0.0d.

o For decimal, the default value is 0.0m.

o For bool, the default value is false.

· For an enum-type E, the default value is 0, converted to the type E.

· For a struct-type, the default value is the value produced by setting all value type fields to their default value and all reference type fields to null.

· For a nullable-type the default value is an instance for which the HasValue property is false and the Value property is undefined. The default value is also known as the null value of the nullable type.

Like any other instance constructor, the default constructor of a value type is invoked using the new operator. For efficiency reasons, this requirement is not intended to actually have the implementation generate a constructor call. In the example below, variables i and j are both initialized to zero.

class A
{
void F() {
int i = 0;
int j = new int();
}
}

Because every value type implicitly has a public parameterless instance constructor, it is not possible for a struct type to contain an explicit declaration of a parameterless constructor. A struct type is however permitted to declare parameterized instance constructors (§11.3.8).