如何让Rust的macro_rules宏自动推断Option参数的类型？

我编写了一个用于调试时断言值为None的宏，但编译失败：

macro_rules! debug_assert_none {
    ($($arg:tt),+) => {
        $(
            if cfg!(debug_assertions) {
                match $arg {
                    None => {}
                    Some(..) => panic!("not None")
                }
            }
        )+
    };
}

#[test]
fn test_debug_assert_none() {
    debug_assert_none!(None);
    debug_assert_none!(None, None);
}

编译报错：

error[E0282]: type annotations needed
  --> src/lib.rs:15:24
   |
15 |     debug_assert_none!(None);
   |                        ^^^^ cannot infer type of the type parameter `T` declared on the enum `Option`
   |
help: consider specifying the generic argument
   |
15 |     debug_assert_none!(None::<T>);
   |                            +++++

如何让宏自动满足Option的类型推断需求？

解决方案 #

问题根源是单独的None没有上下文，Rust编译器无法推断Option<T>中的类型参数T。我们可以通过比较枚举判别式的方式绕过类型推断问题——所有Option的None变体判别式完全一致，与T无关。

修改后的宏如下：

use std::mem::discriminant;

macro_rules! debug_assert_none {
    ($($arg:expr),+) => {
        $(
            if cfg!(debug_assertions) {
                // 比较判别式：所有None的判别式与None::<()>一致
                assert_eq!(discriminant(&$arg), discriminant(&None::<()>));
            }
        )+
    };
}

#[test]
fn test_debug_assert_none() {
    debug_assert_none!(None);
    debug_assert_none!(None, None);
    // 测试带具体类型的Option
    debug_assert_none!(Option::<i32>::None);
    let opt: Option<String> = None;
    debug_assert_none!(opt);
}

其他可选方案 #

1. 给宏添加默认类型参数：
   允许用户显式指定类型，或默认使用()作为占位类型：

   macro_rules! debug_assert_none {
       // 单参数默认用()
       ($arg:expr) => {
           debug_assert_none!($arg, ());
       };
       // 显式指定类型
       ($arg:expr, $ty:ty) => {
           if cfg!(debug_assertions) {
               match $arg as Option<$ty> {
                   None => {},
                   Some(..) => panic!("expected None, got Some(_)"),
               }
           }
       };
       // 多参数批量处理
       ($($arg:expr),+) => {
           $(debug_assert_none!($arg);)+
       };
   }
   

2. 利用is_some()结合类型注解：
   通过临时变量给编译器提供类型上下文，但需要传入的None能推断出具体T（比如在已有类型信息的上下文中使用）：

   macro_rules! debug_assert_none {
       ($($arg:expr),+) => {
           $(
               if cfg!(debug_assertions) {
                   let _: Option<_> = $arg;
                   if $arg.is_some() {
                       panic!("expected None, got Some(_)");
                   }
               }
           )+
       };
   }
   

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