如何将包含多个项目的宏传递到宏?

时间:2017-02-08 07:27:42

标签: macros rust

鉴于这个简单的宏可以扩展多个项目,它如何将宏作为参数?

macro_rules! print_structs {
    ($($t:ty)*) => ($(
        println!("{:?}", TypeId::of::<$t>());
    )*)
}

// expands one println per type!
print_structs! { i8 i16 usize String }

如何传入预定义的类型宏?

非工作宏的示例:

macro_rules! some_types {
    () => {
        i8 i16 usize String
    }
}

print_structs! { some_types!() }

请参阅play.rust-lang.org示例,取消注释UNCOMMENT TO TEST行以查看问题。

给出错误:macro expansion ignores token `i16` and any following

我还尝试将列表放在要包含的文件中,例如:

print_structs! {
    include!("some_types.in")
}

...但是这会出错:expected type, found `include!("../struct_list.rs")`

1 个答案:

答案 0 :(得分:3)

从这看起来,似乎无法使用宏或include扩展宏内的列表。

虽然代码生成是一种选择,但它非常复杂,所以会将其排除在这个答案之外。

可以通过交换宏使用来获得类似的功能,而不是将列表传递到宏中,将宏名称传递给使用列表扩展它的通用宏。

这是一个有效的例子:

macro_rules! print_structs {
    ($($t:ty)*) => ($(
        println!("{:?}", ::std::any::TypeId::of::<$t>());
    )*)
}

macro_rules! apply_macro_to_structs {
    ($macro_id:ident) => {
        $macro_id! {
            i8 i16 usize String
        }
    }
}

fn test_a() {
    // expands one println per type!
    print_structs! { i8 i16 usize String }
}

fn test_b() {
    // expand using a macro
    apply_macro_to_structs!(print_structs);

}

fn main() {
    test_a();
    test_b();
}