Scala是否支持嵌套单例类型投影的合法语法？

首先直接给结论：Scala并没有支持C#O.type这种嵌套单例类型投影的直接语法，你尝试的几种写法报错都是因为不符合Scala的类型系统规则，下面来逐一解释并给出可行的替代方案。

为什么你的尝试会报错？ #

1. val x: C#O.type = (new C).O #

Scala的类型投影（#语法）只能用于访问类型成员，而O是C类里定义的单例对象（值成员），不是类型。所以C#O本身就是非法的写法，自然无法再加上.type来获取单例类型。

2. val y: C#(O.type) = (new C).O #

这种写法的语法本身就不合法，Scala不允许在#后面用括号包裹类型，编译器会直接判定为语法错误。

3. val x: c.O.type forSome { val c: C } = (new C).O #

这里的问题出在类型匹配上：

• 右边的(new C).O的类型是C#O.type，这是一个投影类型，表示“任意C实例的O对象的类型”。
• 左边的c.O.type forSome { val c: C }是一个存在类型，表示“存在某个具体的C实例c，它的O对象的类型”。

虽然看起来相似，但Scala的类型系统会把它们视为不同的类型，直接赋值就会触发类型不匹配错误。

可行的解决方案 #

方案1：使用路径依赖类型（针对具体实例） #

如果你需要绑定到某个特定C实例的O单例类型，直接用路径依赖类型即可，这是最直接的写法：

class C { object O }
val c = new C
val x: c.O.type = c.O // 完全合法，类型绑定到具体的c实例

方案2：用存在类型正确抽象 #

如果要抽象地表示“某个C实例的O单例类型”，需要确保右边的表达式是在存在类型的上下文中构造的，比如：

val x: (c.O.type forSome { val c: C }) = {
  val c = new C
  c.O // 这里的c是具体实例，返回的c.O.type会匹配左边的存在类型
}

或者用方法来封装这种逻辑，利用类型参数来保留路径依赖关系：

def getInstanceO[T <: C](c: T): c.O.type = c.O

val c1 = new C
val o1: c1.O.type = getInstanceO(c1)

val c2 = new C
val o2: c2.O.type = getInstanceO(c2)

总结 #

Scala不支持直接通过#投影嵌套的单例类型，因为#仅针对类型成员。处理这类场景的核心是利用路径依赖类型来绑定具体实例，或者通过存在类型/方法封装来抽象处理不同实例的单例类型。

内容的提问来源于stack exchange，提问作者Alexey Romanov