Какой тип данных у параметра который принимает Equals?

Общий ответ

Параметр метода Equals имеет тип object? (или object в .NET Framework до C# 8.0). Это стандартный контракт, определённый в базовом классе System.Object, от которого неявно наследуются все типы в .NET. Однако на практике для повышения производительности и типобезопасности часто используется перегрузка метода с конкретным типом и реализация интерфейса IEquatable<T>.

Подробное объяснение

1. Базовая сигнатура из System.Object

В корне иерархии .NET класс Object определяет виртуальный метод:

public virtual bool Equals(object? obj);

• Тип параметра: object? (допускает null начиная с C# 8.0).
• Назначение: Позволяет сравнить текущий экземпляр с любым другим объектом, поскольку все типы могут быть приведены к object.
• Особенность: Требует упаковки (boxing) для значимых типов (struct), что снижает производительность.

2. Проблема производительности и типобезопасности

Для значимых типов вызов Equals(object) неэффективен:

public struct Point
{
    public int X, Y;
    
    // Вызов этого метода с Point приведёт к упаковке
    public override bool Equals(object? obj) { ... }
}

Point p1 = new Point { X = 1, Y = 2 };
Point p2 = new Point { X = 1, Y = 2 };
p1.Equals(p2); // p2 упаковывается в object - накладные расходы

3. Решение: IEquatable<T> и перегрузка методов

Для оптимизации в .NET введён интерфейс IEquatable<T>:

public interface IEquatable<T>
{
    bool Equals(T other);
}

Пример правильной реализации:

public struct Point : IEquatable<Point>
{
    public int X, Y;
    
    // Типизированная версия - БЕЗ упаковки
    public bool Equals(Point other)
    {
        return X == other.X && Y == other.Y;
    }
    
    // Общая версия - вызывает типизированную
    public override bool Equals(object? obj)
    {
        return obj is Point other && Equals(other);
    }
}

4. Рекомендуемый паттерн реализации

Для ссылочных типов также рекомендуется двойная реализация:

public class Person : IEquatable<Person>
{
    public string Name { get; }
    public int Age { get; }
    
    // Типизированная версия для эффективности
    public bool Equals(Person? other)
    {
        if (other is null) return false;
        if (ReferenceEquals(this, other)) return true;
        return Name == other.Name && Age == other.Age;
    }
    
    // Базовая версия для совместимости
    public override bool Equals(object? obj)
    {
        return Equals(obj as Person);
    }
    
    // GetHashCode должен быть согласован с Equals
    public override int GetHashCode()
    {
        return HashCode.Combine(Name, Age);
    }
}

5. Важные нюансы и правила

Тип параметра в разных контекстах:

• object.Equals(object?) – базовая виртуальная реализация
• IEquatable<T>.Equals(T) – типизированная версия
• == оператор – может иметь свою логику (часто вызывает Equals)

Контракт реализации Equals:

• Рефлексивность: x.Equals(x) всегда true
• Симметричность: Если x.Equals(y) == true, то y.Equals(x) == true
• Транзитивность: Если x.Equals(y) и y.Equals(z), то x.Equals(z)
• Согласованность: Многократный вывоз возвращает одинаковый результат
• Обработка null: x.Equals(null) всегда false

Пример с наследованием:

public class Employee : Person
{
    public string Department { get; }
    
    public override bool Equals(object? obj)
    {
        return Equals(obj as Employee);
    }
    
    public bool Equals(Employee? other)
    {
        if (!base.Equals(other)) return false;
        return Department == other?.Department;
    }
}

Практические рекомендации

1. Всегда реализуйте IEquatable<T> для значимых типов
2. Согласовывайте Equals и GetHashCode – это критически важно для коллекций
3. Используйте HashCode.Combine() в .NET Core+ для вычисления хэш-кода
4. Рассмотрите record типы в C# 9.0+, которые автоматически генерируют корректную реализацию:

public record Point(int X, int Y); // Equals, GetHashCode сгенерированы автоматически

Таким образом, хотя формально параметр Equals имеет тип object?, в современном C# код должен предоставлять типизированную версию через IEquatable<T> для оптимальной производительности и типобезопасности.