macros - 无法将参数转发到嵌套宏

我正在研究Rust宏，以生成描述FFI回调的静态结构数组。我现在有的是...

// some trivial callback functions
extern "C" fn my_fun_1(argc: u32, argv: *const i32) -> i32 { 1 }
extern "C" fn my_fun_2(argc: u32, argv: *const i32) -> i32 { 2 }


// create static array of ErlNifFunc describing above callbacks
nif_init!(b"my_module\0",
    nif!(b"my_fun_1\0", 3, my_fun_1),
    nif!(b"my_fun_2\0", 5, my_fun_2));

(整个事情是here)

之所以有效，是因为我只需要提供提供给nif!宏的信息的一种扩展即可。但是现在，除了生成结构数组之外，我还想为所提供的函数生成包装函数。因此，我无法立即调用nif!，因为我现在需要对基础参数进行一次以上的扩展传递。我实际上需要将nif!调用移到nif_init!内，这是我淹死的地方。我认为顶层nif_init!需要看起来像这样...

nif_init!(b"my_module\0",
    (b"my_fun_1\0", 3, my_fun_1),
    (b"my_fun_2\0", 5, my_fun_2));

...带有内部括号的参数被传递给了子宏，但我只是无法实现。完全无效的是here。为了明确起见，此版本仅尝试在内部进行宏调用。我还没有尝试生成任何包装函数。

最佳答案

对于这种情况，您不能将括号用作分组，而需要将其用作宏模式的一部分。我会避免使用括号来避免这种困惑。

在这里，我对您的宏进行了一些更改，以接受零个或多个{}集。您可以对它们中的每一个进行宏迭代，然后调用您的内部宏:

macro_rules! nif_inner {
    ($name:expr, $args:expr, $meth:expr) => ()
}

macro_rules! nif_init {
    ($module:expr, $({ $name:expr, $args:expr, $meth:expr }),*) => (
        $(nif_inner!(name, $args, $meth);)*
    )
}

nif_init!(
    "hello",
    { "name1", 1, true },
    { "name2", 2, false }
);

fn main() {}