模式与连词匹配(PatternA和PatternB)

Question

Scala具有支持模式匹配中的析取的语言功能('Pattern Alternatives'):

x match {
    case _: String | _: Int => 
    case _ =>
}

但是,如果仔细检查满足PatternA 和 PatternB(连接),我经常需要触发一个动作.

我创建了一个模式组合器'&&',它增加了这个功能.三条小线条让我想起为什么我爱斯卡拉!

// 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 _ => "_"
}

讨论要点

1. 有现成的方法吗？
2. 这种方法有问题吗？
3. 这种方法可以创建任何其他有用的组合器吗？(例如Not)
4. 这样的组合器是否应该添加到标准库中？

更新 我刚刚被问到编译器如何解释case A && B && C.这些是中缀运算符模式(Scala参考的第8.1.9节).您也可以使用标准提取模式(8.1.7)将其表示为&&(&&(A, B), C).' Notice how the expressions are associated left to right, as per normal infix operator method calls like布尔#&& inval b = true && false && true`.

Answer 1

我真的很喜欢这个技巧.我不知道有任何现有的方法可以做到这一点,我也没有预见到它的任何问题 - 但这并不意味着什么.我想不出有什么方法可以创造一个Not.

至于将它添加到标准库......也许吧.但我认为这有点难.另一方面,如何与Scalaz人交谈包括它？它看起来更像是他们自己的bailiwick.

Answer 2

可能的问题是模式匹配器生成的膨胀转换.以下是使用生成的示例程序的翻译scalac -print.甚至-optimise无法简化if (true) "_" else throw new MatchError()表达式.

大型模式匹配已经产生比单个方法合法的更多字节码,并且使用该组合器可能放大该问题.

如果&&内置于该语言中,翻译可能更智能.或者,小改进-optimise可能会有所帮助.