Pourquoi F # ne fournit-il pas une surcharge personnalisée pour l'opérateur ==?

Question

Les unions discriminées et les autres types primitifs dans F # utilisent l'égalité structurelle par défaut et fournissent un remplacement généré pour la méthode .Equals. L'opérateur d'égalité F # diffère apparemment du C# en ce qu'il utilise la méthode .Equals même pour les types de référence, mais lorsque les unions discriminées F # sont utilisées depuis C#, l'opérateur par défaut == est utilisé, qui vérifie l'égalité de référence plutôt que égalité structurelle. Pourquoi F # ne génère-t-il pas un opérateur personnalisé == pour les types d'union discriminés, de sorte que == donne le comportement attendu lorsqu'il est utilisé dans d'autres langages .NET?

Answer 1

Un tel comportement est défini par le langage que vous utilisez et non par la langue d'origine du type que vous utilisez.

Answer 2

Je ne suis pas dans l'équipe F #, donc je ne peux que spéculer, mais voici quelques raisons possibles:

1. Si vous voulez utiliser l'égalité structurelle de l'intérieur C#, vous pouvez simplement utiliser le Equals méthode. C# fournit des moyens de tester deux types distincts d'égalité - pourquoi F # devrait-il les obliger à se comporter de la même manière alors qu'un utilisateur préférerait peut-être utiliser l'égalité de référence?

2. Si vous voulez forcer C# à utiliser l'égalité structurelle, il est facile de le faire vous-même:

   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. Il y a un coût de développement à une fonction, même s'il y avait un avantage évident de générer automatiquement un op_Equality, il a peut-être été abandonné en faveur des fonctionnalités de priorité supérieure.