给定某种路径相关类型的值，如何获取“容器”的实例？

Question

用代码更容易解​​释：

class Bippy {
  val x = 42

  class Boppy {
    val y = "hello world"
  }

  val bop = new Boppy
}

val bip = new Bippy
val bop: Bippy#Boppy = bip.bop

bop 然后被提供给另一个方法，该方法需要从包含 Bippy 的实例中查找值 x。有什么神奇的咒语可以做到这一点？

实例 bop 来自我无法控制的代码，因此此处无法向 Boppy 添加新方法。

Answer 1

你不能。至少不是没有作弊。以下是如何作弊。

def getOuter(bop : Bippy#Boppy) = 
   bop.asInstanceOf[{def Bippy$Boppy$$outer() : Bippy}].Bippy$Boppy$$outer()

显然，这很大程度上取决于 scalac 今天如何工作的细节，并且不能保证它明天也能工作。

Answer 2

正如詹姆斯所说，你不能。他的作弊让我眼睛流血，我建议做点别的事情来代替;-)

我强烈建议如果可以的话修改 bop 的消费者。不要向他们提供 Bippy#Boppy 的实例，而是向他们提供一对由依赖类型的值和该类型所依赖的值组成的对，

trait DependentPack {
  val bippy : Bippy
  val boppy : bippy.Boppy
}

val bip = new Bippy
val bop = bip.bop
val dep = new DependentPack { val bippy = bip ; val boppy = bop }
foo(dep)

def foo(dp : DependentPack) = {
  import dp._
  // use bippy ...
  // use boppy ...
}

请注意，这在一定程度上是针对缺乏依赖方法类型的解决方法（在 scalac 中启用）通过添加 -Ydependent-method-types 或 -Xexperimental 命令行开关）。如果我们拥有它们，那么我们可以删除像 DependentPack 这样的工件并重写上面的内容，

val bip = new Bippy
val bop = bip.bop
foo(bip)(bop)

def foo(bippy : Bippy)(boppy : bippy.Boppy) = {
  // use bippy ...
  // use boppy ...
}

不用说，我认为默认启用依赖方法类型将是非常可取的。除非您非常小心，否则依赖类型的重要使用会在缺少它们时带来巨大的痛苦。