F#：运算符绑定中的显式类型参数

Question

我尝试使用显式类型参数和约束定义运算符：

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

它在 F# 2.0 中运行良好，但会产生以下结果：

警告 FS1189：
类型参数必须直接放置 与类型名称相邻，例如“type C<'T>"，而不是键入“C <'T>”

那么，为运算符定义执行显式类型参数规范的正确方法是什么？

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

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)