这个 Scala 类型参数声明是什么意思？ [甲：乙]

Question

最近我看到了一个类似于这个定义的特征：

trait Server[T, Reader[_], Writer[_]] {
  def read[Result:Reader](t: T): Result
  def write[Result:Writer](r: Result): T
}

（original definition取自"autowire" project）

[Result:Reader] 和 [Result:Writer] 部分到底是什么意思？

如何解释？ Reader、Writer 和 Result 是什么关系？

Answer 1

结果 - 读取和写入方法的类型参数化。可以是 T，但是 T 已经在 trait 定义中使用了，所以作者为类型参数取了一个长一点的名字。

:Reader and :Writer - 意味着它应该在类型 Result 的范围内为 Reader 和 Writer 类型类

更多关于上下文边界的信息可以在这里找到：http://docs.scala-lang.org/tutorials/FAQ/context-and-view-bounds.html

可以这样改写：

trait Server[T, Reader[_], Writer[_]] {
  def read[Result](t: T)(implicit reader: Reader[Result]): Result
  def write[Result](r: Result)(implicit writer: Writer[Result]): T
}

然而，在 trait 定义中根本没有使用 Result 有点奇怪。但完全没问题。