你可以在F＃中定义你自己的操作符吗？

Question

有没有办法在F＃中定义自己的操作符？

如果有人能给我一个这样的例子吗？我简单搜索了一下，但找不到任何东西。

Answer 1

是：

let (+.) x s = [for y in s -> x + y] 
let s = 1 +. [2;3;4] 

，可以在F＃操作者使用的字符列于section 3.7 of the spec。它们分别是!%&*+-./<=>@^|~和之后的任何字符，?。优先级和固定性由操作员的第一个字符确定（请参阅规格）。

你可以像上面所做的那样创建你自己的let-bound操作符，在这种情况下，它们就像let-bound函数一样工作。您也可以将它们定义为成员类型：

type 'a Wrapper = Wrapper of 'a with 
    static member (+!)(Wrapper(x), Wrapper(y)) = Wrapper(x+y) 

let w = (Wrapper 1) +! (Wrapper 2) 

在这种情况下，你并不需要有预先定义的，让绑定功能，使用操作; F＃会在类型上找到它。你可以采取特别好的利用了这一点使用内置定义：

let inline addSpecial a b = a +! b 
let w2 = addSpecial w (Wrapper 3) 

采取这一更进一步，可以使运营商在你的类型的内联为好，这样就可以在一个更加广泛的实例使用它们你的课程：

type 'a Wrapper = Wrapper of 'a with 
    static member inline (+!)(Wrapper(x), Wrapper(y)) = Wrapper(x+y) 

let wi = (Wrapper 1) +! (Wrapper 2) 
let wf = (Wrapper 1.0) +! (Wrapper 2.0) 
let wi2 = addSpecial wi wi 
let wf2 = addSpecial wf wf