("the value is: {element}"); } } 示例 3-5：使用 for 循环遍历集合中的元素 当运行这段代码时，将看到与示例 3-4 一样的输出。更为重要的是，我们增强了代码安全性， 并消除了可能由于超出数组的结尾或遍历长度不够而缺少一些元素而导致的 bug。 例如，在示例 3-4 的代码中，如果你将 a 数组的定义改为有四个元素，但忘记将条件更新为 while 并提出如何修复这些错误的推荐方案。 Miri 并不能捕获编写不安全代码时可能出现的所有错误。Miri 是一个动态分析工具，因此它只 能捕获代码实际运行时出现的问题。这意味着需要将其与良好的测试技术相结合以增强你对所 编写的不安全代码的信心。Miri 也不能覆盖代码所有的不可靠的地方。 换句话说：如果 Miri 可以捕获一个问题，你知道这里有个 bug，不过仅仅是因为 miri 没有捕 获一个 bug id, thread: Some(thread), } 539/562Rust 程序设计语言 简体中文版 } } 我们还能做得更多！如果你希望继续增强这个项目，如下是一些点子： • 为 ThreadPool 和其公有方法增加更多文档 • 为库的功能增加测试 • 将 unwrap 调用改为更健壮的错误处理 • 使用 ThreadPool 进行其他不同于处理网络请求的任务