Сравнение для выяснения равенства

Платформа.NET и язык C# предлагают несколько стандартных протоколов для выяснения равенства объектов. Наиболее общий подход при реализации проверки равенства заключается в переопределении виртуального метода Equals() класса Object. Базовая версия этого метода использует равенство ссылок. Тип ValueType перекрывает Equals(), чтобы реализовать равенство по значению, то есть проверку на совпадение всех соответствующих полей двух переменных типа значения.

Основными причинами перекрытия Equals() в пользовательском типе являются особая семантика равенства, перенос на ссылочный тип равенства по значению, необходимость ускорения проверки на равенство для типа значения. Перекрытая версия Equals() должна удовлетворять следующим требованиям:

1. x.Equals(x) == true.

2. x.Equals(y) == y.Equals(x).

3. (x.Equals(y) & & y.Equals(z)) == true ↔ x.Equals(z) == true.

4. Вызовы x.Equals(y) возвращают одинаковое значение до тех пор, пока x и y остаются неизменными.

5. x.Equals(null) == false, если x! = null.

6. Метод Equals() не должен генерировать исключений.

Так как метод Equals() класса Object принимает в качестве аргумента объект, для типов значений при вызове метода происходит операция упаковки. Чтобы избежать этого, тип может дополнительно к перекрытию Equals() реализовать интерфейс IEquatable< T>:

public interface IEquatable< T>

{

bool Equals(T other);

}

Рассмотрим пример неизменяемой структуры Area, в которой выполнено перекрытие метода Equals(), реализация интерфейса IEquatable< T> и перекрытие операций проверки равенства.

public struct Area: IEquatable< Area>

{

public readonly int Measure1;

public readonly int Measure2;

public Area(int m1, int m2)

{

Measure1 = Math.Min(m1, m2);

Measure2 = Math.Max(m1, m2);

}

public override bool Equals(object other)

{

if (other is Area)

{

return Equals((Area) other);

}

return false;

// альтернативная реализация (подходит для типов значений)

// Area? otherArea = other as Area?;

// return otherArea.HasValue & & Equals(otherArea.Value);

}

public bool Equals(Area other) // реализация IEquatable< Area>

{

return Measure1 == other.Measure1

& & Measure2 == other.Measure2;

}

public override int GetHashCode()

{

return Measure1 * 31 + Measure2;

}

public static bool operator ==(Area a1, Area a2)

{

return a1.Equals(a2);

}

public static bool operator! =(Area a1, Area a2)

{

return! a1.Equals(a2);

}

}

Базовые типы значений платформы.NET (включая структуры для представления времени) реализуют интерфейс IEquatable< T> и перекрывают операции == и! =. Тип string дополнительно содержит перегруженную версию Equals(), позволяющую выполнить сравнение, учитывающее региональные стандарты или нечувствительное к регистру. Эта версия принимает в качестве аргумента один из элементов перечисления StringComparison:

CurrentCulture – сравнение в алфавите текущего регионального стандарта;

CurrentCultureIgnoreCase – сравнение в алфавите текущего регионального стандарта без учёта регистра символов;

InvariantCulture – сравнение в алфавите инвариантной культуры;

InvariantCultureIgnoreCase – сравнение в алфавите инвариантной культуры без учёта регистра;

Ordinal – порядковое сравнение, при котором символы интерпретируются как числа (коды в UTF-16);

OrdinalIgnoreCase – порядковое сравнение без учёта регистра.

Если создатель типа не реализовал эффективный метод проверки равенства, этот недостаток можно восполнить, применив подходящий подключаемый интерфейс. Интерфейсы System.Collections.Generic.IEqualityComparer< T> и System.Collections.IEqualityComparer позволяют организовать проверку объектов на равенство и вычисление хэш-кода объекта:

public interface IEqualityComparer

{

bool Equals(object x, object y);

int GetHashCode(object obj);

}

public interface IEqualityComparer< in T>

{

bool Equals(T x, T y);

int GetHashCode(T obj);

}

Желательно, чтобы во вспомогательном типе для проверки равенства были реализованы обе версии интерфейса IEqualityComparer. Существует абстрактный класс System.Collections.Generic.EqualityComparer< T>, реализующий интерфейсы IEqualityComparer< T> и IEqualityComparer и содержащий виртуальные методы Equals() и GetHashCode(). Можно наследовать от этого класса и заместить его виртуальные методы.

public class Customer

{

public string FirstName { get; set; }

public string LastName { get; set; }

}

public class LastFirstComparer: EqualityComparer< Customer>

{

public override bool Equals(Customer x, Customer y)

{

return x.LastName == y.LastName & &

x.FirstName == y.FirstName;

}

public override int GetHashCode(Customer obj)

{

return (obj.LastName + "; " + obj.FirstName).GetHashCode();

}

}

Статическое свойство EqualityComparer< T>.Default возвращает экземпляр EqualityComparer< T> для типа T. Этот экземпляр использует метод Equals(T) либо метод Equals(object) в зависимости от того, реализует ли T интерфейс IEquatable< T>.