可以使用Scala"提取器"在unapply上使用泛型?

时间:2015-07-31 12:37:27

标签: scala generics extractor unapply

我不能在提取器的unapply方法上使用泛型以及隐式"转换器"支持特定于参数化类型的模式匹配?

我想这样做(请注意在[T]上使用unapply),

trait StringDecoder[A] {
  def fromString(string: String): Option[A]
}

object ExampleExtractor {
  def unapply[T](a: String)(implicit evidence: StringDecoder[T]): Option[T] = {
    evidence.fromString(a)
  }
}    

object Example extends App {          

 implicit val stringDecoder = new StringDecoder[String] {
    def fromString(string: String): Option[String] = Some(string)
  }

  implicit val intDecoder = new StringDecoder[Int] {
    def fromString(string: String): Option[Int] = Some(string.charAt(0).toInt)
  }

  val result = "hello" match {
    case ExampleExtractor[String](x) => x     // <- type hint barfs
  }
  println(result)
}

但是我收到以下编译错误

  

Error: (25, 10) not found: type ExampleExtractor case ExampleExtractor[String] (x) => x ^

如果我在作用域中只有一个隐式val并删除了类型提示(见下文),那么它可以正常工作,但这会使对象失败。

object Example extends App {

  implicit val intDecoder = new StringDecoder[Int] {
    def fromString(string: String): Option[Int] = Some(string.charAt(0).toInt)
  }

  val result = "hello" match {
    case ExampleExtractor(x) => x
  }
  println(result)
}

1 个答案:

答案 0 :(得分:3)

您键入的字符串解码器的变体看起来很有希望:

trait StringDecoder[A] { 
   def fromString(s: String): Option[A] 
}

class ExampleExtractor[T](ev: StringDecoder[T]) {
   def unapply(s: String) = ev.fromString(s)
}
object ExampleExtractor { 
   def apply[A](implicit ev: StringDecoder[A]) = new ExampleExtractor(ev) 
}

然后

implicit val intDecoder = new StringDecoder[Int] { 
    def fromString(s: String) = scala.util.Try {
        Integer.parseInt(s)
    }.toOption
}

val asInt = ExampleExtractor[Int]
val asInt(Nb) = "1111"

似乎产生了你所要求的东西。一个问题仍然存在:似乎试图

val ExampleExtractor[Int](nB) = "1111"

导致编译器崩溃(至少在我的2.10.3 SBT Scala控制台中)。