scala – 如何理解anorm中的“case id~username => _”？

发布时间：2020-12-16 09:05:43 所属栏目：安全来源：网络整理

导读：Play2的anorm有一个很好的DSL结果解析器： case class User(id:Pk[String],name:String)object User { val parser = get[String]("id") ~ get[String]("name") map { case id ~ name = User(id,name) }} 我不明白这部分案例id~name,为什么两个变量之间可以有

Play2的anorm有一个很好的DSL结果解析器：

case class User(id:Pk[String],name:String)

object User {
  val parser = get[String]("id") ~ get[String]("name") map { 
    case id ~ name => User(id,name) 
  }
}

我不明白这部分案例id~name,为什么两个变量之间可以有?？

我通常认为案例如下：

case id => _
case (a,b) => _
case Array(a,_*) => _

但我没有看到case id~name.

?的来源是：https://github.com/playframework/Play20/blob/master/framework/src/anorm/src/main/scala/SqlParser.scala#L49

它定义了一个case类?：

case class ~[+A,+B](_1:A,_2:B)

我写了一个简单的测试：

case class ~[+A,_2:B)

new ~("a","b") match {
    case x ~ y => println(x,y)
}

它打印a,b,但为什么语法是case x~y？

解决方法

你已经到了一半了.这是可能的,因为Scala允许您对已使用两个类型参数声明的所有类型执行此操作.

例如：

scala> case class Foo[X,Y]()
defined class Foo

scala> val x: Int Foo Double = Foo[Int,Double]()
x: Foo[Int,Double] = Foo()

虽然起初看起来很奇怪,但它实际上是一个非常好的属性,因为这种语法可以使事情更具可读性.请考虑以下示例,其中定义了元组的自定义类型：

class |::|[A,B](val left: A,val right: B)

object |::| {
  def unapply[A,B](o: A |::| B) = Some((o.left,o.right))
}

这里,A | :: | B用作| :: | [A,B]的中缀符号.另一方面,scala还允许使用中缀表示法进行模式匹配(感谢incrop for the reminder),如下例中的构造函数：

new |::|("Hello","World") match {
  case l |::| r => Console println (l + "," + r)
  case _ =>
}

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!

scala – 如何理解anorm中的“case id~username =&gt; _”？

解决方法

scala – 如何理解anorm中的“case id~username => _”？