6

我尝试编写一个 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 的任意实例？我认为默认情况下注册了基本类型的任意值。我究竟做错了什么？

谢谢！

4

1 回答 1

2

您的示例代码适用于 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
于 2020-07-10T12:37:00.470 回答