rust - 如何从宏中的表达式参数中获取标识符？

Question

我有一个由变量定义的常量值：

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()

Answer 1

接受一个标记树，然后将其解释两次，一次为 anident一次为 an 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, $val); };
    (@ $vali:ident, $vale:expr) => {
        paste! {
            pub fn [<$vali:lower _fn>]() {
                some_other_fn($vale);
            }
        }
    };
}

valfn!(VAL);

fn main() {
    val_fn();
}

也可以看看：

• Rust 声明性宏中的 @ 符号是什么意思？
• 是否可以在宏内修改令牌的大小写？
• 是否可以使用 Rust 宏以程序方式声明变量？
• Rust 宏可以创建新的标识符吗？

Answer 2

在宏中， anident是有效的expr，所以你可以使用ident.

macro_rules! valfn {
    ($val: ident => {
        pub fn $val () -> () {
            some_other_fn($val)
        }
    };
}

您可以添加一个模块以避免命名冲突，或 Shepmaster 回答中的任何其他建议。