如何在仅持有syn::buffer::Cursor的上下文调用syn::Parse实现parse_generic函数

你正在开发基于proc_macro2和syn的Rust过程宏，此前一直使用Cursor对类Rust语法做底层解析。现在需要在语法解析的深层逻辑中解析syn::Type类型，已知该需求的最优方案是调用syn::Type实现的syn::parse::Parse trait，需要实现签名如下的通用解析函数：

fn parse_generic<T: Parse>(c: Cursor) -> Option<(T, Cursor)>;

你当前的可运行实现存在较多兼容和性能问题，需要找到更简单稳定的实现方案。

你当前的实现主要有以下问题：

• 首次parse2调用会强制解析整个输入流，必须等待报错后才做截断，存在不必要的性能开销
• 依赖span位置做截断的逻辑不可靠，跨宏展开、多文件场景下span位置可能不符合预期
• 没有处理嵌套语法的边界识别逻辑，容易截断出不完整的语法单元，导致解析失败

方案1（适用于syn 1.0.72+ / 2.x 版本，推荐） #

直接使用syn官方内置的前缀解析方法parse2_prefix，无需手动处理任何截断、边界识别逻辑，代码极简且稳定性最高：

use proc_macro2::buffer::Cursor;
use syn::parse::{Parse, Parser};

fn parse_generic<T: Parse>(c: Cursor) -> Option<(T, Cursor)> {
    T::parse.parse2_prefix(c.token_stream())
        .ok()
        .map(|(parsed_val, remaining_tokens)| (parsed_val, Cursor::new(remaining_tokens)))
}

方案优势 #

• 所有语法边界、嵌套结构识别逻辑均为syn官方实现，不存在自定义逻辑的兼容问题
• 仅执行一次解析，性能远高于两次解析+手动截断的实现
• 代码量极小，几乎无维护成本

方案2（旧版本syn降级兼容方案） #

如果你使用的syn版本不支持parse2_prefix，可以自定义前缀解析逻辑实现同等效果：

use proc_macro2::buffer::Cursor;
use proc_macro2::TokenStream;
use syn::parse::{Parse, ParseStream, Parser};

fn parse_generic<T: Parse>(c: Cursor) -> Option<(T, Cursor)> {
    let prefix_parser = |input: ParseStream| -> syn::Result<(T, TokenStream)> {
        let parsed_val = T::parse(input)?;
        let remaining_tokens = input.parse::<TokenStream>()?;
        Ok((parsed_val, remaining_tokens))
    };

    prefix_parser.parse2(c.token_stream())
        .ok()
        .map(|(parsed_val, remaining_tokens)| (parsed_val, Cursor::new(remaining_tokens)))
}

内容的提问来源于stack exchange，提问作者Tony Garnock-Jones