Question

我想了解下面这段代码。但我不知道R＃X是什么意思。有人能帮帮我吗？

 // define the abstract types and bounds
 trait Recurse {
    type Next <: Recurse
// this is the recursive function definition
    type X[R <: Recurse] <: Int
 }
// implementation
 trait RecurseA extends Recurse {
    type Next = RecurseA
  // this is the implementation
    type X[R <: Recurse] = R#X[R#Next]
 }
object Recurse {
  // infinite loop
  type C = RecurseA#X[RecurseA]
}

Answer 1

您可以从类的现有实例中获取类型：

class C {
  type someType = Int
}
val c = new C
type t = c.someType

或者可以在不实例化对象的情况下直接寻址到类型：C#someType此表单对于没有空间来创建中间变量的类型表达式非常有用。

根据评论中的建议添加一些说明。

免责声明：我对Scala的类型系统的工作原理只有部分了解。我曾多次尝试阅读文档，但只能从中提取不完整的知识。但是我在scala方面有丰富的经验，可以很好地预测个别情况下的编译器行为。

#调用类型投影和类型投影赞美通过.进行正常的分层类型访问在每个类型表达式中，scala隐式使用两者。

scala参考提供了此类不可见转换的示例：

t                        ə.type#t
Int                      scala.type#Int
scala.Int                scala.type#Int
data.maintable.Node      data.maintable.type#Node

正如使用所见，类型投影的每个微不足道的用法实际上都适用于类型（即.type返回）而不是对象。主要的实际区别（我对定义不好）是对象类型是对象本身就是短暂的东西。它的类型可以在适当的情况下改变，例如继承抽象类类型。相比之下，类型（类型投影的定义）与太阳一样稳定。在scala中的类型（不要与类混合）不是一等公民，不能进一步覆盖。

有适合放置类型表达的不同地方。还有一些地方只允许稳定的类型。因此，对于类型而言，类型投影基本上是不变的。

什么A＃B在scala中意味着什么

1 个答案: