我正在尝试编写可识别多行注释的nom解析器...
/*
yo!
*/
...并消耗/丢弃(同样的东西,对吧?)结果:
use nom::{
bytes::complete::{tag, take_until},
error::{ErrorKind, ParseError},
sequence::preceded,
IResult,
};
fn multiline_comment<'a, E: ParseError<&'a str>>(i: &'a str) -> IResult<&'a str, &'a str, E> {
preceded(tag("/*"), take_until("*/"))(i)
}
这几乎可行。我知道take_until会在*/
之前停止,但我不知道该怎么做才能使其包含在内。
#[test]
fn should_consume_multiline_comments() {
assert_eq!(
multiline_comment::<(&str, ErrorKind)>("/*abc\n\ndef*/"),
Ok(("", "/*abc\n\ndef*/"))
);
}
给出结果
thread 'should_consume_multiline_comments' panicked at 'assertion failed: `(left == right)`
left: `Ok(("*/", "abc\n\ndef"))`,
right: `Ok(("", "/*abc\n\ndef*/"))`'
所以我的问题是,如何获得完整的评论,包括结尾的*/
谢谢!
/*
和结束*/
的内容-由于preceded
总是丢弃第一个解析器中的匹配项,因此您永远不会使用preceded
。我认为您主要关心的是确保平仓*/
被实际消耗。为此,您可以使用delimited
而不是preceded
:
fn multiline_comment<'a, E: ParseError<&'a str>>(i: &'a str) -> IResult<&'a str, &'a str, E> {
delimited(tag("/*"), is_not("*/"), tag("*/"))(i)
}
此测试通过:
assert_eq!( multiline_comment1::<(&str, ErrorKind)>("/*abc\n\ndef*/"), Ok(("", "abc\n\ndef")) );
所以您可以确定关闭*/
已被消耗。