與用於F＃類tupled參數的默認方法

Question

爲什麼這個F＃類不編譯（與VS2010）：

type Base = 
    abstract func : (int * int) -> int 

    default this.func (x : int, y : int) : int = 
     x + y 

FUNC的默認實現導致此編譯錯誤：

Error 9 This override takes a different number of arguments to the corresponding abstract member 

如果我改變它是一個成員：

type Base = 
    abstract func : (int * int) -> int 

    member this.func (x : int, y : int) : int = 
     x + y 

然後編譯（雖然我相信現在抽象的func沒有實現），第二個func的類型與第一個匹配。

在相關說明中，爲什麼編譯器不要求Base的第二個定義具有AbstractClass屬性？

Answer 1

剛剛擺脫了括號：

type Base = 
    abstract func : int * int -> int 

    default this.func (x : int, y : int) : int = 
     x + y 

你甚至可以縮短一點：

default this.func(x, y) = x + y 

Answer 2

爲了得到第一個版本的編譯，你需要寫：

type Base1 = 
    abstract func : (int * int) -> int 
    default this.func((x : int, y : int)) : int = 
     x + y 

我沒有鏈接到規範，但F＃一般不會編譯成員稱取元組作爲參數的方法。它通常使用帶有多個參數的.NET/C＃友好方法。 abstract成員強制執行此表示，因此default成員需要使用更明確的語法來執行相同的操作。

你在理解第二種類型時是正確的 - 第二種聲明是一個抽象類，它具有未實現的抽象方法（以及另一個碰巧具有相同名稱的方法）。爲此，F＃需要AbstractClass屬性（它不需要用於上述內容，因爲它不是抽象的）。