首页 文章

多个arity静态类型约束

提问于
浏览
5

假设我有一堆矢量类型(la XNA),其中一些有静态成员 Cross

type Vector3 =
  ...
  static member Cross (a : Vector3, b : Vector3) = new Vector3(...)

我可以定义 cross 函数并编译:

let inline cross (x : ^T) (y : ^T) = (^T : (static member Cross : (^T * ^T) -> ^T) ((x,y)))

不幸的是我无法使用它并有以下错误:

let res = cross a b
                 ^

成员或对象构造函数Cross接受2个参数但是在这里给出1.所需的签名是静态成员Vector3.Cross:a:Vector3 * b:Vector3 - > Vector3

它甚至可能吗?谢谢你的帮助!

1 回答

  • 5

    您的静态成员签名过于括号 . 试试这个:

    let inline cross (x : ^T) (y : ^T) = 
      (^T : (static member Cross : ^T * ^T -> ^T) (x,y))
    

    根据你的定义,F#正在寻找一个成员 Cross ,它接受一个元组类型的参数 .

相关问题