Rust实现柯里化字符串匹配函数遇生命周期错误求助

需求 #

实现类似JavaScript的柯里化函数：接收初始&str，返回另一个函数，用于检查目标字符串从指定索引开始是否匹配初始字符串。

JavaScript参考实现 #

const str = s => (targetString, index) => {
    if (targetString.slice(index).startsWith(s)) {
        return {
            result: s,
            index: index + s.length
        }
    }

    throw new Error("Could not match")
}

初始Rust实现及报错 #

尝试代码 #

struct ParseError {}

struct ParseResult<'a> {
    result: Result<&'a str, ParseError>,
    index: usize
}

pub fn str<'a>(s: &'a str) -> impl Fn(&str, usize) -> ParseResult {
    let cloned = s.clone();
    let string_parse = move |target_string: &str, index: usize| -> ParseResult {
        if target_string[index..].starts_with(cloned) {
            return ParseResult {
                result: Ok(cloned.clone()),
                index: index + cloned.len()
            }
        }
        return ParseResult { result: Err(ParseError {}), index: index + cloned.len() }
    };
    return string_parse
}

编译器错误 #

lifetime may not live long enough
returning this value requires that `'a` must outlive `'static`rustcClick for full compiler diagnostic
main.rs(10, 12): lifetime `'a` defined here
main.rs(10, 66): to declare that `impl for<'a> Fn(&'a str, usize) -> for<'a> ParseResult<'a>` captures data from argument `s`, you can add an explicit `'a` lifetime bound: ` + 'a`

问题分析与修复 #

核心原因 #

返回的闭包捕获了带有'a生命周期的输入字符串s，但返回的impl Fn未绑定该生命周期，导致编译器默认要求闭包存活至'static，而'a无法保证满足这个约束。

修复方案 #

1. 为返回的闭包添加生命周期约束：在impl Fn后追加+ 'a，明确闭包捕获的变量生命周期与输入s的'a一致。
2. 明确指定ParseResult的生命周期参数：在闭包返回类型中标注ParseResult<'a>，避免编译器推断错误生命周期。
3. 修正错误分支的索引逻辑：原代码错误分支错误累加了索引，应保持原索引与JS逻辑对齐。
4. 规范ParseError实现：实现标准错误trait，让错误处理更合规（可选但推荐）。

修复后的代码 #

#[derive(Debug)]
struct ParseError;

impl std::fmt::Display for ParseError {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(f, "Could not match")
    }
}

impl std::error::Error for ParseError {}

struct ParseResult<'a> {
    result: Result<&'a str, ParseError>,
    index: usize,
}

pub fn str<'a>(s: &'a str) -> impl Fn(&str, usize) -> ParseResult<'a> + 'a {
    let cloned = s.clone();
    move |target_string: &str, index: usize| -> ParseResult<'a> {
        if target_string[index..].starts_with(cloned) {
            ParseResult {
                result: Ok(cloned),
                index: index + cloned.len(),
            }
        } else {
            ParseResult {
                result: Err(ParseError),
                index,
            }
        }
    }
}

关键修复点说明 #

• impl Fn(&str, usize) -> ParseResult<'a> + 'a：+ 'a约束闭包的生命周期不超过输入s的'a，解决生命周期不匹配问题。
• 显式指定ParseResult<'a>：确保返回结果中的字符串引用与输入s的生命周期绑定，避免编译器误判。
• 错误分支索引修正：保持原索引，与JavaScript实现的错误逻辑一致。

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