在 FsCheck 中生成唯一字符串

我需要生成独特的非null用作的字符串Dictionary键。我尝试过类似的事情：

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

然后我用UniqueString() in:

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 本身也不会保证唯一性。

在这种情况下，您可以做的是生成一个字符串列表，然后使用该列表进行唯一化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 方法，所以其中一个是 onGen, 1 个已开启IEnumerable)

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