EqualityComparer.Default недостаточно умен

Я читал исходный код EqualityComparer.Default и обнаружил, что он не такой уж и умный. Вот пример:

enum MyEnum : int { A, B }
EqualityComparer<MyEnum>.Default.Equals(MyEnum.A, MyEnum.B)
//is as fast as 
EqualityComparer<int>.Default.Equals(0, 1)

enum AnotherEnum : long { A = 1L, B = 2L }
//is 8x slower than
EqualityComparer<long>.Default.Equals(1L, 2L)

Причина очевидна из исходного кода приватного метода в EqualityComparer.

private static EqualityComparer<T> CreateComparer()
{
    //non-important codes are ignored
    if (c.IsEnum && (Enum.GetUnderlyingType(c) == typeof(int)))
    {
        return (EqualityComparer<T>) RuntimeTypeHandle.CreateInstanceForAnotherGenericParameter((RuntimeType) typeof(EnumEqualityComparer<int>), c);
    }
    return new ObjectEqualityComparer<T>();
}

We can see EqualityComparer.Default,EqualityComparer.Default and EqualityComparer. Default получают мудрый компаратор, чей метод Equals выглядит так:

public static bool Equals(int x, int y)
{
    return x == y;  //or return x.Equals(y); here 
                    //I'm not sure, but neither causes boxing
}

public static bool Equals(MyEnum x, MyEnum y)
{
    return x == y;  //it's impossible to use x.Equals(y) here 
                    //because that causes boxing
}

Два вышеуказанных метода умны, но EqualityComparer. Default не повезло, из метода видно, что наконец-то он получает ObjectEqualityComparer(), метод которого Equals, вероятно, выглядит так:

public static bool Equals(AnotherEnum x, AnotherEnum y)
{
    return x.Equals(y);   //too bad, the Equals method is from System.Object
                       //and it's not override, boxing here!
                       //that's why it's so slow
}

Я думаю, что это условие Enum. GetUnderlyingType(c) == typeof(int) бессмысленно, если базовый тип перечисления имеет тип int, то метод может преобразовать стандартный компаратор int в это перечисление. Но почему перечисление, основанное на long, не может? Я думаю, это не так сложно? Есть какие-то особые причины? Конструирование компаратора типа x == y не так уж сложно для перечисления, верно? Почему, наконец, он выдает медленный ObjectEqualityComparer для перечислений (даже он работает правильно)?

8
задан Cheng Chen 29 April 2011 в 07:51
поделиться