Question

所有事情都是从几个方面考虑的：

提取器是Scala对象，它实现了一些具有某些特性的unapply方法（直接来自“Scala第2版编程”，我已经检查过了）
对象是在静态范围内初始化的单例懒惰

我试图在case类的形式下实现一种“参数提取器”，试图为SHA1检查提供一个优雅的模式。

我想检查一个缓冲区的SHA1列表，以匹配它们中的哪一个适用。我想写这样的东西：

val sha1: Array[Byte] = ...
val sha2: Array[Byte] = ...

buffer match {
  case SHA1(sha1) => ...
  case SHA1(sha2) => ...
  ...
}

好吧，看起来很奇怪，但现在不要打扰。

我试图通过简单地实现像这样的案例类

来解决问题

case class SHA1(sha1: Array[Byte]) {
  def unapply(buffer: Array[Byte]): Boolean = ...
}

并像

一样使用它

case SHA1(sha1)() =>

甚至

case (SHA1(sha1)) =>

但它不起作用：编译器失败。

然后我稍微更改了代码：

val sha1 = SHA1(sha1)
val sha2 = SHA1(sha2)
buffer match {
  case sha1() => println("sha1 Match")
  case sha2() => println("sha2 Match")
  ...
}

它没有任何问题。

问题是：

Q1 ：使用这种“提取器”有任何微妙的含义

Q2 ：如果最后一个示例有效，我应该使用哪种语法来避免定义临时val？（如果任何提供的编译器的作业匹配... case表达式）

修改 Aaron提出的解决方案也不起作用。一个片段：

case class SHA1(sha1: Array[Byte]) { 
  def unapply(buffer: Array[Byte]) = buffer.length % 2 == 0
}

object Sha1Sample {
  def main(args: Array[String]) {
    println("Sha1 Sample")

    val b1: Array[Byte] = Array(0, 1, 2)
    val b2: Array[Byte] = Array(0, 1, 2, 3)
    val sha1 = SHA1(b1)
    List(b1, b2) map { b =>
      b match {
        case sha1() => println("Match") // works
        case `sha1` => println("Match") // compile but it is semantically incorrect
        case SHA1(`b1`) => println("SOLVED")  // won't compile
        case _ => println("Doesn't Match")
      }
    }
  }
}

Answer 1

简短回答：如果您不希望将它们解释为模式变量，则需要在小写标识符周围添加反引号。

case Sha1(`sha1`) => // ...

请参阅this question。

Scala提取器：一个繁琐的例子

1 个答案: