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 宏只能处理和生成整个代币，不能处理和生成代币片段。像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)一样称呼它，这可能违背了目的。