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

发布时间：2020-12-16 18:12:08 所属栏目：安全来源：网络整理

导读：我想了解下面这段代码.但我不知道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 Recurs

我想了解下面这段代码.但我不知道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]
}

解决方法

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

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

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

添加一些澄清,如评论中所建议的那样.

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

#call类型投影和类型投影补充通常的分层类型访问.在每个类型表达式中,scala隐式使用两者.

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

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

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

有适合将类型表达式放入的不同位置.还有一些地方只允许稳定的类型.所以基本上类型投影对于类型的术语更加恒定.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!