如何在Rust quote宏中处理自定义枚举值？

问题本质 #

你碰到的the trait bound pest::TracingType: quote::ToTokens is not satisfied错误，核心原因是：quote!宏里用到的变量必须能转换成Rust语法令牌，而你自定义的TracingType枚举默认没实现ToTokens trait，没法直接在宏展开里生成对应的代码字面量。

解决办法 #

1. 给TracingType实现ToTokens（正确姿势） #

别手动写ToTokens的实现，要么用syn和quote的派生宏，要么直接把枚举值映射成对应的代码路径：

方式A：用syn解析并实现ToTokens

既然你是通过属性获取的枚举值，大概率用了syn解析属性，那可以这么写：

use quote::ToTokens;
use syn::parse::Parse;
use syn::LitStr;

// 你的TracingType枚举定义
#[derive(Debug, Clone, Parse)]
enum TracingType {
    #[parse(try_from = "LitStr")]
    Indented,
    // 其他变体按需添加
}

impl ToTokens for TracingType {
    fn to_tokens(&self, tokens: &mut proc_macro2::TokenStream) {
        let variant_path = match self {
            TracingType::Indented => quote::quote!(::pest::TracingType::Indented),
            // 其他变体对应各自的pest枚举路径
        };
        variant_path.to_tokens(tokens);
    }
}

之后在quote!里用#tracing_type，就能生成正确的枚举变体代码了。

方式B：宏里直接匹配枚举值

要是不想实现ToTokens，也可以在生成代码时直接根据枚举值拼对应的令牌：

// 假设你已经拿到了tracing_type: TracingType实例
let tracing_code = match tracing_type {
    TracingType::Indented => quote::quote!(::pest::TracingType::Indented),
    // 处理其他变体
};

// 然后在state调用里用这个code
let expanded_code = quote! {
    ::pest::state(#input, #tracing_code)
};

2. 验证宏展开结果 #

用cargo expand命令看看宏生成的代码，确认tracing_code是不是正确生成了::pest::TracingType::Indented这类路径，避免拼写或者路径错误。

避坑提示 #

• 别手动构造TokenStream，用quote!生成枚举变体路径是最靠谱的。
• 确保你的TracingType变体和Pest库中的枚举路径完全一致，比如如果Pest里的枚举是pest::trace::TracingType，就得调整路径。

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