为什么我的嵌套伴生对象的成员在类中不自动可见？

Question

假设我有这个 Scala 代码：

object Outer {

  object Inner {
    val B = "B"
  }
  class Inner {
    def b = B
  }
}

我希望它能够编译，但是无法从 b 的定义访问 B。我需要在 class Inner 中添加 import Inner._ 才能使其正常工作。这是为什么？伴生对象 Inner 是否未正确定义？

Answer 1

如果将伴生对象的成员导入到类中，则会污染类的名称空间，而程序员无法控制它。对于值来说，这可能没那么糟糕（但仍然很糟糕），但我真的不想看到函数出现这种情况。

想想 apply() 或从特征继承的函数（这两种情况都不能只更改名称而不丢失某些内容）。如果这些函数自动导入到类命名空间中，编译器将不知道使用哪一个。因此，如果类和对象有一个函数 func() ，您最终会在类代码中编写 this.func() 只是为了确定调用哪个函数。

因此，将其视为保持命名空间清洁的一种可能性。您仍然可以使用 import Inner._ 来污染它

Answer 2

它只是不应该以这种方式工作 - 使用 import Inner._ 是一致的行为。

---

一般来说，如果要实现类似于Java中静态成员的行为，就需要伴生对象。 Scala 方法是将所有静态成员移至单例对象，其优点是可以从中访问伴生类的私有/受保护成员：

object Outer {

  object Inner {
    def print(inner: Inner) = inner.B // compiles!
  }    
  class Inner {
    private val B = "B"
  }    
}

您可以使用伴生对象作为具有私有构造函数的类的工厂：

scala> object Outer {
     |
     |   object Inner {
     |     def newInstance = new Inner()
     |   }
     |   class Inner private() {
     |     private val B = "B"
     |   }
     | }
defined module Outer

scala> Outer.Inner.newInstance
res1: Outer.Inner = Outer$Inner@431693

scala> new Outer.Inner
<console>:7: error: constructor Inner cannot be accessed in object $iw
       new Outer.Inner
       ^