问题描述
const VAL: usize = 32;
macro_rules! valfn {
($val:expr) => {
pub fn $val () -> () { // here val needs to be a ident
some_other_fn($val) // here it needs to be a expr
}
};
}
valfn!(VAL);
如果我可以以一种或另一种方式对 ident 值进行一些操作以避免定义冲突,则奖励积分。我可以使用函数定义来隐藏变量吗?应该不会...
const VAL: usize = 32;
valfn!(VAL); // creates: fn VAL()
或
const VAL_: usize = 32;
valfn!(VAL_); // creates: fn VAL()
解决方法
接受一个令牌树,然后将其解释两次,一次作为 ident
,一次作为 expr
:
macro_rules! valfn {
($val:tt) => { valfn!(@ $val,$val); };
(@ $vali:ident,$vale:expr) => {};
}
为避免名称冲突,请使用下面链接的许多提到的解决方案之一。一个例子是粘贴箱:
use paste::paste; // 1.0.4
fn some_other_fn(_: usize) {}
const VAL: usize = 32;
macro_rules! valfn {
($val:tt) => { valfn!(@ $val,$vale:expr) => {
paste! {
pub fn [<$vali:lower _fn>]() {
some_other_fn($vale);
}
}
};
}
valfn!(VAL);
fn main() {
val_fn();
}
另见:
- What does an @ symbol mean in a Rust declarative macro?
- Is it possible to modify the case of a token inside of a macro?
- Is it possible to declare variables procedurally using Rust macros?
- Can a Rust macro create new identifiers?
在宏中,ident
是有效的 expr
,因此您可以使用 ident
。
macro_rules! valfn {
($val: ident => {
pub fn $val () -> () {
some_other_fn($val)
}
};
}
您可以添加模块以避免命名冲突,或 Shepmaster 回答中的任何其他建议。