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

нежелательная упаковка
— когда переменная 
v
передается в качестве аргумента 
методу 
CompareTo
, она должна упаковываться, поскольку 
CompareTo
ожидает 
параметр типа 
Object
;
‰
отсутствие безопасности типов
— компиляция кода выполняется без проблем, 
но когда метод 
CompareTo
пытается привести 
other
к типу 
SomeValueType
, воз-
никает исключение 
InvalidCastException
.
Оба недостатка можно исправить средствами EIMI. Вот модифицированная 
версия типа 
SomeValueType
, в которой имеет место явная реализация интерфейс-
ных методов:
internal struct SomeValueType : IComparable {
private Int32 m_x;
public SomeValueType(Int32 x) { m_x = x; }
public Int32 CompareTo(SomeValueType other) {
return(m_x _ other.m_x);
}
// ПРИМЕЧАНИЕ: в следующей строке не используется public/private
Int32 IComparable.CompareTo(Object other) {
return CompareTo((SomeValueType) other);
}
}
Обратите внимание на некоторые изменения в новой версии. Во-первых, здесь 
два метода 
CompareTo
. Первый больше не принимает параметр типа 
Object
, а при-
нимает параметр типа 
SomeValueType
. Поскольку параметр изменился, код, выпол-
няющий приведение 
other
к типу 
SomeValueType
, стал ненужным и был удален. 
Во-вторых, изменение первого метода 
CompareTo
для обеспечения безопасности 
типов приводит к тому, что 
SomeValueType
больше не придерживается контракта, 
обусловленного реализацией интерфейса 
IComparable
. Поэтому в 
SomeValueType
нужно реализовать метод 
CompareTo
, удовлетворяющий контракту 
IComparable
. 
Этим занимается второй метод 
CompareTo
, который использует механизм явной 
реализации интерфейсных методов.

---

348