Rust过程宏展开时能否使用所属库内的非公开内部符号？

你遇到的编译错误由三个核心问题导致：

• 过程宏展开后的代码运行在调用方的作用域，你直接写MyStruct时，调用方没有引入该结构体的作用域，自然找不到类型
• 你当前的代码违反了Rust的约束：过程宏必须定义在独立的、标记了proc-macro = true的Cargo包中，不能和普通的结构体定义放在同一个包中
• 你的MyStruct当前是私有类型，就算调用方引入了你的包，也没有权限访问该类型

你的需求完全可以实现，只需要调整项目结构和宏展开的路径规则即可：

步骤1：拆分项目为两个包 #

Rust要求过程宏必须单独放在一个专用包中，我们可以用Workspace管理两个包：

1. secret_lib：普通Rust库，存放MyStruct定义，重新导出过程宏给用户调用
2. secret_macro_impl：过程宏专用包，实现my_macro!的逻辑

步骤2：编写secret_lib代码 #

secret_lib/Cargo.toml需要添加对secret_macro_impl的依赖，secret_lib/src/lib.rs代码如下：

// 结构体设为公有，但字段保持私有，外部无法直接构造
pub struct MyStruct {
    a: i32,
}

// 重新导出过程宏，用户只需要依赖secret_lib即可使用宏
pub use secret_macro_impl::my_macro;

步骤3：编写secret_macro_impl代码 #

首先secret_macro_impl/Cargo.toml需要做如下配置：

[package]
name = "secret_macro_impl"
version = "0.1.0"
edition = "2021"

[lib]
proc-macro = true

[dependencies]
syn = { version = "2.0", features = ["full"] }
quote = "1.0"

然后secret_macro_impl/src/lib.rs代码如下，核心修改是展开时用绝对路径引用MyStruct，避免作用域问题：

use proc_macro::TokenStream;
use quote::quote;
use syn;

#[proc_macro]
pub fn my_macro(input: TokenStream) -> TokenStream {
    let ast: syn::Expr = syn::parse(input).unwrap();
    impl_my_macro(ast)
}

fn impl_my_macro(expr: syn::Expr) -> TokenStream {
    let gen = match expr {
        syn::Expr::Lit(expr_lit) => match expr_lit.lit {
            syn::Lit::Int(lit_int) => {
                let value = lit_int.base10_parse::<i32>().unwrap();
                if value > 100 {
                    quote! {
                        compile_error!("Integer literal is too big.");
                    }
                } else {
                    // 关键：用绝对路径引用MyStruct，不需要调用方手动导入
                    quote! {
                        ::secret_lib::MyStruct { a: #lit_int }
                    }
                }
            }
            _ => quote! {
                compile_error!("Expected an integer literal.");
            },
        },
        _ => quote! {
            compile_error!("Expected an integer literal.");
        },
    };
    gen.into()
}

步骤4：用户侧调用代码 #

用户只需要依赖secret_lib包即可正常使用：

fn test_my_macro() {
    // 正常构造实例，不需要提前导入MyStruct
    let my_struct = secret_lib::my_macro!(10);
    // 下面的代码会编译报错，因为a字段是私有的，无法手动构造
    // let manual_struct = secret_lib::MyStruct { a: 20 };
}

这样就完全满足你的需求：用户只能通过my_macro!构造MyStruct实例，无法手动构造，同时不会报作用域错误。

内容的提问来源于stack exchange，提问作者M. Taylor