1

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

我的宏：

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_!我通过定义第二个不接收标识符的宏来解决它（我也不能使用第二个模式）。我确信有一种方法可以说“这里接受一个标识符或只是_.

也许已经有一个宏/功能（就像Option::map现在我想的那样）......不过现在会很好。

4

2 回答 2

5

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

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的。

于 2017-07-15T07:16:53.013 回答
4

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)
}
于 2017-07-15T17:14:43.020 回答