Указывает ли спецификация языка C#, что сравнение должно быть одного типа?

Question

При поиске различных терминов «Спецификация языка C#, версия 5.0», похоже, нет явного утверждения о том, что LHS и RHS сравнения должны быть одного или того же типа или быть в явном виде конвертируемыми или через литье должно быть явно конвертируемым.

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

Интуитивно, никто не сравнивает яблоки с апельсинами; независимо от того, неожиданно (для меня), AFAIK это явно не указано в спецификации языка C#.

Answer 1

Поскольку это допустимое сравнение, язык не запрещает его. В приведенном ниже примере нет никакого способа и не нужно преобразовывать A в B или наоборот, но код сравнения все еще действителен. Может быть, необоснованно логично, но верно компилятор.

class A { 
    public int a = 5; 

    public static bool operator==(A a, B b) { 
     return a.a == b.b; 
    } 
    public static bool operator!=(A a, B b) { 
     return !(a == b); 
    } 
} 
class B { 
    public int b = 5; 
} 
// ... 
Console.WriteLine(new A() == new B()); // "true" 

Answer 2

В спецификации нашли here, я нашел на странице 344 Котировка

Подпись бинарного оператора состоит из лексемы оператора (+, -, *, /,%, &, |, ^, < <, >>, ==,! =,>, <,> =, или < =) и типы двух формальных параметров.

Следует отметить, что «типы» являются плюрализованными. В C# я рассматриваю двоичные операторы как похожие на методы, которые принимают два параметра и возвращают значение данного типа. Тип возвращаемого значения должен определяться типами двух входных параметров.

UPDATE:

я решил добавить еще немного, так как я нахожу это интересным. В этом Eric Lippert Blog Post он говорит следующее.

[...] он является законным и удивительно общие для класса, чтобы реализовать == и Equals непоследовательно.

Все его сообщение в основном состоит в том, как C# определяет множество способов сравнения двух объектов, и нигде в спецификации не определено, что все они должны вести себя последовательно. Среди прочего, это означает, что вы можете определить свои собственные классы A и B так, чтобы (a as A) == (b as B) и (a as A) != (b as B) оценили одно и то же.

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

Answer 3

Является ли спецификацией языка C# явно, что сравнение должно быть одного типа?

Нет. Операторы сравнения - < <= > >= == != - не должны иметь операндов того же типа с обеих сторон. Действительно, операнд не должен иметь тип. foo >= null совершенно легально, но null не имеет типа.

Интуитивно, никто не сравнивает яблоки с апельсинами; независимо от того, неожиданно (для меня), AFAIK это явно не указано в спецификации языка C#.

Есть ли интуитивное ожидание, чтобы иметь возможность сравнивать ints с шортами, шортами на десятичные знаки и так далее? Ожидается ли, что он сможет сопоставить NULL-ints с ints? Если менеджер - это своего рода человек, имеет ли смысл иметь возможность спросить: «Этот менеджер и этот человек одинаковы?» Я считаю, что очень интуитивно очевидно, что операнды оператора сравнения не должны быть одного и того же типа во время компиляции или во время выполнения.