Rust 高阶宏

这是最近在#34925年实现的.下面的答案指的是旧版本的Rust .

这是#6795和#6994，目前还不能直接实现.一个人要做的第一件事就是

#![feature(macro_rules)]

macro_rules! define {
    ($name: ident, $other: ident) => {
        macro_rules! $name {
            ($e: expr) => {
                $other!("{}", $e)
            }
        }
    }
}

define!{myprintln, println}
define!{myprint, print}

fn main() {}

但这一点在某些情况下失败了

so8.rs:6:13: 6:14 error: unknown macro variable `e`
so8.rs:6             ($e: expr) => {
                     ^

(填写#15640，说明插入符号指向(而不是$e.)

原因是宏扩展是"愚蠢的":它天真地解释和替换所有标记，甚至在嵌套的宏调用中(macro_rules!是一个宏调用).因此，它无法判断内部macro_rules!中的$e实际上是要保留为$e:它只是试图在扩展define时替换它们.

第二种方法是将额外的参数传递给define，以放置在内部定义中，这样$e就不会直接出现在嵌套调用中:

#![feature(macro_rules)]

macro_rules! define {
    ($name: ident, $other: ident, $($interior: tt)*) => {
        macro_rules! $name {
            ($($interior)*: expr) => {
                $other!("{}", $($interior)*)
            }
        }
    }
}

define!{myprintln, println, $e}
define!{myprint, print, $e}

fn main() {}

也就是说，我添加了$interior: tt以允许捕获$e.tt代表令牌树，它是非分隔符原始令牌(例如$或some_ident)或由匹配分隔符(例如(foo + bar fn "baz"))包围的令牌序列.不幸的是，$e扩容计划似乎也很迫切:

so8.rs:8:13: 8:14 error: unknown macro variable `e`
so8.rs:8             ($($interior)*: expr) => {
                     ^

当嵌套宏本身没有参数时，它可以正常工作，因为没有嵌套的$...个非端子，因此扩展阶段不会遇到上述定义问题.

最后，您可以获得一些代码共享的外观，因为您可以按名称扩展到宏调用:

#![feature(macro_rules)]

macro_rules! my {
    ($name: ident, $e: expr) => {
        $name!("{}", $e)
    }
}

fn main() {
    my!(print, 1i);
    my!(println, 2i);
}

打印12张.