scala - 可以在同一个提取器中定义 unapply 和 unapplySeq

Question

我有以下代码旨在在同一个提取器中定义 unapply 和 unapplySeq

  test("pattern matching define unapply and unapplySeq") {
    object A {
      def unapply(arg: String): Option[(String, String)] = Some((arg, arg))

      def unapplySeq(arg: String): Option[Seq[String]] = Some(arg.split(" "))
    }

    def x = "hello world"

    x match {
      case A(a, b) => println("unapply matched", a, b)
      case A(a, b, _*) => println("unapplySeq matched", a, b)
    }


  }

但它似乎不起作用，当我运行这个测试用例时，它会导致编译错误并提示

Error:(292, 12) Star pattern must correspond with varargs or unapplySeq
      case A(a, b, _*) => println("unapplySeq matched", a, b)

我想知道是否可以在同一个提取器中同时定义 unapply 和 unapplySeq？

Answer 1

根据这个相当过时但仍然提供信息的Scala blog entry :

Note: if both unapply and unapplySeq are defined only unapply is used.

事实上，测试似乎证实了这一点。一个或另一个有效，但不是两者都有效。

编译器错误解释

由于可变参数符号( _* )，模式 A(a, b, _*)只能被 unapplySeq()识别，但如果您同时拥有 unapply()和 unapplySeq()然后只定义了 unapply()被看到并且编译器无法使模式符合方法定义。

如果您注释掉 unapply()定义， unapplySeq()将识别并解析您的 case模式(以先到者为准，因为它们都匹配)。