0

预期用途：

cond! {
  x > 5 => 0,
  x < 3 => 1,
  true => -1
}

应扩展为：

if x > 5 { 0 } else if x < 3 { 1 } else if true { -1 }

请注意，它不会产生包罗万象的else { ... }后缀。

我的尝试：

macro_rules! cond(
    ($pred:expr => $body:expr) => {{
        if $pred {$body}
    }};
    ($pred:expr => $body:expr, $($preds:expr => $bodies:expr),+) => {{
        cond! { $pred => $body } else cond! { $($preds => $bodies),+ }
    }};
);

但是，编译器抱怨该else关键字。

error: expected expression, found keyword `else`
  --> src/main.rs:32:34
   |
32 |           cond! { $pred => $body } else cond! { $($preds => $bodies),+ }
   |                                    ^^^^
4

1 回答 1

3

Rust 中的宏不像 C 预处理器那样执行文本替换。此外，宏的结果已经被“解析”了，所以你不能只是在宏调用之后附加一些东西，这应该是宏扩展的一部分。

在您的情况下，您不能else在第一次cond!调用之后放置一个，因为编译器已经完成了对if表达式的解析；你需要把if和放在else一起。同样，当您cond!在 之后再次调用时else，您需要在调用周围添加大括号，因为该序列else if不会以嵌套if表达式开始。

macro_rules! cond {
    ($pred:expr => $body:expr) => {
        if $pred { $body }
    };
    ($pred:expr => $body:expr, $($preds:expr => $bodies:expr),+) => {
        if $pred { $body } else { cond! { $($preds => $bodies),+ } }
    };
}

最终，这个宏几乎没用。没有子句的if表达式else总是将其类型推断为()，因此除非所有分支都计算为()（或发散），否则扩展宏将产生类型不匹配错误。

于 2017-12-17T14:21:53.650 回答