能否使用concat_idents!或操作idents访问同名结构体字段？

可行性结论 #

完全不需要过程宏，用声明式宏结合标识符拼接工具就能实现需求。

问题根源 #

你用concat_idents!失败的原因是：这个宏只能在宏展开阶段生成独立的标识符，无法直接嵌入到结构体字段访问的路径中（比如$fridge.tomatos这种形式）。Rust的语义分析会先解析字段访问路径，而concat_idents!的展开结果无法被路径解析逻辑识别，导致编译错误。

解决方案 #

方案1：使用paste crate（推荐） #

paste是官方维护的宏工具，支持在宏中拼接标识符并直接作为路径的一部分使用，写法简洁且扩展性强。

1. 先在Cargo.toml中添加依赖：

[dependencies]
paste = "1.0"

2. 实现宏：

use std::collections::HashMap;
use paste::paste;

struct Fridge {
    tomatos: HashMap<u32, String>,
    apples: HashMap<u32, String>,
}

struct List {
    tomato: u32,
    apple: u32,
}

macro_rules! check_ref {
    ($list:expr, $fridge:expr, $item:ident) => {{
        paste! {
            let index = $list.$item;
            $fridge.[<$item s>].get(&index)
        }
    }};
}

// 使用示例
fn main() {
    let mut fridge = Fridge {
        tomatos: HashMap::from_iter([(1, "番茄1".to_string())]),
        apples: HashMap::from_iter([(2, "苹果2".to_string())]),
    };
    let list = List { tomato: 1, apple: 2 };

    assert_eq!(check_ref!(list, fridge, tomato), Some(&"番茄1".to_string()));
    assert_eq!(check_ref!(list, fridge, apple), Some(&"苹果2".to_string()));
}

方案2：原生声明式宏（无第三方依赖） #

如果不想引入外部依赖，可以手动在宏中枚举所有字段的映射关系，适合字段数量较少的场景：

use std::collections::HashMap;

struct Fridge {
    tomatos: HashMap<u32, String>,
    apples: HashMap<u32, String>,
}

struct List {
    tomato: u32,
    apple: u32,
}

macro_rules! check_ref {
    ($list:expr, $fridge:expr, tomato) => {
        $fridge.tomatos.get(&$list.tomato)
    };
    ($list:expr, $fridge:expr, apple) => {
        $fridge.apples.get(&$list.apple)
    };
    // 新增字段时在这里添加对应的分支
}

// 使用示例
fn main() {
    let mut fridge = Fridge {
        tomatos: HashMap::from_iter([(1, "番茄1".to_string())]),
        apples: HashMap::from_iter([(2, "苹果2".to_string())]),
    };
    let list = List { tomato: 1, apple: 2 };

    assert_eq!(check_ref!(list, fridge, tomato), Some(&"番茄1".to_string()));
    assert_eq!(check_ref!(list, fridge, apple), Some(&"苹果2".to_string()));
}

总结 #

• 需求完全可行，不需要过程宏
• 推荐用paste crate实现，兼顾简洁性和扩展性
• 无依赖场景可手动枚举字段映射

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