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

Глава.5 .Примитивные,.ссылочные.и.значимые.типы
Хотя неупакованные значимые типы не имеют указателя на типовой объект, вы 
все равно можете вызывать виртуальные методы (такие, как 
Equals
, 
GetHashCode
или 
ToString
), унаследованные или прееопределенные этим типом. Если ваш зна-
чимый тип переопределяет один из этих виртуальных методов, CLR может вызвать 
метод невиртуально, потому что значимые типы неявно запечатываются и поэтому 
не могут выступать базовыми классами других типов. Кроме того, экземпляр зна-
чимого типа, используемый для вызова виртуального метода, не упаковывается. 
Но если ваше переопределение виртуального метода вызывает реализацию этого 
метода из базового типа, экземпляр значимого типа упаковывается при вызове 
реализации базового типа, чтобы в указателе 
this
базового метода передавалась 
ссылка на объект в куче.
Вместе с тем вызов невиртуального унаследованного метода (такого, как 
GetType
или 
MemberwiseClone
) всегда требует упаковки значимого типа, так как эти методы 
определены в 
System.Object
, поэтому методы ожидают, что в аргументе 
this
пере-
дается указатель на объект в куче.
Кроме того, приведение неупакованного экземпляра значимого типа к одному 
из интерфейсов этого типа требует, чтобы экземпляр был упакован, так как ин-
терфейсные переменные всегда должны содержать ссылку на объект в куче. (Об 
интерфейсах см. главу 13.) Сказанное иллюстрирует следующий код:
using System; 
internal struct Point : IComparable { 
private Int32 m_x, m_y;
// Конструктор, просто инициализирующий поля
public Point(Int32 x, Int32 y) {
m_x = x; 
m_y = y; 
} 
// Переопределяем метод ToString, унаследованный от System.ValueType
public override String ToString() {
// Возвращаем Point как строку (вызов ToString предотвращает упаковку)
return String.Format("({0}, {1})", m_x.ToString(), m_y.ToString());
} 
// Безопасная в отношении типов реализация метода CompareTo
public Int32 CompareTo(Point other) { 
// Используем теорему Пифагора для определения точки, 
// наиболее удаленной от начала координат (0, 0)
return Math.Sign(Math.Sqrt(m_x * m_x + m_y * m_y) 
- Math.Sqrt(other.m_x * other.m_x + other.m_y * other.m_y)); 
} 
// Реализация метода CompareTo интерфейса IComparable
public Int32 CompareTo(Object o) { 
if (GetType() != o.GetType()) { 

---

167
Упаковка.и.распаковка.значимых.типов
throw new ArgumentException("o is not a Point"); 
} 
// Вызов безопасного в отношении типов метода CompareTo
return CompareTo((Point) o); 
} 
} 
public static class Program { 
public static void Main() { 
// Создаем в стеке два экземпляра Point
Point p1 = new Point(10, 10); 
Point p2 = new Point(20, 20);
// p1 НЕ пакуется для вызова ToString (виртуальный метод)
Console.WriteLine(p1.ToString()); // "(10, 10)" 
// p1 ПАКУЕТСЯ для вызова GetType (невиртуальный метод)
Console.WriteLine(p1.GetType()); // "Point" 
// p1 НЕ пакуется для вызова CompareTo
// p2 НЕ пакуется, потому что вызван CompareTo(Point)
Console.WriteLine(p1.CompareTo(p2)); // "-1" 
// p1 
ПАКУЕТСЯ, а ссылка размещается в c 
IComparable c = p1; 
Console.WriteLine(c.GetType()); // "Point" 
// p1 НЕ пакуется для вызова CompareTo
// Поскольку в CompareTo не передается переменная Point, 
// вызывается CompareTo(Object), которому нужна ссылка 
// на упакованный Point
// c НЕ пакуется, потому что уже ссылается на упакованный Point
Console.WriteLine(p1.CompareTo(c)); // "0"
// c НЕ пакуется, потому что уже ссылается на упакованный Point 
// p2 ПАКУЕТСЯ, потому что вызывается CompareTo(Object)
Console.WriteLine(c.CompareTo(p2));// "-1" 
// c пакуется, а поля копируются в p2
p2 = (Point) c; 
// Убеждаемся, что поля скопированы в p2
Console.WriteLine(p2.ToString());// "(10, 10)" 
} 
} 
В этом примере демонстрируется сразу несколько сценариев поведения кода, 
связанного с упаковкой/распаковкой.
‰