将基于 System.Random 的生成器变成 FsCheck 生成器

Question

假设给了我一个基于System.Random 的生成器，我想把它变成一个 FsCheck 生成器：

let myGen = MyGen(System.Random())
let fsGen = gen { return myGen.Generate() }

这个简单的解决方案有几个问题： 一是忽略了大小的概念；我认为这不是一个大问题，许多生成器忽略了大小。 另一个问题会影响可重复性，因为 FsCheck 生成器是底层的纯函数，随机性 仅由测试运行程序中的采样机制提供。 （这在this answer中有明确解释）。

现在，一个解决方案可能是：

let fsGen = 
    gen {
        let! seed = Gen.choose(0, System.Int32.MaxValue)
        let myGen = MyGen(System.Random(seed))
        return myGen.Generate() }

但是有性能损失，因为我每次都必须创建一个 MyGen 的新实例（初始化成本可能很高）

有更好的方法吗？

Answer 1

以下方法可行吗？即使MyGen 本质上是随机的，您也可以通过修复种子来使其具有确定性：

let deterministicGen = MyGen(Random(42))

由于Random 的性质，不能保证它具有足够随机的分布，但如果它符合您的目的，您可以创建由MyGen 生成的确定性值序列：

let deterministicValues = List.init 100 (fun _ -> deterministicGen.Generate())

这只有 100 个值，但根据您的需要，您可以创建一个更大的样本集，包含 1000 个，甚至可能是 10000 个值。

就像deterministicGen 一样，deterministicValues 是固定的：它是由MyGen 生成的值列表。

您可以轻松地让 FsCheck 从此列表中随机选择值：

let fsGen = Gen.elements deterministicValues

这里，fsGen 是 Gen<'a>，其中 'a 是 MyGen.Generate() 返回的任何值。