F# - 为什么 Seq.map 不传播异常？

Question

想象一下下面的代码：

let d = dict [1, "one"; 2, "two" ]

let CollectionHasValidItems keys =
    try
        let values = keys |> List.map (fun k -> d.Item k)
        true
    with
        | :? KeyNotFoundException -> false

现在让我们测试一下：

let keys1 = [ 1 ; 2 ]
let keys2 = [ 1 ; 2; 3 ]

let result1 = CollectionHasValidItems keys1 // true
let result2 = CollectionHasValidItems keys2 // false

这符合我的预期。但是如果我们在函数中将 List 改为 Seq，我们会得到不同的行为：

let keys1 = seq { 1 .. 2 } 
let keys2 = seq { 1 .. 3 }

let result1 = CollectionHasValidItems keys1 // true
let result2 = CollectionHasValidItems keys2 // true

这里使用 keys2 我可以在调试器的 values 对象中看到异常消息，但没有抛出异常...

为什么会这样？我的应用中需要一些类似的逻辑，并且更喜欢使用序列。

Answer 1

这是一个典型的副作用和惰性求值问题的例子。 Seq 函数如 Seq.map 是惰性求值的，这意味着在枚举返回的序列之前不会计算 Seq.map 的结果。在您的示例中，这永远不会发生，因为您从未对 values 做任何事情。

如果您通过生成具体集合（如list）来强制对序列进行评估，您将获得异常并且函数将返回false：

let CollectionHasValidItems keys =
    try
        let values = keys |> Seq.map (fun k -> d.Item k) |> Seq.toList
        true
    with
        | :? System.Collections.Generic.KeyNotFoundException -> false

正如您所注意到的，使用 List.map 而不是 Seq.map 也可以解决您的问题，因为它会在调用时被急切地评估，并返回一个新的具体 list。

关键的一点是，在将副作用与惰性求值相结合时，您必须非常小心。您不能依赖于按照您最初预期的顺序发生的效果。