Я пытаюсь написать генератор 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 []
... что возвращает меня к моей первоначальной проблеме: почему он не может найти ни одного экземпляра Arbitrary для System.Char? Я думал произвольные для базовых типов прописаны по умолчанию. Что я делаю не так?
Спасибо!
gen { ... }
- для работыArbitrary.generate
должны быть установлены значения по умолчанию (насколько я помню - прошло больше года, Я рассмотрел это) здесь вы используете его в контексте вашего модуля, и я подозреваю, что в это время произвольные значения еще не установлены - если вы завернете его вgen
, рабочий процесс не будет запускаться только там, а внутри FsChecks.Check
методы произвольные обязательно будет установлен - это немного похоже на утверждение исключений - вам нужно сделать вещи ленивыми, чтобы они происходили в нужное время - person Random Dev   schedule 10.10.2014