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

问题描述 投票:0回答:1

这不能按预期工作(因为我试图从外部调用私有包

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 中的一个合法错误?

scala reflection access-modifiers nosuchmethoderror structural-typing
1个回答
4
投票

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

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

您没有提到您正在使用哪个版本的 Scala 编译器,但我认为这是您特定版本中的一个错误。当尝试编译它时,我得到了与 Jasper-M 相同的结果。原因是编译器生成的方法实际上以类型名称为前缀,即本例中的

HelloPrinter$$run
。将执行以下代码:

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

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

© www.soinside.com 2019 - 2024. All rights reserved.