Как известно, Just InTime компилятор выполняет ряд оптимизаций
для повышения быстродействия приложения. Одной из таких оптимизаций
является порядка размещения полей типа. Так,
CLR может упорядочить поля таким образом, что ссылки на объекты
окажутся в одной группе, а поля данных и свойства, выровненные и
упакованные, - в другой.

Но порой, такое поведение компилятора может приводить к неожиданным
результатам (например при работе с unmanaged кодом). Для избежания
"неприятных" ситуаций существуют специальный атрибут при описании
классов или структур. Чтобы разрешить CLR устанавливать порядок полей
следует указать атрибут System.Runtime.InteropServices.StructLayoutAttribute
LayoutKind.Auto, чтобы сохранить порядок, указанный программистом, -
LayoutKind.Sequental. По-умолчанию же, компилятор C# LayoutKindAuto для
ссылочных типов (классов) и LayoutKindSequental для значимых типов
(структур). Однако, если же ваш значимый тип не будет работать с
unmanaged кодом, то имеет смысл изменить значение по-умолчанию и
разрешить CLR упорядочить поля:



Кроме того, существует еще один атрибут, предоставляющий интересные
возможности. Так, задав атрибут LayoutKind.Explicit, можно явно
указывать компилятору смещения тех или иных полей с помощью
FieldOffset(Int32) в байтах от начала экземпляра. С помощью
данного метода можно добиться эффекта, подобного uninon из Си или
Record-Case, Absolute из Паскаля. Например:


Но не следует перекрывать ссылочные поля значимыми и наоборот.
Кроме того, все пересекающиеся байты должны быть доступны через
открытые поля.