6.1.2 自定义运算符

6.1.2 自定义运算符

 

自定义运算符的方式类似于函数，使用 let 绑定，可以使用任何字符，既可以是通常的 F# 数学运算符（+/-*<>），也可以是逻辑运算符（&|=），还可以是其他字符（$%.?@^~!）。声明运算符，要把名字括在括号中，这是与通常的 let 绑定的唯一区别。使用星号时要小心，因为(* 用于 F# 多行注释的开始，解决这种问题，是在星号与括号之间加上空格。清单 6.2 显示了如何声明和使用简单的处理字符串的运算符。

 

清单 6.2 使用自定义运算符处理字符串 (F# Interactive)

> let (+>) a b = a + "\n>>" + b;;

val ( +> ) : string -> string –>string

 

> printfn ">> %s"("Hello world!" +>

               "How are you today?"+>

               "I'm fine!");;

>> Hello world!

>> How are you today?

>> I'm fine!

 

使用自定义的运算符代替函数的好处，是可以使用中缀表示法（infix notation）。这样，可以把 concat "A" (concat "B" "C")，可以写成"A"+>"B"+>"C"。这在多次应用运算符时特别有用，就像前面的示例，不必在每个调用时使用括号。

在清单 6.2 中，我们声明了一个有两个参数的中缀运算符；F# 还可能定义一元运算符（unary operators），即只有一个参数，且使用前缀表示法（prefix notation）。内置的前缀运算符，比如，取负数，写成为 -1。这种运算符没有根据参数的数量声明，有可能造成歧义。虽然有点复杂，但是，可以把一元运算符写成有返回函数，那么，纯粹基于类型签名构建，看起来有点像二元运算符（这要感谢科里化，我们在第五章讨论过）。前缀和中缀运算符之间的区别，是基于第一个符号，定义前缀运算符，必须以 ~ 或! 符号开始。