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

Глава.5 .Примитивные,.ссылочные.и.значимые.типы
В некоторых языках, например в C++/CLI, разрешается распаковать упакован-
ный значимый тип, не копируя поля. Распаковка возвращает адрес неупакованной 
части упакованного объекта (дополнительные члены — указатель на типовой объект 
и индекс блока синхронизации — игнорируются). Затем, используя полученный 
указатель, можно манипулировать полями неупакованного экземпляра (который 
находится в упакованном объекте в куче). Например, реализация приведенного 
выше кода на C++/CLI существенно повысит его производительность, потому что 
вы можете изменить значение поля 
x
структуры 
Point
в уже упакованном экзем-
пляре 
Point
. Это позволит избежать как выделения памяти для нового объекта, 
так и повторного копирования всех полей!
ВниМание
Если.вы.хотя.бы.в.малейшей.степени.заботитесь.о.производительности.своего.
приложения,.вам.необходимо.знать,.когда.компилятор.создает.код,.выполняющий.
эти.операции .К.сожалению,.многие.компиляторы.неявно.генерируют.код.упаковки,.
поэтому.иногда.бывает.сложно.узнать.о.происходящей.упаковке .Если.меня.действи-
тельно.волнует.производительность.приложения,.я.прибегаю.к.такому.инструменту,.
как.ILDasm exe,.просматриваю.IL-код.готовых.методов.и.смотрю,.присутствуют.ли.
в.нем.команды.упаковки 
Рассмотрим еще несколько примеров, демонстрирующих упаковку и распа-
ковку:
public static void Main() { 
Int32 v = 5; // Создание неупакованной переменной значимого типа o
Object o = v; // указывает на упакованное Int32, содержащее 5 
v = 123; // Изменяем неупакованное значение на 123
Console.WriteLine(v + ", " + (Int32) o); // Отображается "123, 5" 
} 
Сколько в этом коде операций упаковки и распаковки? Вы не поверите — целых 
три! Разобраться в том, что здесь происходит, нам поможет IL-код метода 
Main
. 
Чтобы быстрее найти отдельные операции, я снабдил распечатку комментариями.
.method public hidebysig static void Main() cil managed
{
.entrypoint
// Размер кода 45 (0x2d)
.maxstack 3
.locals init ([0]int32 v,
[1] object o)
// Загружаем 5 в v.
IL_0000: ldc.i4.5
IL_0001: stloc.0
// Упакуем v и сохраняем указатель в o.
IL_0002: ldloc.0

---

161
Упаковка.и.распаковка.значимых.типов
IL_0003: box [mscorlib]System.Int32
IL_0008: stloc.1
// Загружаем 123 в v.
IL_0009: ldc.i4.s 123
IL_000b: stloc.0
// Упакуем v и сохраняем в стеке указатель для Concat
IL_000c: ldloc.0
IL_000d: box [mscorlib]System.Int32
// Загружаем строку в стек для Concat
IL_0012: ldstr ", "
// Распакуем o: берем указатель в поле Int32 в стеке
IL_0017: ldloc.1
IL_0018: unbox.any [mscorlib]System.Int32
// Упакуем Int32 и сохраняем в стеке указатель для Concat
IL_001d: box [mscorlib]System.Int32
// Вызываем Concat
IL_0022: call string [mscorlib]System.String::Concat(object,
object,
object)
// Строку, возвращенную из Concat, передаем в WriteLine
IL_0027: call void [mscorlib]System.Console::WriteLine(string)
// Метод Main возвращает управление, и приложение завершается
IL_002c: ret
} // Конец метода App::Main
Вначале в стеке создается экземпляр 
v
неупакованного значимого типа 
Int32
, 
которому присваивается число 5. Затем создается переменная 
o
типа 
Object
, кото-
рая инициализируется указателем на 
v
. Однако поскольку ссылочные типы всегда 
должны указывать на объекты в куче, C# генерирует соответствующий IL-код 
для упаковки 
v
и заносит адрес упакованной «копии» 
v
в 
o
. Теперь величина 123 
помещается в неупакованный значимый тип 
v
, но это не влияет на упакованное 
значение типа 
Int32
, которое остается равным 5.
Дальше вызывается метод 
WriteLine
, которому нужно передать объект 
String
, 
но такого объекта нет. Вместо строкового объекта мы имеем неупакованный эк-
земпляр значимого типа 
Int32
(
v
), объект 
String
(ссылочного типа) и ссылку на 
упакованный экземпляр значимого типа 
Int32
(
o
), который приводится к неупа-
кованному типу 
Int32
. Эти элементы нужно как-то объединить, чтобы получился 
объект 
String
.
Чтобы создать 
String
, компилятор C# формирует код, в котором вызывается 
статический метод 
Concat
объекта 
String
. Есть несколько перегруженных версий 
этого метода, различающихся лишь количеством параметров. Поскольку строка 

---

162