可選參數

Question

的類別：

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

具有以下類型簽名：

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 

怎麼寫具有可選參數的函數抽象定義中的正確類型簽名？我沒有找到任何提示here。

PS：據我所知，（類似）的結果可能與polymorphism

Answer 1

聲明的參數作爲選項類型並沒有真正的參數可選。

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

的spec §8.13.6有它：

在簽名，可選參數如下所示： static member OneNormalTwoOptional : arg1:int * ?arg2:int * ?arg3:int -> int

在抽象成員簽名命名的可選參數，從而

[<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 

Answer 2

實現這應該工作：

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

In F#, there's no syntactical sugar for nullable types，所以雖然你可以聲明值可空與?y語法，你不能這樣做類型。相反，你將不得不使用Nullable<T>。

Answer 3

可選參數被編譯成Option類型，使用Option<int>代替?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