Question

我正在创建一个匹配两个表达式和一个标识符的宏。如果不需要，我希望能够忽略标识符，但如果我在那里使用_，编译器似乎会抱怨。

我的宏：

macro_rules! if_some {
    ($x:expr, $id:ident, $expr:expr) => {
        match $x {
            None => None,
            Some($id) => Some($expr),
        }
    };
}

我想做什么：

if_some!(obtain_an_option(), x, do_something_with(x))

和

if_some!(obtain_an_option(), _, do_something())

第二次通话失败。

我通过定义第二个没有收到标识符的宏if_some_!来解决这个问题（我也不能使用第二个模式）。我确定可以说＆＃34;这里接受一个标识符或只是_。

也许这已经是一个宏/功能（就像Option::map现在我想的那样）......然而现在它很好。

Answer 1

最简单的方法是添加一个与下划线匹配的第二个臂：

macro_rules! if_some {
    ($x:expr, _, $expr:expr) => {
        match $x {
            None => None,
            Some(_) => Some($expr),
        }
    };

    ($x:expr, $id:ident, $expr:expr) => {
        match $x {
            None => None,
            Some($id) => Some($expr),
        }
    };
}

而且，是的，这听起来像你只是想要Option::map。

Answer 2

Option::map似乎是针对此特定问题的最佳解决方案，但是当您确实需要一个期望同意和_作为模式的宏时，您还可以使用$p:pat分段。片段当然接受更广泛的模式，如(ref x, y)，但通常这是可以接受的。

macro_rules! if_some {
    ($x:expr, $p:pat, $expr:expr) => {
        match $x {
            None => None,
            Some($p) => Some($expr),
        }
    };
}

fn main() {
    println!("{:?}", if_some!(Some(12), x, x + 1)); // Some(13)
    println!("{:?}", if_some!(Some(12), _, 1)); // Some(1)
}

在宏

2 个答案: