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

接受一个标记树，然后将其解释两次，一次为 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, $val); };
    (@ $vali:ident, $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?