如何向Rust过程宏传入常量 实现eq!自动获取预设几何代数类型

你期望的无重复类型参数的eq!调用方式可以实现，但直接读取同文件const常量的思路走不通，也不需要为每种几何代数类型预定义专属宏。

为什么const读取/过程宏全局状态的方案不可行 #

• 过程宏执行在语法解析阶段，早于名称解析、常量求值流程。eq!展开时只能拿到自身括号内的Token流，完全感知不到外层定义的const TYPE常量，更不可能读取它的值。
• 绝对不要尝试在过程宏内部用静态全局变量存储set_type!传入的类型：Rust编译器不保证过程宏的执行顺序，还支持并行展开宏，全局状态会被并发修改、顺序错乱，导致随机出现的编译错误，完全不可靠。

可落地实现方案 #

方案1：作用域宏代理（推荐，灵活度最高） #

实现一个轻量的set_type!宏，调用时在当前作用域生成一个同名的eq!宏规则（基于macro_rules!实现），自动把预设的类型参数拼接到表达式前，转发给你底层负责实际展开逻辑的核心过程宏。
举个例子，当你写set_type!(3, 0, 1);时，宏会展开为如下代码：

// __ge_eq_impl! 是你真正写展开逻辑的内部过程宏，不直接暴露给用户
macro_rules! eq {
    ($($tail:tt)*) => {
        __ge_eq_impl!((3, 0, 1): $($tail)*)
    };
}

这个方案完全符合Rust原生宏的作用域规则：

• 生成的eq!默认只在当前模块、子模块内生效，内层模块调用set_type!传入其他签名时，会自动遮蔽外层的eq!定义，不同模块可以同时用不同的几何代数类型，互不干扰。
• 支持任意合法的维度签名，不需要提前为任何类型做预定义，理论上覆盖所有可能的几何代数类型。
• 稳定版Rust即可使用，无任何不稳定特性依赖，set_type!本身用macro_rules!实现只需要不到10行代码。
  你理想中的代码可以直接运行，效果如下：

set_type!(3, 0, 1);

fn main() {
    let a = eq!(e1 + e2); // 自动绑定3D PGA类型
    let b = eq!(3 + e12);
    println!("{:?}", eq!(a + b));

    mod pga2d {
        // 子模块切换为2D PGA，完全不影响外层逻辑
        set_type!(2, 0, 1);
        let c = eq!(e1 + e0);
    }
}

方案2：编译期全局默认类型 #

如果你的项目大部分场景只用固定一种几何代数类型，可以在build.rs里通过rustc环境变量传入默认签名，让核心过程宏读取编译期环境变量作为默认值：调用时显式传了类型就用传入值，没传就用默认值。
这个方案的缺点是整个crate只能设置一个默认类型，切换默认值需要修改build脚本或编译命令，灵活度远低于方案1，只适合固定场景使用。

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