jqwik中在@Provide方法中使用@ForAll处理集合的正确姿势

// 领域模型
public class Name {
  public final String first;
  public final String last;
  public Name(String f, String l) { 
    this.first = f;
    this.last = l;
  }
}

// jqwik 领域上下文
public class NameDomain extends DomainContextBase {
  @Provide
  public Arbitrary<Name> arbName() {
    return Combinators.combine(
      Arbitraries.strings().alpha(), 
      Arbitraries.strings().alpha()
    ).as(Name::new);
  }
}

// 错误的 @Provide 方法，试图在参数中使用 @ForAll 和 @Domain 上下文
public class NameProperties {
  @Provide
  @Domain(NameDomain.class) // <-- 错误：@Domain 不应放在这里
  public Arbitrary<Set<String>> namesToParse(
    @ForAll @Size(min = 1, max = 4) Set<Name> names) {
    // ... 代码 ...
    return Arbitraries.just(new HashSet<>()); // 示例返回
  }

  @Property
  public void namesAreParsed(@ForAll("namesToParse") Set<String> names) {
    // ... 代码 ...
  }
}

// 方式一：将 @Domain 应用于属性方法
public class NameProperties {
  // ... 其他代码 ...

  @Property
  @Domain(NameDomain.class) // <-- 正确：@Domain 应用于属性方法
  public void namesAreParsed(@ForAll("namesToParse") Set<String> names) {
    // ... 代码 ...
  }
}

// 方式二：将 @Domain 应用于测试类
@Domain(NameDomain.class) // <-- 正确：@Domain 应用于测试类
class NameProperties { 
  // ... 属性方法和提供方法 ...
}

public class NameProperties {
  // ... NameDomain 保持不变 ...

  @Provide
  @Domain(NameDomain.class) // 如果整个类都使用NameDomain，也可以放在类上
  public Arbitrary<Set<String>> namesToParse() {
    // 1. 获取 Name 类型的默认 Arbitrary，这会利用 NameDomain 中定义的 arbName()
    SetArbitrary<Name> namesArbitrary = Arbitraries.defaultFor(Name.class)
                                                    .set()
                                                    .ofMinSize(1)
                                                    .ofMaxSize(4);

    // 2. 对生成的 Name 集合进行映射，转换为 Set<String>
    // mapEach 方法允许你对集合中的每个元素进行转换
    return namesArbitrary.map(nameSet -> {
        Set<String> parsedNames = new HashSet<>();
        for (Name n : nameSet) {
            parsedNames.add(n.first + " " + n.last);
        }
        return parsedNames;
    });

    // 或者，如果每个元素转换独立，可以使用 mapEachValue
    // return namesArbitrary.mapEachValue((index, n) -> n.first + " " + n.last);
  }

  @Property
  @Domain(NameDomain.class) // 确保属性测试能访问 NameDomain
  public void namesAreParsed(@ForAll("namesToParse") Set<String> names) {
    // 这里的 names 会由上面的 namesToParse() 方法提供
    // ... 对 names 进行测试 ...
    System.out.println("Parsed names: " + names);
    assert !names.isEmpty();
  }
}