【发布时间】:2013-06-30 02:38:08
【问题描述】:
我有带有一些样板的 Scala 代码,我认为它是 Scala,所以我一定做错了什么。我需要一些帮助来弄清楚如何删除冗余。
trait Number {
val x: Int
}
case class EvenNumber(x: Int) extends Number
object EvenNumber {
def unapply(s: String): Option[EvenNumber] = {
val x = s.toInt
if (x % 2 == 0) Some(EvenNumber(x))
else None
}
}
case class OddNumber(x: Int) extends Number
object OddNumber {
def unapply(s: String): Option[OddNumber] = {
val x = s.toInt
if (x % 2 == 1) Some(OddNumber(x))
else None
}
}
在这个简单的例子中,偶数和奇数是一般数字类型的子类型。偶数和奇数都有提取器,可以从字符串中创建它们。这支持以下用例。
scala> "4" match {case EvenNumber(n) => n;case _ => None}
// returns EvenNumber(4)
scala> "5" match {case EvenNumber(n) => n;case _ => None}
// returns None
scala> "4" match {case OddNumber(n) => n;case _ => None}
// returns None
scala> "5" match {case OddNumber(n) => n;case _ => None}
// returns OddNumber(5)
除了x % 2 操作的结果(0 或1)和提取的类型(EvenNumber 或OddNumber)之外,这两个提取器的源代码是相同的。我希望能够编写一次源代码并对这两个值进行参数化,但我不知道如何。我尝试了各种类型参数化都无济于事。
Stackoverflow 问题“How to use extractor in polymorphic unapply?”是相关但不同的,因为我的实现类不是通过它们包含的类型来区分,而是通过它们识别的字符串输入来区分。
除了原始帖子之外,这是包含我收到的 cmets 的代码的修订版本。 (通常情况下,第一轮答案帮助我弄清楚我的真正问题是什么。)
import scala.util.Try
trait Number {
val x: Int
}
object NumberParser {
def parse[N <: Number](s: String, remainder: Int, n: Int => N): Option[N] =
Try {s.toInt}.toOption.filter(_ % 2 == remainder).map(n(_))
}
case class EvenNumber(x: Int) extends Number
object EvenNumber {
def unapply(s: String): Option[EvenNumber] = NumberParser.parse(s, 0, EvenNumber(_))
}
case class OddNumber(x: Int) extends Number
object OddNumber {
def unapply(s: String): Option[OddNumber] = NumberParser.parse(s, 1, OddNumber(_))
}
分解出静态NumberParser.parse 函数是一个合理的解决方案。我仍然希望有语法糖来避免我在所有案例类中重复 unapply 行,因为在一个更复杂的示例中,有两个以上可能会变得丑陋。有谁知道这样做的方法吗?
更关键的是,我真正想要支持的用例如下。
scala> "5" match {case EvenNumber(n) =>n;case OddNumber(n) => n;case _ => None}
// returns OddNumber(5)
scala> "4" match {case EvenNumber(n) =>n;case OddNumber(n) => n;case _ => None}
// returns EvenNumber(4)
scala> "x" match {case EvenNumber(n) =>n;case OddNumber(n) => n;case _ => None}
// returns None
同样,这对于两种情况都很好,但在有两个以上的不同应用程序中,它可能变得难以管理。我想写一个案例
s match {case Number(n) => n; case _ => None}
如上返回OddNumber(5)、EvenNumber(4)、None。
我不知道如何编写我的Number 超类型来支持这一点。在 Scala 中可以吗?
编辑:在“Runtime Polymorphism with Scala Extractors”中写了我的最终答案的描述和附加评论。
【问题讨论】:
-
查看我对
Number实施的更新答案。
标签: scala polymorphism unapply