如何在jqwik与Kotlin中生成符合指定要求的正整数列表？

你遇到的问题是**@Positive注解的位置错误**——它被应用在List参数本身上，而非列表内的元素，导致无法约束元素为正数，进而出现负数。

修正后的代码 #

@Property
fun testMethodName(
  @ForAll
  @Size(min = 0, max = 1_500)
  @UniqueElements
  partials: List<@IntRange(min = 1, max = 10000) Int>
) = runTest { ... }

关键说明 #

• 列表长度控制：@Size(min = 0, max = 1_500) 直接作用于List参数，确保长度在0到1500之间。
• 元素唯一性：@UniqueElements 作用于List参数，保证列表内所有元素唯一。
• 元素值约束：@IntRange(min = 1, max = 10000) 标注在泛型参数Int前，直接约束每个列表元素的取值范围为1到10000（已包含正数要求，无需额外@Positive）。

内容的提问来源于stack exchange，提问作者Akhha8