Question

我尝试编写一个FsCheck生成器，生成给定间隔长度的字符串。

我的尝试如下：

let genString minLength maxLength = 
    let isValidLength (s : string) = 
        s.Length >= minLength && s.Length <= maxLength

    Arb.generate
    |> Gen.suchThat isValidLength
    |> Arb.fromGen

......我收到错误：

"System.Exception : No instances of class FsCheck.Arbitrary`1[a] for type System.String with arguments set []"

我做错了什么？

谢谢！

更新1：

我设法写了这样的生成器：

let genStrings minLength maxLength = 
    gen {
        let! length = Gen.choose (minLength, maxLength)
        let! chars = Gen.arrayOfLength length Arb.generate<char>
        return new String(chars)
    }

有更好的方法吗？

更新2：我想将此作为一个单独的问题添加，但它与我原来的问题几乎相同。

所以我将上面的代码重构为以下结构，以便重用序列生成器：

let seqOfLength lengthInterval generator =
    gen {
        let! length = Gen.choose lengthInterval
        let! items = Gen.arrayOfLength length generator
        return items |> Seq.ofArray
    }

let sizedString lengthInterval =
    seqOfLength lengthInterval Arb.generate<char>
    |> Gen.map Strings.ofCharSeq

现在我收到了运行时错误：

System.Exception : No instances of class FsCheck.Arbitrary`1[a] for type System.Char with arguments set []

...这让我回到原来的问题：为什么不能为System.Char找到任意的任意实例？我认为默认情况下会注册基本类型的任意。我做错了什么？

谢谢！

Answer 1

您的示例代码从FsCheck v2.14.3开始有效

let seqOfLength lengthInterval generator =
    gen {
        let! length = Gen.choose lengthInterval
        let! items = Gen.arrayOfLength length generator
        return items |> Seq.ofArray
    }
let stringOfLength lengthInterval =
    seqOfLength lengthInterval Arb.generate<char>
    |> Gen.map String.Concat

fscheck生成大小介于min和之间的字符串;最大

1 个答案: