Lib.rs

为 quickcheck::Arbitrary 提供宏。

扩展为在结构的每个字段上调用 Arbitrary::arbitrary。

use derive_quickcheck_arbitrary::Arbitrary;

#[derive(Clone, Arbitrary)]
struct Yakshaver {
    id: usize,
    name: String,
}

您可以通过以下方式自定义字段生成：

• 提供一个接受 &mut quickcheck::Gen 的可调用对象。
• 始终使用默认值

#[derive(Clone, Arbitrary)]
struct Yakshaver {
    /// Must be less than 10_000
    #[arbitrary(gen(|g| num::clamp(usize::arbitrary(g), 0, 10_000) ))]
    id: usize,
    name: String,
    #[arbitrary(default)]
    always_false: bool,
}

您可以跳过枚举变体

#[derive(Clone, Arbitrary)]
enum YakType {
    Domestic {
        name: String,
    },
    Wild,
    #[arbitrary(skip)]
    Alien,
}

您可以添加泛型结构的边界

#[derive(Clone, Arbitrary)]
#[arbitrary(where(T: Arbitrary))]
struct GenericYak<T> {
    name: T,
}