主页 / coding / 问题 / 79557985
Accepted
MaPo
Asked: 2025-04-06 16:50:11 +0800 CST

Rust 中宏内的枚举

  • 772

我有以下锈蚀代码

use std::any::Any;
use std::rc::Rc;

fn main() {
    let mut variables = Vec::<Rc<dyn Any>>::new();
    variables.push(Rc::new(1_i32));
    variables.push(Rc::new(false));
    variables.push(Rc::new(4.53_f64));

    let integer: i32 = *variables[0].clone().downcast::<i32>().unwrap();
    let boolean: bool = *variables[1].clone().downcast::<bool>().unwrap();
    let floating: f64 = *variables[2].clone().downcast::<f64>().unwrap();

    let my_goal: (i32, bool, f64) = (integer, boolean, floating)

    println!("{:?}", my_goal);

我想使用宏来实现自动化。（我知道这不是最理想的，但这只是一个 MWE 来询问有关宏的问题）

特别是我想创建一个向下转换Any为给定类型的元组

我的第一次尝试是：

macro_rules! my_macro {
    ($vector:ident; $($type:ty),*) => {
        // ($($type),*)
        //println!("{:?}", $vector);
        //$(println!("{:?}", stringify!($type));)*
        let idx = 0;
        ($(
                *$vector[0].clone().downcast::<$type>().unwrap()
        ),*)
    };
}

这是错误的，因为0硬编码。我尝试了几种方法来声明一个变量并沿着宏增加它，但都失败了。我该怎么办？

generics

1 个回答

  1. Best Answer

    我很确定您没有声明变量，因为您只使用了一组花括号，而实际上在粗箭头后的宏中需要两个花括号。

    我想这就是你想要的宏：

    macro_rules! tuple_downcast {
    ($vector:ident; ($($type:ty),*)) => {{
        let mut iter = $vector.into_iter();
        (
            $(
                *iter.next()
                    .expect("The vector contains less elements than the type tuple.")
                    .clone()
                    .downcast::<$type>()
                    .expect("The value can not be downcasted to the specified type."),
            )*
        )
    }};
}

    你可以像这样使用它：

    use std::any::Any;
use std::rc::Rc;

macro_rules! tuple_downcast {
    ($vector:ident; ($($type:ty),*)) => {{
        let mut iter = $vector.into_iter();
        (
            $(
                *iter.next()
                    .expect("The vector contains less elements than the type tuple.")
                    .clone()
                    .downcast::<$type>()
                    .expect("The value can not be downcasted to the specified type."),
            )*
        )
    }};
}

fn main() {
    let mut variables = Vec::<Rc<dyn Any>>::new();
    variables.push(Rc::new(1_i32));
    variables.push(Rc::new(false));
    variables.push(Rc::new(4.53_f64));

    let integer: i32 = *variables[0].clone().downcast::<i32>().unwrap();
    let boolean: bool = *variables[1].clone().downcast::<bool>().unwrap();
    let floating: f64 = *variables[2].clone().downcast::<f64>().unwrap();

    let my_goal: (i32, bool, f64) = (integer, boolean, floating);

    println!("{:?}", my_goal);

    let mut variables = Vec::<Rc<dyn Any>>::new();
    variables.push(Rc::new(1_i32));
    variables.push(Rc::new(false));
    variables.push(Rc::new(4.53_f64));

    let my_goal = tuple_downcast!(variables; (i32, bool, f64));

    println!("{:?}", my_goal);
}

    输出结果如下：

    (1, false, 4.53)
(1, false, 4.53)

    或者，如果您确实想使用索引来访问元素：

    macro_rules! tuple_downcast {
    ($vector:ident; ($($type:ty),*)) => {{
        let mut idx = 0;
        (
            $({
                let value = *$vector[idx].clone()
                    .downcast::<$type>()
                    .unwrap();
                idx += 1;

                value
            }),*
        )
    }};
}
    • 1

相关问题