在映射上的模式匹配

Question

例如,想象您有以下内容:

import play.api.data._
import play.api.data.Forms._
case class TestDomainClass(text: String, number: Int, date: DateTime, long: Long, boolean: Boolean)
val testForm = Form(
  mapping(
    "textField" -> text,
    "numberField" -> number,
    "dateField" -> jodaDate,
    "longField" -> longNumber,
    "booleanField" -> boolean
  )(TestDomainClass.apply)(TestDomainClass.unapply)
)

我的目标是在每个字段的参数类型上进行模式匹配.例如:对于textField参数类型将是String,并且对于dateField将是org.joda.time.DateTime.

---

第一次尝试解决

def typeOfMappingUsingTypeTag[T: TypeTag](m: Mapping[T]) = typeOf[T] match {
  case t if t =:= typeOf[String] => println("type is String")
  case t if t =:= typeOf[Int] => println("type is Int")
  case t if t =:= typeOf[org.joda.time.DateTime] => println("type is DateTime")
  case t if t =:= typeOf[Long] => println("type is Long")
  case t if t =:= typeOf[Boolean] => println("type is boolean")
  case _ => println("type is something else")
}
for(m <- testForm.mapping.mappings if m.key.nonEmpty) {
  print(m.key)
  typeOfMappingUsingTypeTag(m)
}

使用以下输出:

textFieldtype is something else
numberFieldtype is something else
dateFieldtype is something else
longFieldtype is something else
booleanFieldtype is something else

所以没有运气,这在某种程度上是预期的,因为在源中,Mapping没有绑定到TypeTag的上下文.

---

第二次尝试尝试

def typeOfMappingUsingPatternMatch[T](m: Mapping[T]) = m match {
  case text => println("type is String")
  case number => println("type is Int")
  case jodaTime => println("type is DateTime")
  case longNumber => println("type is Long")
  case boolean => println("type is Boolean")
  case _ => println("type is something else")
}
for(m <- testForm.mapping.mappings if m.key.nonEmpty) {
  print(m.key)
  typeOfMappingUsingPatternMatch(m)
}

使用以下输出:

textFieldtype is String
numberFieldtype is String
dateFieldtype is String
longFieldtype is String
booleanFieldtype is String

以下编译警告:

[warn] /aFolder/aProject/app/controllers/IPBlocks.scala:58: patterns after a variable pattern cannot match (SLS 8.1.1)
[warn]     case text => println("type is String")
[warn]          ^
[warn] /aFolder/aProject/app/controllers/IPBlocks.scala:59: unreachable code due to variable pattern 'text' on line 58
[warn]     case number => println("type is Int")
[warn]                           ^

和其他案件一样的警告.

如果我改变了案例的顺序,无论哪种情况最终成为第一个,都是被打印的那个(例如,如果案例布尔是第一种情况,那么输出将是is Boolean每个字段)

---

第三次尝试解决

考虑到的输出:

val t = text
println("t == number " + (t == number))
println("t == text " + (t == text))
println("t eq number " + (t eq number))
println("t eq text " + (t eq text))

是

t == number true
t == text true
t eq number false
t eq text true

使用ifs和eq似乎可以解决问题,所以我尝试过:

def typeOfMappingUsingIfAndEq[T](m: Mapping[T]) = {
  if (m eq text) {
    println("type is String")
  } else if (m eq number) {
    println("type is Int")
  } else if (m eq jodaDate) {
    println("type is DateTime")
  } else if (m eq longNumber) {
    println("type is Long")
  } else if (m eq boolean) {
    println("type is Boolean")
  } else {
    println("type is something else")
  }
}
for(m <- testeForm.mapping.mappings if m.key.nonEmpty) {
  print(m.key)
  typeOfMappingUsingIfAndEq(m)
}

具有以下输出

textFieldtype is something else
numberFieldtype is something else
dateFieldtype is something else
longFieldtype is something else
booleanFieldtype is something else

---

那么,问题是否有解决方案？如果是,那是什么？另外,为什么在地狱中没有第三种解决方案有效？

Answer 1

我不确定我是否完全理解您所追求的内容，但是如果您想基于对象类型做一些事情，您可以这样使用模式匹配：

value match {
    case stringValue : String => // value es a String! You can use the stringValue variable which's type is String but reference the same object
    case intValue : Int => // value is an Int. Do stuff.
    ...
    case _ => // any other case
}

关于您的第三个实现，请注意 eq 的使用。eq 检查同一性，这与平等不同。（您可以查看这篇文章以获取更多信息）。另外，由于您的代码是断章取义的，我不确定其中一些变量是如何定义的，但是例如，如果我们采用这些行：

def typeOfMappingUsingIfAndEq[T](m: Mapping[T]) = {
    if (m eq text) {
    ...

如果您的文本变量的类型是String（因为它在TestDomainClass上），则它不可能等于/相同于 m，其类型为Mapping[T]）。

希望这可以帮助！

祝你好运！