Переопределение метода Equals в структурах - PullRequest
Новая
       14

Переопределение метода Equals в структурах

52 голосов
/ 30 марта 2010

Я искал руководящие принципы для структур, но все, что я могу найти, это для классов.

Сначала я подумал, что мне не нужно проверять, является ли переданный объект нулевым, поскольку структуры являются типами значений и не могут быть нулевыми. Но теперь, когда я думаю об этом, подпись равняется 

public bool Equals(object obj)

кажется, что ничто не мешает пользователю моей структуры пытаться сравнить его с произвольным ссылочным типом.

Мое второе замечание касается кастинга, который я (как мне кажется) должен сделать, прежде чем сравнивать свои личные поля в своей структуре. Как я должен привести объект к типу моей структуры? Ключевое слово as в C # подходит только для ссылочных типов.

Ответы [ 6 ]

72 голосов
/ 30 марта 2010 
struct MyStruct 
{
   public override bool Equals(object obj) 
   {
       if (!(obj is MyStruct))
          return false;

       MyStruct mys = (MyStruct) obj;
       // compare elements here

   }

}
13 голосов
/ 25 мая 2013

Полагаю, если вы используете .NET 4.5 , можно использовать реализацию по умолчанию, как указано в документации :

Когда вы определяете свой собственный тип, этот тип наследует функциональность, определенную методом Equals его базового типа.

ValueType.Equals : равенство значений; либо прямое побайтное сравнение, либо полевое сравнение с использованием отражения.

6 голосов
/ 12 января 2018

Благодаря некоторым новостям в C # 7.0 существует более простой способ сделать то же, что и принятый ответ: 

struct MyStruct 
{
    public override bool Equals(object obj) 
    {
        if (!(obj is MyStruct mys)) // type pattern here
            return false;

        return this.field1 == mys.field1 && this.field2 == mys.field2 // mys is already known here without explicit casting
    }
}

Или мой любимый - так же, как функция выражения тела: 

struct MyStruct 
{
    public override bool Equals(object obj) => 
        obj is MyStruct mys
            && mys.field1 == this.field1
            && mys.field2 == this.field2;
}
6 голосов
/ 02 февраля 2015

Если кому-то интересно узнать о производительности, связанной с упаковкой структуры в объект Nullable (чтобы избежать проверки двойного типа из is и приведения), то - это немалые издержки. 1004 *

tl; dr : используйте is & cast в этом сценарии. 

struct Foo : IEquatable<Foo>
{
    public int a, b;

    public Foo(int a, int b)
    {
        this.a = a;
        this.b = b;
    }

    public override bool Equals(object obj)
    {
#if BOXING
        var obj_ = obj as Foo?;
        return obj_ != null && Equals(obj_.Value);
#elif DOUBLECHECK
        return obj is Foo && Equals((Foo)obj);
#elif MAGIC
        ?
#endif
    }

    public bool Equals(Foo other)
    {
        return a == other.a && b == other.b;
    }
}

class Program
{
    static void Main(string[] args)
    {
        RunBenchmark(new Foo(42, 43), new Foo(42, 43));
        RunBenchmark(new Foo(42, 43), new Foo(43, 44));
    }

    static void RunBenchmark(object x, object y)
    {
        var sw = Stopwatch.StartNew();
        for (var i = 0; i < 100000000; i++) x.Equals(y);
        sw.Stop();
        Console.WriteLine(sw.ElapsedMilliseconds);
    }
}

Результаты: 

BOXING
EQ  8012    7973    7981    8000
NEQ 7929    7715    7906    7888

DOUBLECHECK
EQ  3654    3650    3638    3605
NEQ 3310    3301    3319    3297

Предупреждение: этот тест может быть ошибочным во многих отношениях, хотя я действительно проверил, что сам код теста не был странным образом оптимизирован.

Глядя на IL, метод двойной проверки компилирует немного чище.

Бокс IL: 

.method public hidebysig virtual 
    instance bool Equals (
        object obj
    ) cil managed 
{
    // Method begins at RVA 0x2060
    // Code size 37 (0x25)
    .maxstack 2
    .locals init (
        [0] valuetype [mscorlib]System.Nullable`1<valuetype StructIEqualsImpl.Foo> obj_
    )

    IL_0000: ldarg.1
    IL_0001: isinst valuetype [mscorlib]System.Nullable`1<valuetype StructIEqualsImpl.Foo>
    IL_0006: unbox.any valuetype [mscorlib]System.Nullable`1<valuetype StructIEqualsImpl.Foo>
    IL_000b: stloc.0
    IL_000c: ldloca.s obj_
    IL_000e: call instance bool valuetype [mscorlib]System.Nullable`1<valuetype StructIEqualsImpl.Foo>::get_HasValue()
    IL_0013: brfalse.s IL_0023

    IL_0015: ldarg.0
    IL_0016: ldloca.s obj_
    IL_0018: call instance !0 valuetype [mscorlib]System.Nullable`1<valuetype StructIEqualsImpl.Foo>::get_Value()
    IL_001d: call instance bool StructIEqualsImpl.Foo::Equals(valuetype StructIEqualsImpl.Foo)
    IL_0022: ret

    IL_0023: ldc.i4.0
    IL_0024: ret
} // end of method Foo::Equals

Перепроверьте IL: 

.method public hidebysig virtual 
    instance bool Equals (
        object obj
    ) cil managed 
{
    // Method begins at RVA 0x2060
    // Code size 23 (0x17)
    .maxstack 8

    IL_0000: ldarg.1
    IL_0001: isinst StructIEqualsImpl.Foo
    IL_0006: brfalse.s IL_0015

    IL_0008: ldarg.0
    IL_0009: ldarg.1
    IL_000a: unbox.any StructIEqualsImpl.Foo
    IL_000f: call instance bool StructIEqualsImpl.Foo::Equals(valuetype StructIEqualsImpl.Foo)
    IL_0014: ret

    IL_0015: ldc.i4.0
    IL_0016: ret
} // end of method Foo::Equals

Попросите Романа Райнера обнаружить ошибку, которая на самом деле не выглядела хорошо.

5 голосов
/ 30 марта 2010

Используйте оператор is: 

public bool Equals(object obj)
{
  if (obj is MyStruct)
  {
    var o = (MyStruct)obj;
    ...
  }
}
0 голосов
/ 30 марта 2010

Добавление к существующим ответам.

Вы можете по-прежнему иметь значения NULL, если добавляете? после имени структуры (это работает для каждого объекта значения) 

int?

Кастинг также осуществляется по телефону (MyStructName)variableName

...