11.3.4.1 实现或和延迟或

11.3.4.1 实现或和延迟或

 

因为我们要实现运算符，需要将其定义为真正的运算符，而不只是通常的函数。就像在第六章学过的，可以在 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# 中使用。在语法结构上不是很紧凑，但即使是这样，依然很有用。