Оператор List‹T› == В спецификации языка C#, версия 4

Спецификация действительно правильная, хотя и запутанная. Спецификация определяет класс под названием List (плохой выбор имени).

В следующей таблице показан универсальный класс List, который реализует расширяемый список объектов. Класс содержит несколько примеров наиболее распространенных видов функций-членов.

Этот класс можно увидеть в спецификации в разделе 1.6.7. Оператор Equals перегружен и соответствует выходным данным, описанным выше. Возможно, для этого класса следовало бы выбрать лучшее имя.

static bool Equals(List<T> a, List<T> b) {
    if (a == null) return b == null;
    if (b == null || a.count != b.count) return false;
    for (int i = 0; i < a.count; i++) {
        if (!object.Equals(a.items[i], b.items[i])) {
            return false;
        }
    }
  return true;
}

List<T> — это ссылочный тип, который не перегружает operator==. Поэтому он использует семантику равенства ссылок по умолчанию. Кажется, у вас сложилось впечатление, что он переопределяет operator== для обеспечения семантики значений, но это не так. a будет равно b, когда a и b оба ссылаются на один и тот же экземпляр List<T>.

РЕДАКТИРОВАТЬ: Итак, я сам посмотрел на спецификацию. В нем говорится:

Класс List объявляет два оператора: оператор == и оператор !=, что придает новый смысл выражениям, применяющим эти операторы к экземплярам List. В частности, операторы определяют равенство двух экземпляров List как сравнение каждого из содержащихся объектов с использованием их методов Equals. В следующем примере используется оператор == для сравнения двух экземпляров List.

Честно... Я понятия не имею, о чем они говорят, но это не похоже на правду. Насколько я могу судить после запуска нескольких тестов, класс List<T> использует ссылочное равенство. Хороший вопрос.

EDIT2: декомпилировано List<T>, без перегрузки operator== и/или operator!=. Спецификация в данном случае выглядит совершенно неправильно.