与用于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属性（它不需要用于上述内容，因为它不是抽象的）。