F＃：在运营商捆绑

Question

我试图用显式类型参数和约束定义运营商明确的类型参数：

let inline (===)<'a, 'b 
    when 'a : not struct 
    and 'b : not struct> a b = obj.ReferenceEquals (a,b) 

它运作良好，在F＃2.0，但产生的：

警告FS1189：
类型参数必须直接放置在类型名称旁边的 ，例如“型 Ç<“T>”，而不是键入“C <” T>”

那么，什么是为运营商定义做明确的类型参数规格的正确方法？

p.s.请不要告诉我关于隐式类型参数和其他一些解决方法，我想具体解决这个问题。

Answer 1

编译器中的错误意味着符号运算符永远不会被视为直接与类型参数相邻。您可以通过例如

let inline myeq<'a, 'b 
    when 'a : not struct 
    and 'b : not struct> a b = obj.ReferenceEquals (a,b) 

let inline (===) a b = myeq a b 

Answer 2

let inline (===) (a : 'TA when 'TA : not struct) (b : 'TB when 'TB : not struct) = 
    obj.ReferenceEquals (a,b)