21、基于属性测试的深入探索与实践

基于属性测试的深入探索与实践

1. 基于属性测试概述

在基于属性的测试中，我们会遇到一些有趣的问题。例如，如果我们能在某个范围内生成单个 Int ，是否需要一个新的原语来生成该范围内的 (Int, Int) 对呢？能否从 Gen[A] 生成 Gen[Option[A]] ，反之又如何呢？能否利用现有的原语来生成字符串呢？

依赖生成值的生成器

有时候，我们需要生成依赖于已生成值的生成器。比如，我们想要一个 Gen[(String, String)] ，其中第二个字符串仅包含第一个字符串中的字符；或者有一个 Gen[Int] 能从 0 到 11 中选择一个整数，然后用这个整数作为长度来生成 Gen[List[Double]] 。在这些情况下，我们需要 flatMap 来让一个生成器依赖于另一个生成器。

以下是相关练习：
- 练习 8.6 ：实现 flatMap ，并使用它来实现更动态版本的 listOfN ，将它们添加到 Gen 类中。

extension [A](self: Gen[A]) def flatMap[B](f: A => Gen[B]): Gen[B]
extension [A](self