更新2016/02/25:
尽管我在下面编写的答案仍然足够,但是还值得参考有关案例类的伴随对象的另一个相关答案。即,如何精确地重现编译器生成的隐式伴随对象,该对象仅在定义案例类本身时发生。对我而言,事实证明这与直觉相反。
摘要:
您可以更改案例类参数的值,然后再将其存储在案例类中,非常简单,同时仍保留有效的(已指定)ADT(抽象数据类型)。尽管解决方案相对简单,但是发现细节却更具挑战性。
细节:
如果要确保只能实例化case类的有效实例,这是ADT(抽象数据类型)背后的基本假设,则必须执行许多操作。
例如,copy
默认情况下,案例类提供了编译器生成的方法。因此,即使您非常谨慎地确保仅通过显式伴随对象的apply
方法创建实例(以确保实例只能包含大写字母值)也可以通过以下代码生成具有小写字母值的case类实例:
val a1 = A("Hi There")
val a2 = a1.copy(s = "gotcha")
此外,案例类还实现了java.io.Serializable
。这意味着可以通过简单的文本编辑器和反序列化来破坏只包含大写实例的谨慎策略。
因此,对于使用案例类的各种方式(善意和/或恶意),您必须执行以下操作:
- 对于您的显式伴侣对象:
- 使用与案例类完全相同的名称创建它
- 创建一个
apply
与您的case类的主构造函数具有完全相同的签名的方法
- 提供一个实现,该实现使用
new
运算符获取案例类的实例,并提供一个空的实现{}
- 现在,这将严格按照您的条件实例化案例类
{}
由于声明了案例类,因此必须提供空实现abstract
(请参阅步骤2.1)。
- 对于您的案例类:
- 声明它
abstract
- 防止Scala编译器
apply
在伴随对象中生成方法,而该方法正是导致“方法被定义两次...”的编译错误(上面的步骤1.2)
- 将主要构造函数标记为
private[A]
- 现在,主要构造函数仅可用于case类本身及其伴随对象(我们在上面的步骤1.1中定义的对象)
- 创建一个
readResolve
方法
- 提供一个使用apply方法的实现(上面的步骤1.2)
- 创建一个
copy
方法
- 将其定义为与案例类的主要构造函数具有完全相同的签名
- 对于每一个参数,使用相同的参数名称添加的默认值(例如:
s: String = s
)
- 提供一个使用apply方法的实现(下面的步骤1.2)
这是通过上述操作修改的代码:
object A {
def apply(s: String, i: Int): A =
new A(s.toUpperCase, i) {}
}
abstract case class A private[A] (s: String, i: Int) {
private def readResolve(): Object =
A.apply(s, i)
def copy(s: String = s, i: Int = i): A =
A.apply(s, i)
}
这是实现require(在@ollekullberg答案中建议)并确定放置任何类型的缓存的理想位置之后的代码:
object A {
def apply(s: String, i: Int): A = {
require(s.forall(_.isUpper), s"Bad String: $s")
new A(s, i) {}
}
}
abstract case class A private[A] (s: String, i: Int) {
private def readResolve(): Object =
A.apply(s, i)
def copy(s: String = s, i: Int = i): A =
A.apply(s, i)
}
如果通过Java interop使用此代码,则此版本将更安全/更可靠(将case类隐藏为实现,并创建一个防止派生的最终类):
object A {
private[A] abstract case class AImpl private[A] (s: String, i: Int)
def apply(s: String, i: Int): A = {
require(s.forall(_.isUpper), s"Bad String: $s")
new A(s, i)
}
}
final class A private[A] (s: String, i: Int) extends A.AImpl(s, i) {
private def readResolve(): Object =
A.apply(s, i)
def copy(s: String = s, i: Int = i): A =
A.apply(s, i)
}
尽管这直接回答了您的问题,但还有更多的方法可以在实例类之外扩展实例类之外的路径。为了满足我自己的项目需求,我创建了一个更扩展的解决方案,该解决方案已在CodeReview(StackOverflow姐妹网站)上进行了记录。如果您最终查看,使用或利用我的解决方案,请考虑给我留下反馈,建议或问题,并在合理的范围内,我将尽力在一天之内做出答复。