- •А.А. Волосевич
- •Содержание
- •1. Работа с числами
- •2. Представление даты и времени
- •3. Работа со строками и текстом
- •4. Преобразование информации
- •5. Сравнение для выяснения равенства
- •6. Сравнение для выяснения порядка
- •7. Жизненный цикл объектов
- •7.1. Алгоритм сборки мусора
- •7.2. Финализаторы и интерфейс iDisposable
- •7.3. Слабые ссылки
- •8. Перечислители и итераторы
- •9. Стандартные интерфейсы коллекций
- •10. Массивы и класс System.Array
- •11. Типы для работы с коллекциями-списками
- •12. Типы для работы с коллекциями-множествами
- •13. Типы для работы с коллекциями-словарями
- •14. Типы для создания пользовательских коллекций
- •15. Технология linq to Objects
- •1. Оператор условия Where().
- •2. Операторы проекций.
- •3. Операторы упорядочивания.
- •4. Оператор группировки GroupBy().
- •5. Операторы соединения.
- •6. Операторы работы с множествами.
- •7. Операторы агрегирования.
- •8. Операторы генерирования.
- •9. Операторы кванторов и сравнения.
- •10. Операторы разбиения.
- •11. Операторы элемента.
- •12. Операторы преобразования.
- •16. Работа с объектами файловой системы
- •17. Ввод и вывод информации
- •17.1. Потоки данных и декораторы потоков
- •2. Классы для работы с потоками, связанными с хранилищами.
- •3. Декораторы потоков.
- •4. Адаптеры потоков.
- •17.2. Адаптеры потоков
- •18. Основы xml
- •19. Технология linq to xml
- •20. Дополнительные возможности обработки xml
- •21. Сериализация времени выполнения
- •22. Контракты данных и xml-сериализация
- •23. Состав и взаимодействие сборок
- •24. Метаданные и получение информации о типах
- •25. Позднее связывание и кодогенерация
- •26. Атрибуты
- •27. Динамическое связывание
- •28. Файлы конфигурации
- •29. Диагностика и мониторинг
- •30. Процессы и домены
- •31. Основы многопоточного программирования
- •32. Синхронизация потоков
- •32.1. Критические секции
- •32.2. Синхронизация на основе подачи сигналов
- •32.3. Неблокирующие средства синхронизации
- •32.4. Разделение данных между потоками
- •33. Библиотека параллельных задач
- •33.1. Параллелизм на уровне задач
- •33.2. Параллелизм при императивной обработке данных
- •33.3. Параллелизм при декларативной обработке данных
- •33.4. Обработка исключений и отмена выполнения задач
- •33.5. Коллекции, поддерживающие параллелизм
- •34. Асинхронный вызов методов
- •Литература
5. Сравнение для выяснения равенства
Платформа .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>.