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

Глава.5 .Примитивные,.ссылочные.и.значимые.типы
Сколько операций упаковки вы насчитали в этом коде? Правильно — одну. 
Дело в том, что в классе 
System.Console
описан метод 
WriteLine
, принимающий 
в качестве параметра тип 
Int32
:
public static void WriteLine(Int32 value); 
В показанных ранее вызовах 
WriteLine
переменная 
v
, имеющая неупакованный 
значимый тип 
Int32
, передается по значению. Возможно, где-то у себя 
WriteLine
упакует это значение 
Int32
, но тут уж ничего не поделаешь. Главное — мы сделали 
то, что от нас зависело: убрали упаковку из своего кода.
Пристально взглянув на FCL, можно заметить, что многие перегруженные ме-
тоды используют в качестве параметров значимые типы. Так, тип 
System.Console
предлагает несколько перегруженных вариантов метода 
WriteLine
:
public static void WriteLine(Boolean); 
public static void WriteLine(Char); 
public static void WriteLine(Char[]); 
public static void WriteLine(Int32); 
public static void WriteLine(UInt32); 
public static void WriteLine(Int64);
public static void WriteLine(UInt64); 
public static void WriteLine(Single); 
public static void WriteLine(Double); 
public static void WriteLine(Decimal); 
public static void WriteLine(Object); 
public static void WriteLine(String); 
Аналогичный набор перегруженных версий есть у метода 
Write
типа 
System.
Console
, у метода 
Write
типа 
System.IO.BinaryWriter
, у методов 
Write
и 
Write-
Line
типа 
System.IO.TextWriter
, у метода 
AddValue
типа 
System.Runtime.Se-
rialization.SerializationInfo
, у методов 
Append
и 
Insert
типа 
System.Text.
StringBuilder
и т. д. Большинство этих методов имеет перегруженные версии 
только затем, чтобы уменьшить количество операций упаковки для наиболее часто 
используемых значимых типов.
Если вы определите собственный значимый тип, у этих FCL-классов не будет 
соответствующей перегруженной версии для вашего типа. Более того, для ряда 
значимых типов, уже существующих в FCL, нет перегруженных версий указан-
ных методов. Если вызывать метод, у которого нет перегруженной версии для 
передаваемого значимого типа, результат в конечном итоге будет один — вызов 
перегруженного метода, принимающего 
Object
. Передача значимого типа как 
Object
приведет к упаковке, что отрицательно скажется на производительности. 
Определяя собственный класс, можно задать в нем обобщенные методы (возможно, 
содержащие параметры типа, которые являются значимыми типами). Обобщения 
позволяют определить метод, принимающий любой значимый тип, не требуя при 
этом упаковки (см. главу 12).
И последнее, что касается упаковки: если вы знаете, что ваш код будет периоди-
чески заставлять компилятор упаковывать какой-то значимый тип, можно умень-

---

165
Упаковка.и.распаковка.значимых.типов
шить объем и повысить быстродействие своего кода, выполнив упаковку этого типа 
вручную. Взгляните на следующий пример.
using System;
public sealed class Program { 
public static void Main() { 
Int32 v = 5; // Создаем переменную упакованного значимого типа
#if INEFFICIENT 
// При компиляции следующей строки v упакуется 
// три раза, расходуя и время, и память
Console.WriteLine("{0}, {1}, {2}", v, v, v); 
#else 
// Следующие строки дают тот же результат, 
// но выполняются намного быстрее и расходуют меньше памяти
Object o = v; // Упакуем вручную v (только единожды)
// При компиляции следующей строки код упаковки не создается
Console.WriteLine("{0}, {1}, {2}", o, o, o); 
#endif 
} 
} 
Если компилировать этот код с определенным символическим именем 
INEFFICIENT
, компилятор создаст код, трижды выполняющий упаковку 
v
и вы-
деляющий память в куче для трех объектов! Это особенно расточительно, так как 
каждый объект будет содержать одно значение — 5. Если же компилировать код без 
определения символа 
INEFFICIENT
, значение 
v
будет упаковано только раз и только 
один объект будет размещен в куче. Затем при обращении к 
Console.WriteLine
трижды передается ссылка на один и тот же упакованный объект. Второй вариант 
выполняется 
намного
быстрее и расходует меньше памяти в куче.
В этих примерах довольно легко определить, где нужно упаковать экземпляр 
значимого типа. Простое правило: если нужна ссылка на экземпляр значимого типа, 
этот экземпляр должен быть упакован. Обычно упаковка выполняется, когда надо 
передать значимый тип методу, требующему ссылочный тип. Однако могут быть 
и другие ситуации, когда требуется упаковать экземпляр значимого типа.
Помните, мы говорили, что неупакованные значимые типы «легче» ссылочных, 
поскольку:
‰
память в управляемой куче им не выделяется;
‰
у них нет дополнительных членов, присущих каждому объекту в куче: указателя 
на типовой объект и индекса блока синхронизации.
Поскольку неупакованные значимые типы не имеют индекса блока синхрони-
зации, то не может быть и нескольких потоков, синхронизирующих свой доступ 
к экземпляру через методы типа 
System.Threading.Monitor
(или инструкция 
lock
языка C#).

---

166