Если посмотреть в реализацию оператора == типа String можно увидеть следующее:

public static bool operator ==(string a, string b)
{
    return Equals(a, b);
}

Реализация Equals следующая:

public static bool Equals(string a, string b)
{
    return ((a == b) || (((a != null) && (b != null)) && EqualsHelper(a, b)));
}

Видно, что внутри присутстсвует оператор ==.
Так вот почему не происходит зацикливаение?

В моем примере кидает исключение StackOverflowException:

class Class1
{
    public static bool operator ==(Class1 a, Class1 b)
    {
        return Equals(a, b);
    }

    public static bool operator !=(Class1 a, Class1 b)
    {
        return !Equals(a, b);
    }
    
    public static bool Equals(Class1 a, Class1 b)
    {
        return ((a == b) || ((a != null) && (b != null)));
    }
}

Ну и где-то вызов:

private void button1_Click(object sender, EventArgs e)
    {
        Class1 a = new Class1();
        Class1 b = new Class1();
        MessageBox.Show((a == b).ToString());
    }

В чем прикол?

Обрати внимание что в коде восстановленном рефлектором нет никакого оператора ==, есть только public static bool op_Equality(string a, string b ). То бишь, вот здесь return ((a == b ) || (((a != null) && (b != null)) && EqualsHelper(a, b ))); происходит сравнение референсов, а не вызов оператора сравнения.

Сообщение отредактировал mr_ST - 20:05:2008, 10:37

Понимаю куда вы клоните, однако, как в приведенном мной примере добиться того же результата. Рефлектор восстанавливает точно такой же код как в случае и со String

Сообщение отредактировал Glucklich - 20:05:2008, 10:17

Вместо == используйте object.ReferenceEquals(a, b );

Так а как же тогда работает во фреймворке?

Glucklich
Это ошибка в рефлекторе. Код сравнения в String.Equals примерно такой:

    L_0000: ldarg.0 
    L_0001: ldarg.1 
    L_0002: bne.un.s L_0006

- тупое сравнение двух unsigned integer.
При компиляции твоего кода получается что-то вроде

    L_0001: ldarg.0 
    L_0002: ldarg.1 
    L_0003: call bool ClassLibrary2.Class1::op_Equality(class ClassLibrary2.Class1, class ClassLibrary2.Class1)

- Вызов оператора. Оба случая рефлектор показывает как ==.

Это проблема рефлектора а не фреймворка.

Интересно, сколько еще там глюков?