我正在尝试使用组合器解析器解析数据以返回Parser[java.util.Date]
我分两个阶段进行,首先,我使用 simpleYear 解析一年解析器,然后我尝试将这个简单解析器的结果插入到然后,我将操纵此输入作为此输出,然后a ParseResult[Date]:
可悲的是,我在声明行从编译器那里收到以下错误:
type mismatch; found :
parser.DateParser.Input ⇒ parser.DateParser.ParseResult[java.util.Date] (which
expands to)
scala.util.parsing.input.Reader[Char] ⇒ parser.DateParser.ParseResult[java.util. required: parser.DateParser.Parser[java.util.Date]
这是代码:
object DateParser extends RegexParsers {
val formatter: SimpleDateFormat = new SimpleDateFormat("yyyy-MM-dd")
def year = """d{4}""".r
def month: Parser[String] =
def day = """[0-2]d""".r | """3[01]""".r
def month = """0d""".r | """1[0-2]""".r
def simpleDate: Parser[String] =
(year ~ "-" ~ month ~ "-" ~ day) ^^
{ case y ~ "-" ~ m ~ "-" ~ d => y + "-" + m + "-" + d }
def date: Parser[Date] = simpleDate andThen {
case Success(s, in) =>
val x: ParseResult[Date] = try {
Success(formatter.parse(s), in)
} catch {
case pe: ParseException => Failure("date format invalid", in)
}
x
case f: Failure => f
}
}
似乎scala编译器本身无法进行隐式转换将日期类型放入解析器[日期](也许是因为尝试/捕获?
有没有其他方法可以做我想做的事情?
Parser[T]
是函数Input => ParseResult[T]
的子类,您使用的方法andThen
来自函数。你给它传递了一个函数ParseResult[String] => ParseResult[Date]
,所以你得到Input => ParseResult[Date]
,它与类型Parser[Date]
不匹配,这就是你得到这个错误的原因。
但是您可以简单地将 Input => ParseResult[T]
类型的函数包装在 Parser
方法中以获取Parser[T]
。因此,您可以像这样定义date
:
def date: Parser[Date] = Parser(simpleDate andThen {
// Cleaned up `Success` case a bit
case Success(s, in) =>
try Success(formatter.parse(s), in)
catch {
case pe: ParseException => Failure("date format invalid", in)
}
// It's better to use `NoSuccess` instead of `Failure`,
// to cover the `Error` case as well.
case f: NoSuccess => f
})
也就是说,这不是最好/最干净的方法。由于你想在解析器结果上调用一个函数来以某种方式修改它,你可以使用 Parser
的方法map
和 flatMap
或其等价物(map
等价于 ^^
,flatMap
等价于 into
和 >>
)。这些与其他 Scala 类(如 Try
或 Future
)的map
和flatMap
具有相同的想法。
考虑失败的可能性,因此您必须使用 flatMap
.使用flatMap
的date
定义可能如下所示:
def date: Parser[Date] = simpleDate >> (s =>
try success(formatter.parse(s))
catch { case pe: ParseException => failure("date format invalid") })
此外,您可能希望(如果您自己还没有这样做)将formatter
设置为不宽松:formatter.setLenient(false)
。否则,它将执行诸如将2000-02-31
解析为3月2日之类的操作!