Tại sao F # không cung cấp quá tải tùy chỉnh cho toán tử ==?

Question

Các công đoàn bị phân biệt đối xử và các kiểu nguyên thủy khác trong F # sử dụng công bằng cấu trúc theo mặc định và cung cấp ghi đè được tạo cho phương thức .Equals. Toán tử equality F # dường như khác với phương thức C# ở chỗ nó sử dụng phương thức .Equals cho các kiểu tham chiếu, nhưng khi các công thức phân biệt F # được sử dụng từ C#, toán tử mặc định == cho đối tượng được sử dụng. sự bình đẳng về cấu trúc.

Tại sao F # không tạo toán tử tùy chỉnh == cho các loại liên kết bị phân biệt sao cho == đưa ra hành vi mong đợi khi được sử dụng trong các ngôn ngữ .NET khác?

Answer 1

Hành vi như vậy được xác định bằng ngôn ngữ bạn đang sử dụng và không phải bằng ngôn ngữ gốc của loại bạn đang sử dụng.

Answer 2

Tôi không trên # đội F, vì vậy tôi chỉ có thể suy đoán, nhưng đây là một vài lý do tiềm năng:

1. Nếu bạn muốn sử dụng bình đẳng cấu trúc từ bên trong C#, bạn chỉ có thể sử dụng Equals phương pháp. C# cung cấp các cách để kiểm tra hai loại bình đẳng riêng biệt - tại sao F # buộc chúng hoạt động theo cách tương tự khi có thể muốn sử dụng bình đẳng tham chiếu?

2. Nếu bạn muốn để buộc C# để sử dụng bình đẳng về cơ cấu, thật dễ dàng để làm điều đó cho mình:

   type T = A | B of int with 
       static member op_Equality(t:T,t2:T) = t = t2 
       // or even static member (=)(t:T, t2:T) = t = t2 
   

3. Có một chi phí phát triển đối với bất kỳ tính năng, vì vậy ngay cả khi đã có một lợi ích rõ ràng để tự động tạo ra một op_Equality, nó có thể đã bị loại bỏ vì ưu tiên các tính năng ưu tiên cao hơn.