scala - Scala：通过包外的结构类型访问包可见方法

Question

这不能按预期工作（因为我试图run从外部调用私有包Services）：

object Services {
 class HelloPrinter {
   private[Services] def run = "Hello"
  }  
}

val obj = new Services.HelloPrinter

但是，令人惊讶的是，这有效：

val obj: {def run: String} = new Services.HelloPrinter
obj.run

我想说，它是编译器中的一个错误，因为由于包可见性规则，HelloPrinter 与结构类型不匹配，所以它根本不应该编译！

这是程序编译但抛出运行时异常（java.lang.NoSuchMethodException）的情况：

class HelloPrinter {
  private[HelloPrinter] def run = "Hello"
}  

val obj: {def run: String} = new HelloPrinter
obj.run

这是我缺少的语言功能或规则，还是 Scala 中的合法错误？

score 4 · Accepted Answer

在 JVM 级别上，范围为周围实例/类型的可见性不存在。在这种情况下，Scala 编译器将生成一个公共方法并在内部处理这种可见性。

如果您使用结构类型，编译器将反射性地访问此类型的成员。它不会检查 Scala 特定的可见性标志，而只会检查 Java 字节码中定义的可见性标志。

您没有提及您使用的是哪个版本的 Scala 编译器，但我认为这是您特定版本中的错误。尝试编译时，我得到与 Jasper-M 相同的结果。原因是编译器生成的方法实际上是以类型名称为前缀的，即HelloPrinter$$run在这种情况下。将执行以下代码：

val x: { def HelloPrinter$$run: String  } = new HelloPrinter
x.run

同样，Scala 编译器只是生成一个公共方法并在内部管理可见性。编译器不检查结构类型的 Scala 内部可见性不是一个特性，而是一个错误。

1 回答 1