在传递给c方法的参数上,它们是元组还是什么?

我读过很多次了

从F或任何其他.NET语言生成的程序集(几乎)是不可区分的。

然后我在.NET 4(测试版2)上试验了F和C互操作。我用以下类创建了一个新的解决方案和一个C项目:

public class MyClass {
    public static int Add(int a, int b) { return a + b; }
}

然后,在一个F项目中,在引用了C项目之后,我尝试了:

MyClsas.Add(4, 5) |> printfn "%d" // prints 9 (no kidding!)

到现在为止,一直都还不错。然后我又想起了一句话(也许是在不同的书上读过的):

当从其他.NET库向函数传递参数时,使用类似“.methodname(parm1,parm2)”的语法,即参数作为元组传递。

再加上我在这里读过的一些东西,所以(但找不到链接到),关于一个问题,操作人员试图创建一个 [ 4, 5, 6 ] (当他指的是 [4; 5; 6] ):

逗号是“tuple creating operator”,对于其他所有内容,都使用分号。

然后我把我的班级改为:

public class MyClass {
    public static int Add(int a, int b) { return a + b; }
    public static int Add(Tuple<int, int> a) { return a.Item1; }
}

现在我试着用在f:

MyClass.Add(4, 5) |> printf "%d" // prints ... (keep reading!)

所以,把上面的三个引文加起来,可以得出这样的结论:

• f将在看到 (4, 5)
• 然后它将调用过载 Add(Tuple<int, int>)
• 所以它将打印4

令我吃惊的是, 它印了9 . 有意思吗?

这里到底发生了什么?上述引文和这一实际观察似乎是矛盾的。你能证明F的“推理”是正确的吗?如果可能的话,还可以指向一些msdn文档?

谢谢!

编辑

(添加更多信息(来自布林迪的答案)

如果你这样做:

MyClass.Add((4, 5)) |> printfn "%d" // prints 9

F称之为 添加(tuple<int,int>) 超载。

但是,如果您使用此创建另一个F项目(因此是另一个程序集):

namespace MyFSharpNamespace
type MyFShapClass = class
    static member Add x y = x + y
    end

你可以像这样用在C上

public static void Main(string[] args) {
    MyFSharpNamespace.MyFSharpClass.Add(4, 5);
}

到现在为止,一直都还不错。现在,当您尝试从F(来自另一个项目,另一个程序集)使用它时,必须执行以下操作:

MyFSharpNamespace.MyFSharpClass.Add 4 5 |> printfn "%d"

如果你把参数传递为 (4, 5) f不会编译,因为 Add 是 int -> int -> int 而不是 (int * int) -> int .

发生什么事了????