斯卡拉 - 理解类的定义与界限

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

要理解状态函数在做什么，请查看impl icit参数工作：http://docs.scala-lang.org/tutorials/tour/implicit-parameters.html