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

ПриМеЧание
В.поля.значимого.типа.обязательно.заносятся.значения.0.или.null,.если.значимый.
тип.вложен.в.объект.ссылочного.типа .Однако.гарантии,.что.поля.значимых.типов,.
работающие.со.стеком,.будут.инициализированы.значениями.0.или.null,.нет .Чтобы.
код.был.верифицируемым,.перед.чтением.любого.поля.значимого.типа,.работающего.
со.стеком,.нужно.записать.в.него.значение .Если.код.сможет.прочитать.значение.
поля.значимого.типа.до.того,.как.туда.будет.записано.какое-то.значение,.может.на-
рушиться.безопасность .C#.и.другие.компиляторы,.генерирующие.верифицируемый.
код,.гарантируют,.что.поля.любых.значимых.типов,.работающие.со.стеком,.перед.
чтением.обнуляются.или.хотя.бы.в.них.записываются.некоторые.значения .Поэтому.
при.верификации.во.время.выполнения.исключение.выдано.не.будет .Однако.обычно.
можно.предполагать,.что.поля.значимых.типов.инициализируются.нулевыми.значе-
ниями,.а.все.сказанное.в.этом.примечании.можно.полностью.игнорировать 
Хотя C# не допускает использования значимых типов с конструкторами без 
параметров, это допускает CLR. Так что если вас не беспокоят упомянутые скрытые 
особенности работы системы, можно на другом языке (например, на IL) определить 
собственный значимый тип с конструктором без параметров.
Поскольку C# не допускает использования значимых типов с конструктора-
ми без параметров, при компиляции следующего типа компилятор сообщает об 
ошибке: (ошибка CS0573: 
'SomeValType.m_x'
: нельзя создавать инициализаторы 
экземплярных полей в структурах):
error CS0573: 'SomeValType.m_x': cannot have instance field initializers in structs
А вот как выглядит код, вызвавший эту ошибку:
internal struct SomeValType {
// В значимый тип нельзя подставлять инициализацию экземплярных полей
private Int32 m_x = 5;
}
Кроме того, поскольку верифицируемый код перед чтением любого поля зна-
чимого типа требует записывать в него какое-либо значение, любой конструктор, 
определенный для значимого типа, должен инициализировать все поля этого типа. 
Следующий тип определяет конструктор для значимого типа, но не может иници-
ализировать все его поля:
internal struct SomeValType {
private Int32 m_x, m_y;
// C# допускает наличие у значимых типов конструкторов с параметрами
public SomeValType(Int32 x) {
m_x = x;
продолжение


---

222