Scala/Lift 检查日期格式是否正确

Question

我的电梯应用程序中有一个日期输入框，我想检查用户输入的日期格式是否正确：dd/mm/yyyy。

我怎样才能在scala中为此编写正则表达式检查？我看过模式匹配示例 - 但这似乎过于复杂。

PS：我不必使用正则表达式，欢迎使用任何其他替代品！

Answer 1

SimpleDateFormat 很丑陋，而且（更令人不安的是）非线程安全。如果您尝试在 2 个或更多线程中同时使用同一个实例，那么事情会以最令人不快的方式崩溃。

JodaTime 要好得多：

import org.joda.time.format._
val fmt = DateTimeFormat forPattern "dd/MM/yyyy"
val input = "12/05/2009"
val output = fmt parseDateTime input

如果它抛出 IllegalArgumentException，则日期无效。

我怀疑您会想知道实际日期（如果有效），因此您可能需要返回 Option[DateTime]，如果无效则返回 None。

def parseDate(input: String) = try {
  Some(fmt parseDateTime input)
} catch {
  case e: IllegalArgumentException => None
}

或者，如果无法进行格式化，则可以使用 Either 捕获实际异常：

def parseDate(input: String) = try {
  Right(fmt parseDateTime input)
} catch {
  case e: IllegalArgumentException => Left(e)
}

UPDATE

要使用 Either，您有两个主要策略：

映射两侧之一：

parseDate(input).left map (_.getMessage)
//will convert the Either[IllegalArgumentException, DateTime]
//to an Either[String, DateTime]

折叠它：

parseDate(input) fold (
  _ => S.error(
    "birthdate",
    "Invalid date. Please enter date in the form dd/mm/yyyy."),
  dt => successFunc(dt)
)

当然，两者可以组合：

parseDate(input).left map (_.getMessage) fold (
  errMsg => S.error("birthdate", errMsg), //if failure (Left by convention)
  dt => successFunc(dt) //if success (Right by convention)
)

Answer 2

正如用户未知所写，您应该使用一些知道如何正确处理日期的库，包括每个特定月份和闰年的天数。

SimpleDateFormat 对于字段的翻转来说不是很直观，并且最初仅通过翻转其他字段来接受错误的日期。为了防止它这样做，您必须对其调用 setLenient(false) 。另请记住，SimpleDateFormat 不是线程安全的，因此您每次想要使用它时都需要创建一个新实例：

def validate(date: String) = try {
    val df = new SimpleDateFormat("dd/MM/yyyy")
    df.setLenient(false)
    df.parse(date)
    true
  } catch {
    case e: ParseException => false
  }

或者您也可以使用 Joda Time 比 Java Date API 更直观，并提供线程安全的日期格式：

val format = DateTimeFormat.forPattern("dd/MM/yyyy")

def validate(date: String) = try {
    format.parseMillis(date)
    true
  }
  catch {
    case e: IllegalArgumentException => false
  }

Answer 3

在对象中定义 DateTimeFormatter 实例是一个很好的做法，因为它是线程安全且不可变的。

  object DateOfBirth{
    import org.joda.time.format.DateTimeFormat
    import scala.util.Try
    private val fmt = DateTimeFormat.forPattern("MM/dd/yyyy")
    def validate(date: String) = Try(fmt.parseDateTime(date)).isSuccess
  }

Answer 4

我不会使用正则表达式，而是使用 SimpleDateFormat （正如我们将看到的，这并不那么简单）。

处理允许 28 和 30 作为日期（但不允许 38）、不同的月份长度和闰年的正则表达式可能是一个有趣的挑战，但对于现实世界的代码而言并非如此。

val df = new java.text.SimpleDateFormat ("dd/MM/yyyy")

（我假设 M 代表大月，而不是 m 代表小分钟）。

现在，让我们从一个错误开始：

scala> df.parse ("09/13/2001")                                
res255: java.util.Date = Wed Jan 09 00:00:00 CET 2002

hoppla - 它非常宽容，并且可以延续几个月到下一年。但我们可以通过第二个格式化过程来获取它：

scala> val sInput = "13/09/2001"
sInput: java.lang.String = 13/09/2001

scala> sInput.equals (df.format (df.parse (sInput))) 
res259: Boolean = true

scala> val sInput = "09/13/2001"                     
sInput: java.lang.String = 09/13/2001

scala> sInput.equals (df.format (df.parse (sInput))) 
res260: Boolean = false

我希望您不受正则表达式的束缚，并且可以使用它。

Answer 5

由此我们可以验证字符串中的日期，并通过解析“dd/MM/yyyy”等格式来获取预期的日期响应。

  try {  val format = DateTimeFormat.forPattern("dd/MM/yyyy")
  format.parseMillis(dateInString)
  val df = new SimpleDateFormat("dd/MM/yyyy")
  val newDate = df.parse(dateInString)
  true
    } catch {
      case e: ParseException => false

      case e: IllegalArgumentException => false
    }