Scala - 使用 Bounds 理解类定义

Question

我正在学习 Scala，并且见过一些使用模板构建的类:

喜欢:

class Name[+S <: State](val name: String)


class User[S <: State] {
  def state(implicit n: Name[S]): String = n.name
}

这里的意思<:和+S ？

sate函数是做什么的？

谢谢

Answer 1

以下是一些可能有用的关键字:

对于<:和>: ，检查类型上限和下限:https://twitter.github.io/scala_school/type-basics.html#bounds

对于S+和S- 、协变和逆变类型:https://twitter.github.io/scala_school/type-basics.html#variance

要了解状态函数正在做什么，请查看隐式参数的工作原理:http://docs.scala-lang.org/tutorials/tour/implicit-parameters.html