如何用Rust宏将结构体转换为其字段类型元组

你需要的是编译期提取结构体字段类型并生成对应元组类型，而你当前的实现用了运行时字符串处理，这根本没法满足into_typed对编译期类型参数的要求——Vec<&str>是运行时数据，不能作为类型参数传递。

问题根源 #

你的宏通过stringify!把结构体代码转成字符串，再在运行时拆分解析，得到的是字符串集合，而into_typed::<T>要求T是一个编译期确定的类型，两者完全不匹配。要解决这个问题，必须用过程宏在编译期解析结构体的AST（抽象语法树），直接提取字段类型并生成元组类型。

解决方案：派生宏实现 #

我们可以写一个派生宏，为结构体生成一个关联类型，该类型就是字段类型按顺序组成的元组。

步骤1：添加依赖

在Cargo.toml中添加过程宏所需的依赖：

[dependencies]
syn = { version = "2.0", features = ["full", "derive"] }
quote = "1.0"
proc-macro2 = "1.0"
scylla = "0.11" # 根据你的实际版本调整

步骤2：实现派生宏

创建一个过程宏 crate（或者在现有crate中添加proc-macro特性），编写如下代码：

use proc_macro::TokenStream;
use quote::quote;
use syn::{parse_macro_input, DeriveInput, Data, Fields};

#[proc_macro_derive(FieldTypes)]
pub fn derive_field_types(input: TokenStream) -> TokenStream {
    // 解析输入的结构体定义
    let input = parse_macro_input!(input as DeriveInput);
    let struct_name = &input.ident;

    // 确保只处理结构体
    let data = match &input.data {
        Data::Struct(data) => data,
        _ => panic!("FieldTypes只能为结构体派生"),
    };

    // 提取所有字段的类型
    let field_types = match &data.fields {
        Fields::Named(fields) => fields.named.iter().map(|f| &f.ty),
        Fields::Unnamed(fields) => fields.unnamed.iter().map(|f| &f.ty),
        Fields::Unit => panic!("FieldTypes不能为单元结构体派生"),
    };

    // 生成关联类型的代码
    let expanded = quote! {
        impl #struct_name {
            pub type FieldTypes = (#(#field_types),*);
        }
    };

    TokenStream::from(expanded)
}

步骤3：使用派生宏和辅助宏

在主代码中导入派生宏，为结构体添加派生，并编写一个简单的辅助宏来简化调用：

use your_proc_macro_crate::FieldTypes; // 替换成你的过程宏crate名
use scylla::IntoTypedRows;
use std::collections::HashMap;

// 为结构体派生Default（你原来的代码用到了）和FieldTypes
#[derive(Default, FieldTypes)]
struct Test {
    id: i64,
    name: String,
    data: HashMap<String, String>, // 注意：这里不能写HashMap<"String", "String">，类型参数必须是类型而非字符串字面量
}

// 辅助宏，让调用更符合你的需求
macro_rules! get_field_types {
    ($struct_name:ty) => {
        <$struct_name>::FieldTypes
    };
}

// 现在可以像你想要的那样调用了
// rows.into_typed::<get_field_types!(Test)>()

注意事项 #

1. 你原来的结构体定义中HashMap<"String", "String">是错误写法，类型参数必须是实际的类型（比如String），不能是字符串字面量，否则编译会报错。
2. 过程宏需要在编译期运行，所以必须正确配置crate的proc-macro特性（如果是单独的crate，需要在Cargo.toml中添加proc-macro = true）。

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