Rust中能否基于结构体字段类型定义新类型？

Rust稳定版目前不支持像TypeScript那样直接通过Person::id这种索引访问语法提取结构体字段类型并定义新类型。针对你的代码生成场景，可通过以下方案实现类似需求：

1. 关联类型 + 特质（Trait）方案 #

为结构体定义包含关联类型的特质，将目标字段的类型暴露为关联类型，再通过关联类型定义新类型：

// 定义通用特质
trait HasId {
    type Id;
}

// 目标结构体
struct Person {
    id: i32,
}

// 实现特质，关联id字段的类型
impl HasId for Person {
    type Id = i32;
}

// 通过关联类型创建类型别名
type PersonId = <Person as HasId>::Id;

这种方式适合代码生成场景，生成工具可自动为目标结构体生成特质实现，保持代码结构与输入语言的设计一致。

2. Nightly版本的typeof特性（不稳定） #

若使用Rust Nightly版本，可启用type_of_val特性，通过typeof操作符直接提取字段类型：

#![feature(type_of_val)]

struct Person {
    id: i32,
}

// 创建临时常量用于类型推断
const DUMMY_PERSON: Person = Person { id: 0 };
// 提取id字段的类型定义别名
type PersonId = typeof(DUMMY_PERSON.id);

注意该特性尚未稳定，不建议用于生产环境代码。

3. 宏自动提取字段类型 #

借助syn和quote等语法解析库编写自定义过程宏，解析结构体的AST并自动提取目标字段的类型生成别名。这种方式完全适配代码生成场景，无需手动维护关联类型：

// Cargo.toml需添加依赖：
// syn = { version = "2.0", features = ["full"] }
// quote = "1.0"

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

#[proc_macro]
pub fn extract_id_type(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
    let input = parse_macro_input!(input as DeriveInput);
    let struct_name = input.ident;
    
    // 确保输入是结构体且包含命名字段
    let data = match input.data {
        Data::Struct(data) => data,
        _ => panic!("仅支持结构体类型"),
    };
    let fields = match data.fields {
        Fields::Named(fields) => fields.named,
        _ => panic!("仅支持命名字段的结构体"),
    };
    
    // 找到名为id的字段
    let id_field = fields.iter()
        .find(|f| f.ident.as_ref().unwrap() == "id")
        .expect("结构体中未找到名为id的字段");
    
    let field_type = &id_field.ty;
    let type_alias_name = format!("{}Id", struct_name);
    let type_alias_ident = syn::Ident::new(&type_alias_name, struct_name.span());
    
    // 生成类型别名代码
    let output = quote! {
        type #type_alias_ident = #field_type;
    };
    
    output.into()
}

// 使用示例
struct Person {
    id: i32,
}

// 自动生成 type PersonId = i32;
extract_id_type!(Person);

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