< 返回版块

github.com/shanliu/lsys 发表于 2022-05-02 20:13



macro_rules! test11 {
    ($type:ident) => {
        S1::$type(_)=>{/*mycode*/}
    };
}

enum S1 {
    A1(i32),
    A2(i32)
}

 fn main() {
    let a=S1::A1(1);
    match a {
        test11!(A1);//这里怎么使用macro???
       // test11!(A2) 
       _ => todo!(),
    }
}



评论区

写评论
Neutron3529 2022-05-05 23:01

没记错宏是有限制的

比如宏的括号必须匹配,你不能生成一个只有左括号而需要人为补充右括号的宏。

一个解法可能是,在match之外包一层宏,这样你的宏只需要能够正常处理match就可以了。

苦瓜小仔 2022-05-03 11:20

语法拓展必定无法展开成不完整或不合语法的结构

https://zjp-cn.github.io/tlborm/syntax-extensions/expansion.html

eweca-d 2022-05-03 10:36

我猜可能是不行的:https://stackoverflow.com/questions/44033221/how-to-write-macro-for-similar-matching-arms。

你可以用宏代替整个match,或者macro => macro,但是不能a => b整体变成一个宏。这应该和match的AST展开模式有关,原理上可能就是不行的。

1 共 3 条评论, 1 页