Rust宏内枚举解构时`inner`变量未找到的编译错误问题

问题代码 #

use std::fmt::{self, Display, Formatter};

macro_rules! declare_types {
    ($($token:ident -> $inner:ty, $to_string:expr,)*) => {
        enum Value {
            $($token($inner),)*
        }

        impl Display for Value {
            fn fmt(&self, fmt: &mut Formatter<'_>) -> Result<(), fmt::Error> {
                match self {
                    $(
                        Self::$token(inner)=>write!(fmt,"{}",$to_string)?,
                    )*
                };
                Ok(())
            }
        }
    }
}

declare_types!(
    String -> String, inner,
);

编译错误 #

cannot find value inner in this scope
not found in this scope

异常现象 #

• IDE鼠标悬停在inner上时能正确识别该变量
• 直接粘贴宏展开后的代码运行，无任何错误

问题原因 #

宏参数的解析顺序导致：$to_string是在调用宏的上下文中解析的，而非宏展开后的match分支作用域。调用宏时写的inner，会被编译器当作当前作用域的变量查找，但此处根本不存在该变量；而宏展开后，inner是match分支绑定的变量，所以直接用展开后的代码能正常运行。IDE的宏预览是提前展开了宏，因此能识别到inner，但编译器实际处理宏时，会先解析宏参数再展开代码，从而报错。

解决方案 #

根据需求选择以下两种方式：

方式1：直接输出变量（无自定义格式化）

去掉宏中$to_string参数，直接在write!中使用match绑定的inner：

use std::fmt::{self, Display, Formatter};

macro_rules! declare_types {
    ($($token:ident -> $inner:ty,)*) => {
        enum Value {
            $($token($inner),)*
        }

        impl Display for Value {
            fn fmt(&self, fmt: &mut Formatter<'_>) -> fmt::Result {
                match self {
                    $(
                        Self::$token(inner) => write!(fmt, "{}", inner),
                    )*
                }
                Ok(())
            }
        }
    }
}

declare_types!(
    String -> String,
);

方式2：支持自定义格式化逻辑

将$to_string改为接收格式化器和变量的闭包，确保在match作用域内调用：

use std::fmt::{self, Display, Formatter};

macro_rules! declare_types {
    ($($token:ident -> $inner:ty, $formatter:expr,)*) => {
        enum Value {
            $($token($inner),)*
        }

        impl Display for Value {
            fn fmt(&self, fmt: &mut Formatter<'_>) -> fmt::Result {
                match self {
                    $(
                        Self::$token(inner) => $formatter(fmt, inner),
                    )*
                }
            }
        }
    }
}

// 示例：自定义不同类型的格式化逻辑
declare_types!(
    String -> String, |fmt, s| write!(fmt, "字符串内容: {}", s),
    Number -> i32, |fmt, n| write!(fmt, "数值大小: {}", n),
);

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