선택적 매개 변수

Question

더 클래스 :

type NotAbstract = 
    class 
    new : unit -> NotAbstract 
    member WithOptionalParameters : x:int * ?y:int -> int 
    end 

그러나이 작동하지 않습니다 :

[<AbstractClass>] 
type AbstractExample() = 
    abstract WithOptionalParameters: int * ?int -> int /// Ouch... 

type NotAbstract() = 
    inherit AbstractExample() 
    override this.WithOptionalParameters (x, ?y) = 
     let y = defaultArg y 10 
     x + y 

하는 방법을 쓸 수

type NotAbstract() = 
    member this.WithOptionalParameters (x, ?y) = 
     let y = defaultArg y 10 
     x + y 

는 다음과 같은 유형의 서명이 선택적 매개 변수가있는 함수의 추상 정의에 적절한 유형 서명? 나는 어떤 힌트도 찾지 못했다 here.

PS : 나는 (비슷한) 결과가 polymorphism

Answer 1

옵션 형식으로 인수를 선언 정말 인수는 선택하지 않습니다.

[<AbstractClass>] 
type AbstractExample() = 
    abstract WithOptionalParameters: int * ?y:int -> int  

type NotAbstract() = 
    inherit AbstractExample() 
    override this.WithOptionalParameters (x, ?y) = 
     let y = defaultArg y 10 
     x + y 

NotAbstract().WithOptionalParameters(42) // val it : int = 52 

따라서 추상적 회원 서명에 선택적 인수를 명명 static member OneNormalTwoOptional : arg1:int * ?arg2:int * ?arg3:int -> int

:

NotAbstract().WithOptionalParameters(2) 
// This expression was expected to have type 
//  int * Option<int>  
// but here has type 
//  int  

spec §8.13.6가 가지고 다음과 같이 서명에

를 선택적 인수가 나타납니다

Answer 2

을 달성 할 수 있다는 것을 알고이 작동합니다 :

[<AbstractClass>] 
type AbstractExample() = 
    abstract WithOptionalParameters: int * Nullable<int> -> unit 

In F#, there's no syntactical sugar for nullable types을, 당신은 ?y 구문으로 값이 널 (NULL)을 선언 할 수 있지만 있도록 , 유형에 대해서는 그렇게 할 수 없습니다. 대신 Nullable<T>을 사용해야합니다.

Answer 3

선택적 매개 변수가 Option 유형 컴파일, ?int 대신 Option<int>를 사용

[<AbstractClass>] 
type AbstractExample() = 
    abstract WithOptionalParameters: int * Option<int> -> int  

type NotAbstract() = 
    inherit AbstractExample() 
    override this.WithOptionalParameters (x, ?y) = 
     let y = defaultArg y 10 
     x + y