Создание уникальных строк в FsCheck

Question

Мне нужно создать уникальные строки, не связанные null, которые будут использоваться как Dictionary ключей. Я пытался что-то вроде:

public static Gen<NonNull<string>> UniqueStrings() 
{ 
    return from s in Arb.Default.NonNull<string>().Generator 
      select s; 
} 

Затем я использую UniqueString() в:

public static Arb<Foo> Foos() 
{ 
    // Foo's constructor will use the string parameter 
    // as key to an internal Dictionary 
    return (from nonNullString in UniqueStrings() 
      select new Foo(nonNullString.Item)).ToArbitrary(); 
} 

Однако я получаю исключение в свойствах тестирования Foo, поскольку FsCheck иногда порождает ту же строку дважды, в результате чего DuplicateKeyException.

Как я могу сгенерировать уникальные строки, которые нужно передать в конструктор Foo?

Answer 1

Вы не можете заставить генератор FsCheck генерировать уникальные значения, потому что у вас по существу нет доступа к истории ранее сгенерированных значений, и сам FsCheck не гарантирует уникальность.

Что вы можете сделать в этом случае, скажем, произнести список строк, а затем уникальный-ify список, например, с помощью Distinct(). Затем вы также можете сгенерировать список Foo с использованием аналогичного подхода.

Например:

Gen<Foo[]> res = from s in Arb.Default.Set<string>().Generator 
       select s.Select(ss => new Foo(ss)).ToArray(); 

(Примечание Вы не можете использовать с, чтобы получить ss, потому что C# не позволяет смешивать различные методы LINQ, один на Gen, один на IEnumerable)

Предложение, мне интересно, не является ли это дополнительной собственностью, которую вы хотите проверить. Если пользователь Foo должен предоставить ему уникальную строку, как это поддерживается? Что произойдет, если они этого не сделают?

Answer 2

Вместо генерации строк uniq вы можете добавить простую проверку перед вставкой в ​​словарь.

Обновление: Хорошо. Перемешайте свою строку за поколением. Вы можете прочитать here
это около Integer массива, но вы можете легко настроить его для строки

Answer 3

Для создания уникальных строк, которые можно использовать в Guid генератор, это стандартный способ для создания уникальных строк, даже на несколько компьютеров.