如何为代数数据类型规范地重写GetHashCode()方法？

针对你的F#代数类型，要解决不同构造函数（如Ctor1和Ctor2）因结构相似导致的哈希冲突问题，核心思路是为每个构造函数分配唯一的"区分种子"，再通过稳健的哈希组合算法将种子与成员哈希值结合，确保不同构造函数的哈希空间天然分隔。以下是具体实现：

实现代码 #

open System

[<CustomEquality; NoComparison>]
type Example =
    | Ctor0 of int
    | Ctor1 of Example * Example
    | Ctor2 of Example * Example
    | Ctor3 of Example list

    override this.GetHashCode() =
        // 定义哈希组合函数：使用质数31进行加权组合，减少碰撞概率
        let combine currentHash nextHash = currentHash * 31 + nextHash
        
        match this with
        // Ctor0：种子1 + 整数的哈希值
        | Ctor0 n -> combine 1 (hash n)
        // Ctor1：种子2 + 两个Example实例的哈希组合
        | Ctor1 (e1, e2) -> combine (combine 2 e1.GetHashCode()) e2.GetHashCode()
        // Ctor2：种子3 + 两个Example实例的哈希组合（种子与Ctor1不同，避免冲突）
        | Ctor2 (e1, e2) -> combine (combine 3 e1.GetHashCode()) e2.GetHashCode()
        // Ctor3：种子4 + 列表元素哈希的累积组合（按你的自定义逻辑调整）
        | Ctor3 es -> List.fold combine 4 (List.map (fun e -> e.GetHashCode()) es)

关键细节说明 #

1. 唯一种子分配：给每个构造函数分配不同的整数常量（如1、2、3、4），这是区分不同构造函数的核心——即使Ctor1和Ctor2的内部成员哈希完全相同，种子的差异会让最终哈希值截然不同。
2. 稳健的哈希组合：使用currentHash * 31 + nextHash的组合方式，这是.NET生态中广泛采用的标准做法：
   • 31是质数，能有效减少哈希碰撞的概率；
   • 乘法加权的方式避免了简单加减导致的哈希抵消（如a+b与b+a结果相同的问题），同时保留了成员的顺序信息。
3. 复杂成员处理：对于Ctor3的列表类型，通过fold迭代组合每个元素的哈希值，确保列表的元素顺序、数量都会影响最终哈希（若你的自定义逻辑需要忽略顺序，可调整为先排序再组合）。

简化实现（可选） #

如果不需要精细控制哈希组合逻辑，也可以利用F#元组的默认哈希实现，简化代码：

override this.GetHashCode() =
    match this with
    | Ctor0 n -> hash (1, n)
    | Ctor1 (e1, e2) -> hash (2, e1, e2)
    | Ctor2 (e1, e2) -> hash (3, e1, e2)
    | Ctor3 es -> hash (4, es) // 若自定义逻辑与默认列表哈希不同，替换为你的实现

元组的哈希内部同样采用了类似的加权组合算法，效果与手动实现一致，代码更简洁。

内容的提问来源于stack exchange，提问作者Foxy