如何將Quickcheck生成的花車限制在一個範圍內？

Question

我想爲Quickcheck生成隨機浮點數，這些浮點數限制在一定範圍內，例如0.0到1.0，以測試函數處理概率。我希望能夠做一些地方，這將是成功的：它

quickcheck! {   
    fn prop(x: f64, y: f64) -> bool { 
     assert!(x <= 1.0); 
     assert!(y <= 1.0); 

     (x * y < x) && (x * y < y) 
    } 
} 

Answer 1

創建一個新的類型，代表你所期望的範圍，然後實現quickcheck::Arbitrary：

#[macro_use] 
extern crate quickcheck; 

#[derive(Debug, Copy, Clone)] 
struct Probability(f64); 

impl quickcheck::Arbitrary for Probability { 
    fn arbitrary<G: quickcheck::Gen>(g: &mut G) -> Self { 
     Probability(g.gen_range(0.0, 1.0)) 
    } 
} 

quickcheck! { 
    fn prop(x: Probability, y: Probability) -> bool { 
     let x = x.0; 
     let y = y.0; 

     assert!(x <= 1.0); 
     assert!(y <= 1.0); 

     (x * y < x) && (x * y < y) 
    } 
} 

Arbitrary被傳遞的類型實施quickcheck::Gen，這是在rand::Rng之上的輕包裝。

請注意Rng::gen_range有一個獨家上限，所以這個例子並不完全是你想要的，但它顯示了過程。