如何在Rust中约束QuickCheck测试的参数为非空？

这里有两种实用的方法来避免QuickCheck传入空向量：

方法一：跳过空输入用例 #

直接在测试函数里判断向量是否为空，空的话就跳过这个测试用例，让QuickCheck继续生成其他非空的输入：

use quickcheck::{quickcheck, TestResult};
use rand::Rng;

#[quickcheck]
fn graph_contains_vertex(vs: Vec<(u64, i64)>) -> TestResult {
    // 空向量直接跳过
    if vs.is_empty() {
        return TestResult::discard();
    }

    let rand_index = rand::thread_rng().gen_range(0..vs.len());
    let rand_vertex = vs.get(rand_index).unwrap().0;
    // ... 执行你的测试逻辑

    // 测试通过返回passed，也可以根据逻辑返回failed
    TestResult::passed()
}

方法二：使用非空容器类型 #

QuickCheck提供了NonEmptyVec类型，它会强制生成非空的向量，从根源上避免空输入的问题：

use quickcheck::{quickcheck, collection::NonEmptyVec};
use rand::Rng;

#[quickcheck]
fn graph_contains_vertex(vs: NonEmptyVec<(u64, i64)>) {
    // 把NonEmptyVec转换成普通Vec使用
    let vec = vs.into_inner();
    let rand_index = rand::thread_rng().gen_range(0..vec.len());
    let rand_vertex = vec.get(rand_index).unwrap().0;
    // ... 执行你的测试逻辑
}

两种方法对比：

• 方法一实现简单，不需要额外理解新类型，但会有部分空输入用例被跳过，测试效率稍低一点。
• 方法二直接确保输入非空，没有跳过的用例，测试更高效，适合对输入约束严格的场景。

内容的提问来源于stack exchange，提问作者Shivam