macros - Rust 宏可以像 C 预处理器宏一样扩展为十六进制数吗？

Question

我希望创建一个 Rust 宏，它可以在 C 中执行此操作。

#define V(a,b,c,d) 0x##a##b##c##d

调用时:

V(7B,B0,B0,CB)

将在编译时将以下十六进制数简单地放入代码中:

0x7BaB0bB0cCDd

尝试这样的事情:

macro_rules! gen_hex_num {
    ($a:expr , $b:expr , $c:expr , $d:expr) => (
        0x($a)a($b)b($c)c($d)d
    )
}

产生错误:

error: macro expansion ignores token `a` and any following
 --> src/main.rs:3:16
  |
3 |         0x($a)a($b)b($c)c($d)d
  |               ^
  |
note: caused by the macro expansion here; the usage of `gen_hex_num!` is 
likely invalid in expression context

文档和其他问题似乎没有涵盖这种情况。

Answer 1

没有。

Rust 宏只能处理和生成整个 token ，不能处理和生成 token 片段。 7b 之类的东西不是标记，因此您将无法编写匹配它的宏。

似乎在 C 中使用此宏的主要原因是使数字更具可读性。这在 Rust 中并不是真正必要的，因为数字文字中允许使用下划线。所以你可以只写0x7b_b0_b0_cb。

您可以通过接受数字和进行数学运算来近似原始宏，如下所示:

macro_rules! gen_hex_num {
    ($a:expr, $b:expr, $c:expr, $d:expr) => {
        ($a << 24) | ($b << 16) | ($c << 8) | ($d)
    }
}

但是您必须像 gen_hex_num!(0x7B, 0xB0, 0xB0, 0xCB) 那样调用它，这可能达不到目的。