使用Scala的私人最终修饰符？

发布时间：2020-12-16 09:12:44 所属栏目：安全来源：网络整理

导读：什么可以在 Scala中使用私有最终修饰符？给出以下代码： 1| class A { def callFoo = foo; private final def foo = "bar of A" }2| class B extends A { private final def foo = "bar of B"}3| println((new A()).callFoo)4| println((new B()).callFoo)

什么可以在 Scala中使用私有最终修饰符？

给出以下代码：

1| class A { def callFoo = foo; private final def foo = "bar of A" }
2| class B extends A { private final def foo = "bar of B"}
3| println((new A()).callFoo)
4| println((new B()).callFoo)

第3行和第4行打印：

1| bar of A
2| bar of A

可以理解为什么第2行不打印B栏,因为实际上有两个foo定义,而B中的后者不会覆盖A中的前者.否则,Scala将需要override而不是final修饰符.

那么为什么Scala不是简单地禁止修改器私有决策的组合呢？

解决方法

好的,这很棘手.你的问题：“那为什么斯卡拉不是简单地禁止修改人私人决赛的组合？”是基于这种组合没有用的假设.

假设你是对的(除了一个细节,你将会被稍后提及).我不是编译器的人,但从我的观点来看,“简单的禁止”根本就不是那么简单(至少在这种情况下).为什么有人试图这样做？什么是权衡？只因为有用的东西不一定意味着它是有害的.只是不要使用它…

现在这里有你似乎忽略的细节.私有修饰符是可见性修饰符,这意味着B类不知道它的存在.但是,Scala的可见性修饰器比Java更复杂一些.我们假设无论什么原因,您都需要以下代码片段中显示的代码,编译器将不会允许它.

package scope

class A {
  def callFoo = foo;
  private[scope] final def foo = "bar of A"
}
class B extends A {
  private[scope] final def foo = "bar of B"
}

object Main extends App {
  println((new A()).callFoo)
  println((new B()).callFoo)
}

这是编译器提供的错误之一：“方法foo不能覆盖最终成员”.

所以这里你去. Scala只是禁止这种组合;)

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!