在类型定义之外实现相等

Question

我有几种实现接口的类型。这些类型的相等性仅取决于接口成员。是否可以为这些类型定义一次相等性，而不覆盖每种类型的 Equals 或 op_Equality ？

编辑

我尝试了以下操作，但是，无论出于何种原因，它都会覆盖 = 的每次使用，即使对于未实现 IEntity 的类型也是如此。

[<AutoOpen>]
module Equality =
    let inline op_Equality (left:IEntity) (right:IEntity) = true

我还尝试使用灵活类型（#IEntity）。相同的结果。

Answer 1

您想要做的是 mixin 或类型类可能在其他语言中启用的事情；不幸的是，F# 中没有等效的功能。您最好的选择可能是以下选项之一：

1. 使用抽象基类而不是接口。

2. 在类型之外编写相等方法，然后让所有实现都遵循它。例如，

   让entityEquals (i1:IEntity) (i2:IEntity) =
     i1.Member1 = i2.Member1 &&
     i1.Member2 = i2.Member2 &&
     ...
   
   类型 MyEntity() =
     接口 IEntity 与
       成员 x.Member1 = ...
       ...
       覆盖 x.Equals(y) = 
         将 y 与
         | :? IEntity 作为 y ->实体等于 xy
         | _->错误的
       覆盖 x.GetHashCode() =
         ...
   

   除了一些样板文件之外，这里的缺点是，如果其他人实现了您的 IEntity 接口，他们不会被迫使用您的相等方法 - 这是选择加入。

3. 创建另一个用于 IEntity 相等性测试的运算符：

   let (==) (i1:IEntity) (i2:IEntity) =
     i1.Member1 = i2.Member1 &&
     ...
   

   这样做的（巨大）缺点是，包含 IEntity 的类型（例如元组、记录等）的结构相等不会使用此运算符来比较这些组件，这很可能导致令人惊讶的损坏代码。

Answer 2

我认为没有办法以静态方式做到这一点。问题是扩展成员（例如，如果您添加op_Equality作为扩展）会被静态成员约束忽略（例如，如果您还重新定义< code>= 使用 inlin 并满足 op_Equality 要求）。

F# 编译器具有一些特殊功能，仅在编译 FSharp.Core.dll 时可用（搜索源代码以查找声明 let inline GenericOne）。它使用类似静态类型开关的东西 - 但这不能被普通人访问。

因此，我没有比使用动态类型测试更好的想法，这实际上并不是一个好的方法，最好定义一个自定义运算符来比较您的接口。

作为参考，丑陋的动态方法是：

let inline (=) a b =
  match a, b with
  | :? IFoo as a, :? IFoo as b -> yourEquals a b
  | _ -> a = b