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

Глава.5 .Примитивные,.ссылочные.и.значимые.типы
определяет 
Equals
, переопределенная версия метода должна вызывать реализацию 
Equals
базового класса, если только не планируется вызывать реализацию в типе 
Object
. Это означает еще и то, что поскольку тип может переопределять метод 
Equals
типа 
Object
, этот метод больше не может использоваться для проверки на 
тождественность. Для исправления ситуации в 
Object
предусмотрен статический 
метод 
ReferenceEquals
со следующим прототипом:
public class Object { 
public static Boolean ReferenceEquals(Object objA, Object objB) { 
return (objA == objB); 
} 
} 
Для проверки на тождественность нужно всегда вызывать 
ReferenceEquals
(то 
есть проверять на предмет того, относятся ли две ссылки к одному объекту). Не 
нужно использовать оператор 
==
языка C# (если только перед этим оба операнда 
не приводятся к типу 
Object
), так как тип одного из операндов может перегружать 
этот оператор, в результате чего его семантика перестает соответствовать понятию 
«тождественность».
Как видите, в области равенства и тождественности в .NET Framework дела 
обстоят довольно сложно. Кстати, в 
System.ValueType
(базовом классе всех значи-
мых типов) метод 
Equals
типа 
Object
переопределен и корректно реализован для 
проверки на равенство (но не тождественность). Внутреняя реализация переопреде-
ленного метода работает по следующей схеме:
1. Если аргумент 
obj
равен 
null
, вернуть 
false
.
2. Если аргументы 
obj
и 
this
ссылаются на объекты разного типа, вернуть 
false
.
3. Для каждого экземплярного поля, определенного типом, сравнить значение из 
объекта 
obj
со значением из объекта 
this
вызовом метода 
Equals
поля. Если 
хотя бы одна пара полей не равна, вернуть 
false
.
4. Вернуть 
true
. Метод 
Equals
типа 
ValueType
не вызывает одноименный метод 
типа 
Object
.
Для выполнения шага 3 в методе 
Equals
типа 
ValueType
используется отражение 
(см. главу 23). Так как отражение в CLR работает медленно, при создании собствен-
ного значимого типа нужно переопределить 
Equals
и создать свою реализацию, 
чтобы повысить производительность сравнения значений на предмет равенства 
экземпляров созданного типа. И, конечно же, не стоит вызывать из этой реализации 
метод 
Equals
базового класса.
Определяя собственный тип и приняв решение переопределить 
Equals
, обе-
спечьте поддержку четырех характеристик, присущих равенству:
‰