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

Question

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

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

（ 原始定义来自“ autowire”项目 ）

[Result:Reader]和[Result:Writer]部分的确切含义是什么？

如何解释？ 读者，作家和结果之间是什么关系？

Answer 1

结果-读写方法的类型参数化。 它可以是T，但是T已用于特征定义中，因此作者为类型形参选择了更长的名称。

：Reader和：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
}

但是，特质定义中根本不使用Result有点奇怪。 但是，完全可以。