scala - 为什么私有(private)构造函数在案例类中仍然可见？

Question

我想将构造函数及其字段隐藏在一个类中，并且仅使用伴随对象创建实例，但我无法实现这一点。我有 scala 2.13.3，它基于 java 8。这是一个代码示例:

A.scala

package X

object A {
  def apply(x: Int): A = A(Seq(x))
}

case class A private(private val s: Seq[Int])

B.scala

package Y

import X.A

class B {
  val b = A(Seq.empty)
}

虽然我只想使 apply(x:Int) 可见，但该代码会编译，因此私有(private)构造函数也可见。如何更改此代码以使其按我的预期工作？

Answer 1

将方法 A.apply(Seq[Int]) 也设为私有(private)

A.scala

package X

object A {
  def apply(x: Int): A = A(Seq(x))
  private def apply(s: Seq[Int]): A = new A(s) // make explicit and private instead of auto-generated and public
}

case class A private(private val s: Seq[Int])

B.scala

package Y

import X.A

class B {
  //val b = A(Seq.empty) // doesn't compile
}

这里的行 val b = A(Seq.empty) 产生错误

Error: polymorphic expression cannot be instantiated to expected type;
 found   : [A]Seq[A]
 required: Int

即方法 A.apply(Seq[Int]) 在 B 中不可见。