因为我们要实现运算符,需要将其定义为真正的运算符,而不只是通常的函数。就像在第六章学过的,可以在 F# 中引入自己的运算符,清单 11.17 显示了两种不同的或运算符。
[
清单序号还有问题。从 11.14 开始,就变成了 11.17 了。
]
清单 11.17 比较提前和延迟的或运算符 (F# Interactive)
let (||!) a b = [1] if a then true elif b then true else false // Using in F# Interactive > if (foo(5) ||! foo(7)) [3] then printfn "True";; foo(5) foo(7) True |
let (||?) (a:Lazy<_>) (b:Lazy<_>) = if a.Value then true [2] elif b.Value then true else false > if lazy foo(5) ||? lazy foo(7) [4] then printfn "True";; foo(5) True |
提前运算符版本的参数值是布尔值[1],因此,可以直接在 if 条件中使用;而延迟版本的参数是把返回布尔值的计算,打包成延迟值,因此,要读取值,需要使用 Value 属性[2]。
使用提前版的运算符时[3],只要正常参数值。从输出可以看到,两个参数值都已经计算了。事实上,它们是在我们自定义运算符的主体执行之前就计算了。当使用延迟版时[4],我们加上了额外的 lazy 关键字,以延迟两个参数值。结果只有一个表达式进行了计算,因为这对于最终结果的计算已经足够了。
这个示例在很多方面有点奇怪,但对于演示如何以编程方式,通过语言构造实现我们所熟悉元素的延迟,是非常有用的。下一步我们将延迟值实现为类型,能够从 C# 中使用。在语法结构上不是很紧凑,但即使是这样,依然很有用。