Scala中特质的依赖类型约束：如何强制请求响应类型匹配？

你可以通过在特质层面为关联类型添加精确的类型约束，来强制请求与响应的双向配对关系，确保Request的Response类型对应的Request必须是自身，反之亦然。

实现代码 #

sealed trait MyRequest {
  // 约束Response必须是MyResponse的子类型，且其Request类型严格等于当前Request类型
  type Response <: MyResponse { type Request = this.type }
}

sealed trait MyResponse {
  // 约束Request必须是MyRequest的子类型，且其Response类型严格等于当前Response类型
  type Request <: MyRequest { type Response = this.type }
}

// 合法的配对定义
case class SayHelloRequest(name: String) extends MyRequest {
  override type Response = SayHelloResponse
}

case class SayHelloResponse(greeting: String) extends MyResponse {
  override type Request = SayHelloRequest
}

约束效果验证 #

如果尝试定义不匹配的请求/响应对，编译器会直接报错：

1. 错误示例1：请求关联了错误的响应

// 编译报错：无法证明SayHelloResponse的Request类型等于BadRequest
case class BadRequest(name: String) extends MyRequest {
  override type Response = SayHelloResponse
}

2. 错误示例2：响应关联了错误的请求

// 编译报错：无法证明SayHelloRequest的Response类型等于BadResponse
case class BadResponse(message: String) extends MyResponse {
  override type Request = SayHelloRequest
}

原理说明 #

通过在MyRequest的Response类型上添加{ type Request = this.type }的结构类型约束，强制所有实现MyRequest的类，其Response类型必须是一个MyResponse，且该Response的Request类型严格等于当前请求的实际类型。同理MyResponse对Request的约束也保证了反向的配对一致性，完全满足你提出的MyRequest#Response#Request =:= MyRequest和MyResponse#Request#Response =:= MyResponse类型等价要求。

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