如何封装nom的tag_no_case解析器为可复用自定义解析器

nom库的组合子设计核心是泛型兼容，要让自定义的解析器能和multispace0、preceded等原生组合子无缝配合，不能硬编码输入/错误类型，需要和原生tag_no_case的泛型能力对齐。

常见错误溯源 #

之前照搬标注失败的核心原因通常是：

• 错把固定tag的类型作为函数泛型参数，导致泛型没有实际的推断来源，编译器无法确定具体类型
• 硬编码输入类型为&str，失去了对&[u8]、带位置的输入Span类型的兼容能力
• 漏写对应trait边界，导致组合子串联时类型校验不通过
• 搞混了“解析器工厂函数”和“解析器本身”的角色边界，导致函数入参、返回值和组合子要求的类型不匹配

这里需要先理清两个容易混淆的角色边界：

• 解析器工厂：调用后返回解析器的函数，比如tag_no_case本身就是工厂，传入匹配字符串后得到的返回值才是实际的解析器
• 解析器：接收输入、返回解析结果IResult的函数/闭包，是可以直接作为参数传给preceded等组合子的对象

贴合初始代码雏形的正确实现 #

按照你最初写的代码结构（函数体直接返回tag_no_case("schema")的结果，作为零参的解析器工厂），正确的类型声明如下：

use nom::{
    bytes::complete::tag_no_case,
    error::ParseError,
    IResult,
    Parser,
};

// 零参的解析器工厂，内部固定匹配"schema"字符串的大小写不敏感解析规则
pub fn schema_parser<I, E>() -> impl Parser<I, &'static str, E>
where
    // 对齐tag_no_case的全部trait边界
    I: nom::Compare<&'static str> + nom::InputLength + Clone,
    E: ParseError<I>,
{
    tag_no_case("schema")
}

适配目标用法验证 #

按照上述声明编写的解析器，可以直接用在任意原生组合子的参数位置，包括需求中提到的preceded调用形式：

use nom::character::complete::multispace0;
use nom::sequence::preceded;

// 直接调用schema_parser拿到解析器，传入preceded作为第二个参数，无类型错误
let parse_with_leading_space = preceded(multispace0, schema_parser());

// 实际解析测试
let test_result = parse_with_leading_space("  SCHEMA test content");
assert_eq!(test_result, Ok((" test content", "SCHEMA")));

简化写法补充 #

如果不想显式标注返回的Parser trait，也可以直接按照闭包的能力边界写返回值，效果完全一致：

pub fn schema_parser<I, E>() -> impl Fn(I) -> IResult<I, &'static str, E>
where
    I: nom::Compare<&'static str> + nom::InputLength + Clone,
    E: ParseError<I>,
{
    tag_no_case("schema")
}

另一种等价实现形式 #

如果更希望把schema_parser本身直接作为解析器（不需要额外加括号调用），可以把入参放到函数签名里，实现效果完全等价：

pub fn schema_parser<I, E>(input: I) -> IResult<I, &'static str, E>
where
    I: nom::Compare<&'static str> + nom::InputLength,
    E: ParseError<I>,
{
    tag_no_case("schema")(input)
}

// 这种写法下，使用的时候不需要加括号，直接把函数名传给preceded即可
let parse_with_leading_space = preceded(multispace0, schema_parser);

内容的提问来源于stack exchange，提问作者mottosson