Object.Equals là ảo, nhưng Object.operator == không sử dụng nó trong C#?

Question

Tôi bị ảnh hưởng bởi "sự bất đối xứng" lạ trong C# mà tôi không thực sự hiểu. Xem mã sau:

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"); 
     } 
    } 
} 

Điều này có thể hiển nhiên đối với tất cả các bạn .NET gurus, nhưng khẳng định thứ 2 không thành công.

Trong Java tôi đã học được rằng == là một từ đồng nghĩa cho một cái gì đó gọi là Object.ReferenceEquals ở đây. Trong C#, tôi nghĩ rằng Object.operator == sử dụng Object.Equals, là ảo, vì vậy nó được overriden trong lớp System.String.

Ai đó có thể giải thích, tại sao xác nhận thứ 2 thất bại trong C#? Giả định nào của tôi là xấu?

Answer 1

Toán tử == không phải là một từ đồng nghĩa, đó là toán tử được xác định cho các loại khác nhau.

Nhà điều hành == được định nghĩa cho các chuỗi, và sau đó nó không thực sự sử dụng Equals phương pháp:

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

Tuy nhiên, trong mã của bạn, bạn không sử dụng các nhà điều hành trên dây, bạn đang sử dụng nó trên các đối tượng, vì vậy những gì bạn nhận được là toán tử == được xác định cho các đối tượng, sử dụng ReferenceEquals để so sánh.

Quá tải của toán tử được sử dụng được quyết định trong thời gian biên dịch, vì vậy đó là loại biến quyết định quá tải, không phải là loại đối tượng thực tế mà các biến trỏ tới.

Answer 2

Toán tử được định nghĩa là phương thức tĩnh, vì vậy chúng không thể tham gia vào đa hình. Vì vậy, xác nhận thứ hai của bạn sử dụng định nghĩa của == cho object (vì các biến của bạn được khai báo là object), chỉ kiểm tra tính bình đẳng tham chiếu. Nếu các biến được khai báo là string, quá tải == cho string sẽ được sử dụng và xác nhận thứ hai sẽ thành công.