scala中的“某物”是什么

scala中的“某物”是什么,scala,Scala,我在Scala中发现了以下语法。我从未见过#,也找不到关于它的很多信息?#是什么意思 case class WithRole(role: Role) extends Authorization[User, DefaultEnv#A] 这是scala中引用类型的一种方法。我深入引用Scala的话: Scala中的类型通过两种机制引用:散列(#)和点(.) 接线员。可以认为点运算符对类型的作用与对类型的作用相同 对象的成员。它引用在特定对象实例上找到的类型。这是 称为路径依赖类型。使用点运算符定义

我在Scala中发现了以下语法。我从未见过
#
,也找不到关于它的很多信息?
#
是什么意思

case class WithRole(role: Role) extends Authorization[User, DefaultEnv#A]

这是scala中引用类型的一种方法。我深入引用Scala的话:

Scala中的类型通过两种机制引用:散列(#)和点(.) 接线员。可以认为点运算符对类型的作用与对类型的作用相同 对象的成员。它引用在特定对象实例上找到的类型。这是 称为路径依赖类型。使用点运算符定义方法时 对于特定类型,该类型绑定到对象的特定实例。这意味着 不能使用来自同一类的不同对象的类型来满足任何类型 使用点运算符生成的约束。最好的办法是有一个 由点运算符连接的特定对象实例的路径。对于一个变量 与您的类型匹配,它必须遵循相同的对象实例路径。你可以看到一个考试- 这件事以后再说吧。 散列运算符(#)的限制比点运算符宽松。它被称为 类型投影,这是一种引用嵌套类型而不需要 对象实例的路径。这意味着您可以引用嵌套类型,就像它 没有嵌套