Scala 具有支持模式匹配中析取的语言功能(“模式替代”):
x match {
case _: String | _: Int =>
case _ =>
}
但是,如果审查满足 PatternA 和 PatternB (联合),我经常需要触发一个操作。
我创建了一个模式组合器“&&”来添加此功能。三句小诗让我想起了为什么我喜欢 Scala!
// Splitter to apply two pattern matches on the same scrutiny.
object && {
def unapply[A](a: A) = Some((a, a))
}
// Extractor object matching first character.
object StartsWith {
def unapply(s: String) = s.headOption
}
// Extractor object matching last character.
object EndsWith {
def unapply(s: String) = s.reverse.headOption
}
// Extractor object matching length.
object Length {
def unapply(s: String) = Some(s.length)
}
"foo" match {
case StartsWith('f') && EndsWith('f') => "f.*f"
case StartsWith('f') && EndsWith(e) && Length(3) if "aeiou".contains(e) => "f..[aeiou]"
case _ => "_"
}
讨论要点
- 有现成的方法可以做到这一点吗?
- 这种方法有问题吗?
- 这种方法可以创建任何其他有用的组合器吗? (例如,
不
) - 是否应该将这样的组合器添加到标准库中?
更新
我刚刚被问到编译器如何解释 case A && B && C
。这些是中缀运算符模式(Scala 引用的第 8.1.9 节)。您还可以使用标准提取模式 (8.1.7) 将其表达为 &&(&&(A, B), C)。请注意表达式如何从左到右关联,按照正常的中缀运算符方法调用,如
Boolean#&&in
val b = true && false && true`。
最佳答案
我真的很喜欢这个技巧。我不知道有任何现有的方法可以做到这一点,而且我预计它不会出现任何问题——但这并没有多大意义。我想不出任何方法来创建 Not
。
至于将其添加到标准库中......也许吧。但我觉得有点难。另一方面,如何说服 Scalaz 人员将其纳入其中?它看起来更像是他们自己的辖区。
关于scala - 与连词的模式匹配(Pattern AND Pattern),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/2261358/