Net framework 5, а также среды Visual Studio 2012 и C#

ПриМеЧание
Поскольку.CLR.гарантирует,.что.конструктор.типа.выполняется.только.однажды.
в.каждом.домене.приложений,.а.также.обеспечивает.его.безопасность.по.отноше-
нию.к.потокам,.конструктор.типа.лучше.всего.подходит.для.инициализации.всех.
объектов-одиночек.(singleton),.необходимых.для.существования.типа 
В рамках одного потока возможна неприятная ситуация, когда существует два 
конструктора типа, содержащих перекрестно ссылающийся код. Например, кон-
структор типа 
ClassA
содержит код, ссылающийся на 
ClassB
, а последний содержит 
конструктор типа, ссылающийся на 
ClassA
. Даже в таких условиях CLR заботится, 
чтобы код конструкторов типов выполнился лишь однажды, но исполняющая среда 
не в состоянии обеспечить завершение исполнения конструктора типа 
ClassA
до 
начала исполнения конструктора типа 
ClassB
. При написании кода следует избе-
гать подобных ситуаций. В действительности, поскольку за вызов конструкторов 
типов отвечает CLR, не нужно писать код, который требует вызова конструкторов 
типов в определенном порядке.
Наконец, если конструктор типа генерирует необрабатываемое исключение, CLR 
считает такой тип непригодным. При попытке обращения к любому полю или методу 
такого типа возникает исключение 
System.TypeInitializationException
.
Код конструктора типа может обращаться только к статическим полям типа; 
обычно это делается, чтобы их инициализировать. Как и в случае экземплярных 
полей, C# предлагает простой синтаксис:
internal sealed class SomeType {
private static Int32 s_x = 5;
}

---

225
Конструкторы.типов
ПриМеЧание
C#.не.позволяет.в.значимых.типах.использовать.синтаксис.инициализации.полей.
на.месте,.но.разрешает.это.в.статических.полях .Иначе.говоря,.если.в.приведенном.
ранее.коде.заменить.class.на.struct,.код.откомпилируется.и.будет.работать,.как.за-
думано 
При компоновке этого кода компилятор автоматически генерирует конструктор 
типа 
SomeType
. Иначе говоря, получается тот же эффект, как если бы этот код был 
написан следующим образом:
internal sealed class SomeType {
private static Int32 s_x;
static SomeType() { s_x = 5; }
}
При помощи утилиты 
ILDasm exe
нетрудно проверить, какой код на самом деле 
сгенерировал компилятор. Для этого нужно изучить IL-код конструктора типа. 
В таблице определений методов, составляющей метаданные модуля, метод-кон-
структор типа всегда называется 
.cctor
(от 
class constructor
).
Из представленного далее IL-кода видно, что метод 
.cctor
является закрытым 
и статическим. Заметьте также, что код этого метода действительно записывает 
в статическое поле 
s_x
значение 5.
.method private hidebysig specialname rtspecialname static
void .cctor() cil managed
{
// Code size 7 (0x7)
.maxstack 8
IL_0000: ldc.i4.5
IL_0001: stsfld int32 SomeType::s_x
IL_0006: ret
} // end of method SomeType::.cctor
Конструктор типа не должен вызывать конструктор базового класса. Этот вызов 
не обязателен, так как ни одно статическое поле типа не используется совместно 
с базовым типом и не наследуется от него.