STARTER_CHARACTER = 🔀 # 解析，不使用 Kotlin 密封类进行验证使用密封类显式表示验证状态。这使得无效状态在域逻辑中无法表示，并将验证推向系统边界。 ## 核心原则 **解析，不验证**意味着将无类型输入转换为边界处的强类型域对象，通过类型系统携带有效性证明。而不是：有趣的过程电子邮件（电子邮件：字符串）{ if (!isValid(email)) 抛出 ValidationException() // 每个函数都必须重新验证或假定有效性 } 这样做：有趣的 processEmail(电子邮件: ValidEmail) { // 类型证明有效，无需检查 } ## 基本模式：有效/无效状态使用密封类来表示可以有效或无效的解析数据：密封类电子邮件{ 数据类 ValidEmail( val 用户：字符串， val 域：字符串， ) : 电子邮件() { 有趣的 stringRepresentation(): String = "$user@$domain" } 数据类无效电子邮件（ val 值：字符串， val _errors: 列表<验证错误>, ) : 电子邮件(), InvalidDataClass { 重写 fun getErrors(): List = _errors } 伴生对象{ @JvmStatic @JsonCreator fun create(createValue: String): 电子邮件 = if (createValue.contains("@")) { createValue.split("@").let { ValidEmail(it.first(), it.last()) } } 否则{ 无效电子邮件( 创造价值， listOf(ValidationError("", "不是有效的电子邮件", createValue)) ） } } } **关键要素：** * 作为家长的密封班级（电子邮件） * 具有解析结构的 ValidEmail（用户、域） * InvalidEmail 保留原始值 + 错误 * 用于解析的静态`create()`工厂 * `@JsonCreator` 用于 Jackson 集成 ## 验证错误模型标准错误表示：数据类验证错误（ val path: String, // 字段路径（例如“address.city”） val message: String, // 人类可读的消息 val value: String, // 无效值）接口无效数据类{ 有趣的 hasErrors(): Boolean = getErrors().isNotEmpty() fun getErrors(): List } 所有无效状态都实现“InvalidDataClass”以统一暴露错误。 ## 复合验证通过组合经过验证的类型来构建复杂类型：密封类地址{ 数据类有效地址（ val streetName：字符串， val城市：字符串， val 邮政编码：字符串， val国家：字符串， ) : 地址() 数据类无效地址（ val streetName：字符串？，瓦尔城市：字符串？， val 邮政编码：字符串？， val国家：字符串？， val _errors: 列表<验证错误>, ) : 地址(), 无效数据类 { 重写 fun getErrors(): List = _errors } 伴生对象{ @JvmStatic @JsonCreator 有趣的创造（街道名称：字符串？，城市：字符串？，邮政编码：字符串？，国家：字符串？， ): 地址{ if (streetName.isNullOrEmpty() || city.isNullOrEmpty() || postCode.isNullOrBlank() ||国家.isNullOrBlank()) { 返回无效地址（街道名称、城市、邮政编码、国家/地区、 listOf(ValidationError("", "缺少必填字段", "...")) ） } 返回 ValidAddress(街道名称、城市、邮政编码、国家/地区) } } } **InvalidAddress 保留所有输入：** 即使无效数据也会保留，以便您可以向用户返回有意义的错误消息。 ## 嵌套有效状态有效状态可以有自己的层次结构：密封类注册表格{ 数据类无效（有效电子邮件：电子邮件， val 匿名：布尔值，值名称：字符串？， val 地址：地址？， val _errors: 列表<验证错误>, ) : RegistrationForm(), InvalidDataClass { 重写 fun getErrors(): List = _errors } 密封类有效（ open val email: Email.ValidEmail, // 仅允许 ValidEmail！ ) : 注册表格() { 数据类匿名注册（ val _email: 电子邮件.ValidEmail, ) : 有效(_email) 数据类注册( val _email: 电子邮件.ValidEmail, 值名称：字符串， val address: Address.ValidAddress, // 只允许使用 ValidAddress！ ) : 有效(_email) } 伴生对象{ @JvmStatic @JsonCreator 有趣的创造（电子邮件：电子邮件，匿名：布尔值，名称：字符串？，地址：地址？， ): 登记表 { // 从嵌套的验证类型中收集错误 val错误=mapOf（“电子邮件”到电子邮件，“地址”到地址） .filter { it.value 是 InvalidDataClass } .flatMap {（键，值）-> （值为 InvalidDataClass）.getErrors() .map { 错误 -> 错误.复制( 路径 = key + if (error.path.isNotEmpty()) ".${error.path}" else "" ） } } 当{时返回 error.isNotEmpty() -> 无效（电子邮件、匿名、姓名、地址、错误）匿名 -> Valid.AnonymousRegistration（电子邮件为 Email.ValidEmail）名称！= null -> Valid.Registration( 电子邮件为 Email.ValidEmail，名字，地址为 Address.ValidAddress ）否则 -> 无效（电子邮件、匿名、姓名、地址、 listOf(ValidationError("", "无效组合", "")) ） } } } } **注意类型：** * `Valid.Registration` 需要 `Email.ValidEmail` 和 `Address.ValidAddress` * 无效大小写可以包含任何“电子邮件”和“地址”（有效或无效） * 错误通过路径传播（“email”、“address.city”） ## 控制器模式使用“when”处理边界处的有效/无效情况：密封类 ControllerResponse { 数据类 OkResponse(val 结果: String) : ControllerResponse() 数据类 ErrorResponse(val 错误: List) : ControllerResponse() } 类注册控制器（私有val RegistrationService：RegistrationService，）{ 私有 val 映射器 = jacksonObjectMapper() 有趣的registerUser(jsonString: String): ControllerResponse = 当（val解析：RegistrationForm = mapper.readValue（jsonString））{ 是 RegistrationForm.Valid -> { RegistrationService.createNewRegistration（已解析）当（解析）{ 是 RegistrationForm.Valid.Registration -> ControllerResponse.OkResponse("恭喜${parsed.name}！") 是 RegistrationForm.Valid.AnonymousRegistration -> ControllerResponse.OkResponse("恭喜！") } } 是 RegistrationForm.Invalid -> ControllerResponse.ErrorResponse(parsed.getErrors()) } } **关键方面：** * 在边界处解析JSON * `when` 表达式详尽地处理有效/无效 * 服务仅接收有效类型 * 错误自动收集并返回 ## 杰克逊整合使用 `@JsonCreator` 挂钩 Jackson 解析：伴生对象{ @JvmStatic @JsonCreator fun create(param1: Type1, param2: Type2): SealedClass { // 验证逻辑在这里 } } Jackson 在反序列化期间调用“create()”，让您可以控制验证。 **依赖关系：** 实现（“com.fasterxml.jackson.module：jackson-module-kotlin”） **用途：** val 映射器 = jacksonObjectMapper() 解析的val：RegistrationForm = mapper.readValue(jsonString) // 解析后要么有效，要么无效 ## 好处 **类型安全：** * 无效状态在域逻辑中无法表示 * 编译器防止将无效数据传递给需要有效类型的函数 * `when` 表达式确保所有情况都得到处理 **错误集合：** * 一次收集多个验证错误 * 嵌套错误保留字段路径 * 保留原始无效值以供调试 **可维护性：** * 验证逻辑集中在`create()`工厂中 * 域逻辑仅对有效类型进行操作 * 验证数据和未验证数据之间的清晰界限 **重构安全性：** * 如果不处理，向有效类型添加新字段会出现编译器错误 * 更改验证规则不会影响域逻辑 * IDE 自动完成显示所有有效/无效状态 ## 何时使用此模式 **在以下情况下使用密封类进行验证：** * 解析外部输入（JSON、CSV、用户表单） * 多个字段必须一起验证 * 需要收集多个验证错误 * 应保留无效数据以供错误报告 * 验证规则复杂或经常变化 **请勿在以下情况下使用：** * 简单的非空检查（使用 Kotlin 的 `?` 类型） * 无组合的单字段验证 * 数据已经由外部系统验证（数据库限制） * 性能至关重要（增加分配开销） ## 测试策略 **测试有效的状态创建：** @测试有趣的 shouldParseValidEmail() { val parsed = Email.create("user@example.com") assertThat(parsed).isInstanceOf(Email.ValidEmail::class.java) （解析为 Email.ValidEmail）.let { assertThat(it.user).isEqualTo(“用户”) assertThat(it.domain).isEqualTo("example.com") } } **测试无效状态创建：** @测试有趣的shouldParseInvalidEmail() { val parsed = Email.create("不是电子邮件") assertThat(parsed).isInstanceOf(Email.InvalidEmail::class.java) （解析为 Email.InvalidEmail）.let { assertThat(it.value).isEqualTo(“不是电子邮件”) assertThat(it.getErrors()).isNotEmpty() } } **测试复合验证：** @测试有趣的 shouldCollectNestedErrors() { val 表单 = RegistrationForm.create( email = Email.create("无效"), 匿名=假，名称=空，地址 = Address.create(null, null, null, null) ） assertThat(form).isInstanceOf(RegistrationForm.Invalid::class.java) （形式为 RegistrationForm.Invalid）.let { val errorPaths = it.getErrors().map { e -> e.path } assertThat(errorPaths).contains("电子邮件", "地址") } } **测试控制器处理：** @测试有趣的shouldReturnErrorResponseForInvalidInput（）{ val response = controller.registerUser("""{"email": "bad"}""") assertThat(response).isInstanceOf(ControllerResponse.ErrorResponse::class.java) （响应为 ControllerResponse.ErrorResponse）.let { 断言（it.errors）.isNotEmpty（） } } ## 现实世界的例子查看完整的工作示例： * 域名：[RegistrationDomain.kt]() * 控制器：[ControllerLikeRegistrationController.kt]() * 测试：[ParsingTest.kt]() ## 反模式 **不要在域中验证：** // 不好 - 验证分散在整个域中有趣的过程注册（电子邮件：字符串，名称：字符串）{ require(email.contains("@")) { "无效的电子邮件" } require(name.isNotBlank()) { "名称必填" } // ... 业务逻辑 } 在边界处进行验证，将验证的类型传递给域： // 好 - 边界验证，域接收有效类型有趣的流程注册（注册：RegistrationForm.Valid.Registration）{ // Registration.email为ValidEmail，无需验证 } **不要丢失原始无效值：** // 不好 - 无法告诉用户他们发送了什么数据类 InvalidEmail(val _errors: List) : Email() 保持原值： // 好 - 可以向用户显示他们发送的内容数据类无效电子邮件（ val value: String, // 保留原始输入 val _errors：列表<验证错误> ) : 电子邮件() **不要使用异常进行预期验证：** // BAD - 预期无效输入的异常有趣的创建（电子邮件：字符串）：ValidEmail { if (!isValid(email)) 抛出 ValidationException() 返回有效电子邮件（...） } 返回代表有效/无效的密封类： // 好 - 预期输入无效，并非例外 fun create(email: String): Email { // 返回有效或无效 if (!isValid(email)) 返回 InvalidEmail(...) 返回有效电子邮件（...） } ## 相关模式 * **面向铁路的编程**：Result 类型（类似但功能更丰富） * **类型驱动开发**：使用类型来指导设计 * **领域驱动设计**：聚合边界验证 ## 参考文献 * [解析，不验证]() 作者：Alexis King * [让非法国家变得不可代表]() 作者：Scott Wlaschin * [JavaZone 2022 上的类型驱动开发演讲]()

Kotlin 求和类型

包含技能