차별화 된 공용체 멤버 메소드

Question

차별화 된 공용체의 모든 멤버가 공유하는 메소드를 정의하고 싶습니다. 현재 저는 이것을 이렇게 구현했지만 실제로는 더 좋은 방법이 있습니다. 제안?

type A = 
    {AData:string} 
    member this.SharedMethod (x:float) : int= ... 
type B = 
    {BData:float} 
    member this.SharedMethod (x:float) : int= ... 
type AB = 
| A of A 
| B of B 

let CallSharedMethod (ab:AB) x = 
    match ab with 
    | AB.A(a') -> a'.SharedMethod x 
    | AB.B(b') -> b'.SharedMethod x 

Answer 1

어때?

type AB = 
    | A of string 
    | B of float 

    member self.SharedMethod (x : float) = 
     match self with 
     | A s -> x 
     | B f -> f + x 

이

는 플로트 매개 변수와 함께 뭔가 다른 일을하기 위해 합 유형 (일명 차별 노동 조합)의 각 변형을한다고 가정합니다. (A float 산출 string와 float 사이의 유용한 관계가 더 일반적으로 존재하지 않기 때문에) 내가 할 수있는 다른 많은 거기 이후 A의 경우를 들어

은, 그냥 원래의 값을 반환합니다. 당신의 예에서

Answer 2

, 당신은 는 인스턴스 멤버로 기록 유형을에게 A 및 B 각을 증강있다. 그러나 레코드 유형을 늘릴 수있을뿐만 아니라 유니온 유형을 추가 할 수도 있습니다 (@ Rodrick의 답변 참조). 이렇게하면, 노동 조합의 증원은 귀하가 요청한 각 사례에 의해 "공유"됩니다. 이 더 명시 적으로 만들려면, 당신의 예를 몇 가지 부분을 이름을 변경 한 : 당신은 개체 브라우저 (또는 ILSpy 같은 디 컴파일러)에서 컴파일 된 코드를 보면

type A = { AData:string } 
type B = { BData:float } 

type AB = 
    | ACase of A 
    | BCase of B 
    member __.SharedMethod x = 0 

let callSharedMethod (ab:AB) x = ab.SharedMethod x 

, 당신은 AB가 컴파일되는 것을 볼 수 있습니다 두 개의 서브 클래스 AB.ACase 및 AB.BCase 및 SharedMethod의 기본 클래스는 기본 클래스 AB에 속합니다.

F# 3.0 specification의 섹션 8.5.1 : 연합 유형의 구성원을 참조하십시오.