基于属性的 Rust 测试：如何捕获你未曾寻找的 Bug

基于属性的 Rust 测试：捕获你未曾寻找的 Bug 的艺术

你是否曾经编写过单元测试，运行它们，一切通过，然后应用程序却在用户第一次输入非标准数据时崩溃了？很熟悉吧。经典测试就像是在检查一把锁是否好用，却只用你自己的钥匙去试。如果攻击者（或者仅仅是偶然）带来了一把螺丝刀、一个回形针或一段铁丝呢？

在以其安全性著称的 Rust 语言中，有一个强大的工具，它不仅能让你检查特定的场景，还能证明代码对于所有可能的输入数据都表现正确。这就是基于属性的测试。今天，我们将通过实际案例来深入探讨它，让你能立即将这些知识应用到自己的项目中。

什么是基于属性的测试，它与普通测试有何不同？

想象一下，你在测试一个排序函数。一个普通的单元测试看起来像这样：

fn test_sort() {\n    let mut arr = vec![3, 1, 2];\n    arr.sort();\n    assert_eq!(arr, vec![1, 2, 3]);\n}

它工作吗？工作。但如果数组已经排序了呢？如果它是空的呢？如果它有 10,000 个元素，并且是逆序排列的呢？手动为每种情况编写测试是一条通往无限循环的道路。

基于属性的测试颠覆了这种方法。你不需要指定具体的输入数据，而是描述一个对于任何有效输入都必须成立的属性。然后，一个专门的库（例如 proptest 或 quickcheck）会自行生成成百上千个随机测试用例，试图找到那个唯一能破坏你属性的用例。

对于排序，属性可以这样表述：“排序结果的长度始终与原始数组相同，并且原始数组中的每个元素在结果中恰好出现一次。”或者更简单地说：“结果是按升序排序的。”

为什么 Rust 是基于属性测试的理想环境

Rust 本身已经在编译阶段捕获了大量错误（内存所有权、数据竞争）。但有一类 Bug 是编译器无法发现的：逻辑错误、边界情况处理不当、特定数据组合下的意外行为。这时，基于属性的 Rust 测试就派上了用场。

它完美地补充了类型系统：类型确保数据具有正确的结构，而基于属性的测试则确保处理这些数据的逻辑对于所有可能的值空间都是正确的。

工具选择：proptest vs quickcheck

在 Rust 生态系统中，有两个主要的框架：proptest 和 quickcheck。两者功能相同，但理念不同。

\n
• quickcheck — 更老、更简约。它通过 Arbitrary trait 工作。你编写一个接受随机数据的函数，然后测试会运行多次。
\n
• proptest — 现代、强大，拥有大量数据生成策略。它允许你精细地控制生成哪些数据，并且能够将失败的示例“缩小”到最小的可重现用例。这是当今的黄金标准。
\n

我们将使用 proptest，因为它提供了更多控制并且文档更完善。我们来安装它：

# Cargo.toml\n[dev-dependencies]\nproptest = "1.4"

编写你的第一个基于属性的 Rust 测试

让我们回到排序的例子。我们编写一个测试来验证结果确实是排序的：

use proptest::prelude::*;\n\nfn is_sorted<T: Ord>(slice: &[T]) -> bool {\n    slice.windows(2).all(|w| w[0] <= w[1])\n}\n\nproptest!