Object.Equals является виртуальным, но Object.operator == не использует его в C#?

Question

Меня поразила странная «асимметрия» на C#, которую я действительно не понимаю. См. Следующий код:

using System; 
using System.Diagnostics; 
namespace EqualsExperiment 
{ 
    class Program 
    { 
     static void Main(string[] args) 
     { 
      object apple = "apple"; 
      object orange = string.Format("{0}{1}", "ap", "ple"); 
      Console.WriteLine("1"); 
      Debug.Assert(apple.Equals(orange)); 
      Console.WriteLine("2"); 
      Debug.Assert(apple == orange); 
      Console.WriteLine("3"); 
     } 
    } 
} 

Это может быть очевидно для всех вас, гуру .NET, но второе утверждение не выполняется.

В Java я узнал, что == является синонимом для объекта Object.ReferenceEquals. В C# я думал, что Object.operator == использует Object.Equals, который является виртуальным, поэтому он переопределяется в классе System.String.

Может кто-нибудь объяснить, почему 2-й утверждают неудачу в C#? Какие из моих предположений плохие?

Answer 1

Оператор == не является синонимом, это оператор, который определен для разных типов.

Оператор == определяется для строк, а затем он на самом деле использовать Equals метод:

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

Однако в своем коде вы не используете оператора на строки, вы используете его на объектах, так что вы получаете оператор ==, определенный для объектов, который использует ReferenceEquals для сравнения.

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

Answer 2

Операторы определяются как статические методы, поэтому они не могут участвовать в полиморфизме. Таким образом, ваше второе утверждение использует определение == для object (так как ваши переменные объявлены как object), который проверяет только ссылочное равенство. Если переменные были объявлены как string, то была бы использована перегрузка == для string, и второе утверждение было бы успешным.