我怎样才能拥有 Any 类型的数组？

Question

我正在尝试对类似数据框的结构进行建模。我知道如何在这里使用enums，但我正在探索它如何类似于 C#/Python/等。

我尝试关注Rust Trait object conversion，但没有成功：

use std::any::{Any};
use std::fmt::Debug;

pub trait Value: Any + Sized {
    fn as_any(&self) -> &Any {
        self
    }

    fn as_any_mut(&mut self) -> &mut Any {
        self
    }
}

impl Value for i32 {}

#[derive(Debug)]
struct Frame {
    data: Vec<Box<Any>>,
}

fn make_int(of: Vec<i32>) -> Frame {
    let data = of.into_iter().map(|x| Box::new(x.as_any())).collect();
    Frame {
        data: data,
    }
}

编译器抱怨：

error[E0277]: the trait bound `std::vec::Vec<std::boxed::Box<std::any::Any>>: std::iter::FromIterator<std::boxed::Box<&std::any::Any>>` is not satisfied
  --> src/main.rs:40:61
   |
40 |     let data = of.into_iter().map(|x| Box::new(x.as_any())).collect();
   |                                                             ^^^^^^^ a collection of type `std::vec::Vec<std::boxed::Box<std::any::Any>>` cannot be built from an iterator over elements of type `std::boxed::Box<&std::any::Any>`
   |
   = help: the trait `std::iter::FromIterator<std::boxed::Box<&std::any::Any>>` is not implemented for `std::vec::Vec<std::boxed::Box<std::any::Any>>`

Answer 1

主要问题在于这个函数：

fn as_any(&self) -> &Any {
    self
}

这意味着您可以将Value 借用为&Any，（它将&Value 转换为&Any）。

但是，您想从该&Any 创建一个Box<Any>。这永远不会奏效，因为&Any 是借来的值，而Box<Any> 是拥有的。

最简单的解决方案是更改 trait 以返回装箱值（拥有的 trait 对象）：

pub trait Value: Any + Sized {
    fn as_boxed_any(&self) -> Box<Any> {
        Box::new(self)
    }
    //The mut variation is not needed
}

现在make_int 函数很简单：

fn make_int(of: Vec<i32>) -> Frame {
    let data = of.into_iter().map(|x| x.as_boxed_any()).collect();
    Frame {
        data: data,
    }
}

更新：稍微修改一下，我发现您可以通过以下方式创建Vec<Box<Any>>：

fn make_int(of: Vec<i32>) -> Frame {
    let data = of.into_iter().map(|x| Box::new(x) as Box<Any>).collect();
    Frame {
        data: data,
    }
}

如果您只为这种转换编写特征，则实际上不需要它。