13.2.2 从故障中恢复

13.2.2 从故障中恢复



    世界银行服务对每个用户密钥每一天请求数量有限制，也限制了请求的频率。这意味着，如果我们一次运行大量的请求，有些可能会返回错误。解决方法是捕获异常，稍后重试请求。

    清单 13.7 实现一个循环，重复执行的请求，直到成功，或者尝试 20 次。使用异常报告失败， 使用 F# 的 try … with 结构捕捉异常。



Listing 13.7 Running the web request repeatedly (F# Interactive)



> let worldBankDownload(properties) =
     let url = worldBankUrl(properties)
     let rec loop(attempts) = async {
       try
         return! downloadUrl(url)
       with _ when attempts > 0 –>
         printfn "Failed, retrying (%d): %A" attempts properties
         do! Async.Sleep(500.0)
         return! loop(attempts - 1) }
     loop(20);;
val worldBankDownload : seq<string * string> -> Async<string>

> let props = ["countries"], ["region", "NA"];
val props : string list * (string * string) list

> Async.RunSynchronously(worldBankDownload(props))
Failed, retrying (20): [("countries"); ("region", "NA")]
val it : string = "<?xml version=\"1.0\" encoding=\"utf-8\" (...)"



    这段代码实现了递归和异步循环函数，尝试运行实际的下载。如果下载失败，可能会引发异常。当发生异常时，剩余的尝试次数不是零，暂停这个工作流一段时间，然后重试下载。

    要创建循环，通常的函数式方法是写递归函数，它取剩余的尝试的次数作为参数值，每次迭代递减这个数。清单 13.7 在一个大括号中使用这种模式。loop 函数使用异步工作流实现，所以，要创建递归异步工作流。这个递归调用在一个异常处理程序中，并使用 return! 基元，来运行异步循环的下一次迭代。工作流的主体尝试下载页面，但它是在 try … with 块中完成的，能够捕捉可能的异常。

    同时在 F# 中的 try … with 块类似于 C# 中的 try … catch，但还有一些额外的功能。它能够使用模式匹配区分不同的异常，with 结构非常类似于我们已经熟悉的 match 表达式。在清单 13.7 中，我们简单地捕捉所有异常，因此，仅仅添加了wher 子句。这意味着，将只捕获尝试的次数少于 20 异常。这是值得注意的，我们将在异步工作流内部处理异常，其方式与在正常的 F# 代码中处理异常是相同的。这可能要归功于其他的基元，叫 TryWith 和 TryFinally，在其下提供异步工作；这些基元告诉 F#，在异步操作期间，如何处理发生的异常。

    在清单 13.7 的最后几行，可以看到如何使用函数从世界银行获取数据。注意，该函数的参数属性是一个元组，包含函数和其他属性。我们没有在实现中显式写出元组，但编译器知道 theworldBankUrl 函数期望有一个元组值。可以模拟连接失败，通过把计算机从网络中短时间断开，你会看到，代码能够从故障中恢复过来。现在，我们已经有了一个可靠的函数，来下载数据，我们可以继续向前，下载我们想要处理的所有数据。