在 FsCheck 中生成唯一字符串

本文关键字：唯一 字符串 FsCheck | 更新日期: 2023-09-27 18:30:33

我需要生成唯一的非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 的构造函数中？

在 FsCheck 中生成唯一字符串

您不能强制 FsCheck 生成器生成唯一值，因为您基本上无法访问以前生成的值的历史记录，FsCheck 本身也不保证唯一性。

在这种情况下，您可以做的是生成一个字符串列表，然后使用 Distinct() 对列表进行唯一化。然后，您还可以使用类似的方法生成 Foo 的列表。

例如：

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

（请注意，您不能使用 from 来获取ss，因为 C# 不允许您混合使用不同的 LINQ 方法，一个在 Gen 上，一个在 IEnumerable 上）

一个提议，我想知道这是否不是您要检查的额外属性。如果Foo的用户应该给它一个唯一的字符串，如何支持？如果他们不这样做会怎样？

若要生成唯一字符串，可以使用 Guid 生成器，这是生成唯一字符串的标准方法，即使在多台计算机上也是如此。

您可以在插入字典之前添加一个简单的检查，而不是生成 uniq 字符串。

更新：还行。在生成后洗牌您的字符串。你可以在这里
阅读它是关于整数数组的，但您可以轻松地为字符串自定义它

相关文章：