Rust宏能否指定运算符作为输入语法？相关实现疑问

1. 声明式宏完全可以实现该需求 #

你之前尝试的运算符语法宏编译失败，大概率是模式写法不对。Rust的声明式宏（macro_rules!）基于token树匹配工作，1 / 3会被拆分为1、/、3三个独立token，我们可以直接在宏模式中匹配这种结构，且不会触发1/3的整数求值——宏展开发生在编译早期，远早于表达式计算阶段，完全不会有精度丢失问题。

修改后的宏定义如下：

pub struct Rational {
    pub n: i128,
    pub d: i128,
}

macro_rules! rat {
    // 匹配 "表达式 / 表达式" 的结构
    ($n:expr / $d:expr) => {
        Rational { n: $n, d: $d }
    };
    // 可选保留原有逗号分隔的调用方式
    ($n:expr, $d:expr) => {
        Rational { n: $n, d: $d }
    };
}

调用rat!(1 / 3)时，宏会直接将1绑定到$n、3绑定到$d，完全不会触发整数除法操作。

2. 过程宏可行，但并非必要 #

过程宏（函数式宏、derive宏等）当然也能实现这个需求，比如通过函数式宏解析输入的token流，提取/两侧的表达式。但过程宏需要额外依赖（如syn、quote），实现复杂度更高——对于这个简单需求，声明式宏已经足够简洁高效。

如果后续你的方程处理系统需要支持更复杂的语法（比如嵌套表达式、带括号的分数、多步运算等），过程宏的语法树操作能力会更有优势。

3. Rust不会提前解析1/3为求值结果 #

Rust的宏展开发生在语法解析之后、语义分析/求值之前，1 / 3会以原始token序列的形式传递给宏，宏看到的是三个独立的token，而不是整数除法的结果0。只有当宏展开完成后，编译器才会对展开后的代码进行后续的语义检查和求值，因此完全不用担心精度丢失的问题。

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