F #에서 차별화 된 Union에 대해 GetHashCode 및 CompareTo를 어떻게 재정의합니까?

Question

나는 부울, 문자열 및 부동 소수점을 결합한 간단한 F # 구분 된 공용체가 있습니다. 이 조합의 Object.Equals (arg)를 재정의하여 부동 소수점을 확인할 때 정밀 오류를 설명 할 수 있도록 엡실론을 넣을 수 있도록하려고합니다. 컴파일러는 내가 this.Equals (arg)를 재정의하면 this.GetHashCode()와 this.CompareTo (arg)도 재정의해야한다고 불평했다. 이러한 재정의를 위해 특별한 기능을 계획하지 않았으므로이 메소드의 기본 버전을 호출하기 만하면됩니다. 이제 구현할 때마다 GetHashCode에 대한 세 번의 호출과 차별화 된 공용 구조의 각 유형에 대한 CompareTo에 대한 세 가지 호출 (각 유형별로 하나씩)이 있습니다.

GetHashCode를 한 번 호출하여 GetHashCode 재정의를 코딩하는 방법이 있습니까? CompareTo에 대해 같은 질문이 있습니까? 차별화 된 노조의 모든 유형은 ICompareable을 구현합니다.

이

member this.Value = 
    match this with 
    | Bool(b) -> box b 
    | Str(s) -> box s 
    | Float(f) -> box f 

그럼 당신은 그냥 권투를 포함 값을 (얻어서 GetHashCode을 구현할 수 있습니다, 그래서는 다음과 같습니다

[<CustomEquality;CustomComparison>] 
type MyType = 
    | Bool of bool 
    | Str of string 
    | Float of float 

    override this.Equals(arg) = 
     let epsilon = 0.1 
     match arg with 
     | :? MyType as other -> 
      match this, other with 
      | Bool(a), Bool(b) -> a = b 
      | Str(a), Str(b) -> a = b 
      | Float(a), Float(b) -> Math.Abs(a - b) < epsilon 
      | _ -> false 
     | _ -> false 

    override this.GetHashCode() = 
     match this with 
     // Three calls to GetHashCode. I'd like only one 
     | Bool(a) -> a.GetHashCode() 
     | Str(a) -> a.GetHashCode() 
     | Float(a) -> a.GetHashCode() 
     | _ -> 0 

    interface System.IComparable with 
     member this.CompareTo arg = 
      match arg with 
       | :? MyType as other -> 
        match this, other with 
        // Three calls to CompareTo. I'd like only one 
        | Bool(a), Bool(b) -> a.CompareTo(b) 
        | Str(a), Str(b) -> a.CompareTo(b) 
        | Float(a), Float(b) -> a.CompareTo(b) 
        | _ -> 0 
       | _ -> 0 

Answer 1

당신은 obj로 DU의 내용을 추출하는 도우미 속성을 정의 할 수 있습니다 조금 느린) 반환 된 객체에 GetHashCode을 호출하는 것입니다 :

override this.GetHashCode() = 
    this.Value.GetHashCode()