如何对多态向量中包含的元素进行拆箱？

Question

看了这个“属于某个特质的对象的向量”的回答，看起来Rust是做自动拆箱的，是这样的吗？

我的代码无法编译，我不明白该答案的代码如何编译。

什么是解除包含装箱特征的多态向量元素装箱的正确方法？

我已经阅读了 Rust by Example 和 Box 文档，我看不到任何看起来像 unbox（） 的方法。

我的代码是:

trait HasArea {
    fn area(&self) -> f64;
}

struct Circle {
    x: f64,
    y: f64,
    radius: f64,
}

impl HasArea for Circle {
    fn area(&self) -> f64 {
        std::f64::consts::PI * (self.radius * self.radius)
    }
}

struct Square {
    x: f64,
    y: f64,
    side: f64,
}

impl HasArea for Square {
    fn area(&self) -> f64 {
        self.side * self.side
    }
}

fn print_area<T: HasArea>(shape: T) {
    println!("This shape has an area of {}", shape.area());
}

fn main() {
    let c = Circle {
        x: 0.0f64,
        y: 0.0f64,
        radius: 1.0f64,
    };

    let s = Square {
        x: 0.0f64,
        y: 0.0f64,
        side: 1.0f64,
    };

    print_area(c);
    print_area(s);

    let vec: Vec<Box<HasArea>> = Vec::new();
    vec.push(Box::new(c));
    vec.push(Box::new(s));

    for x in vec {
        print_area(x)
    }
}

我的错误是：

   Compiling rustgraph v0.1.0 (file:///home/chris/lunch/rustgraph)
error[E0277]: the trait bound `Box<HasArea>: HasArea` is not satisfied
  --> src/main.rs:54:9
   |
54 |         print_area(x)
   |         ^^^^^^^^^^ the trait `HasArea` is not implemented for `Box<HasArea>`
   |
   = note: required by `print_area`

Answer 1

阅读后https://stackoverflow.com/a/25819164/129805看起来铁锈能自动拆箱。是这样吗？

没有您想象的那么自动。事实上，您正在寻找unbox方法，而Box

我冒昧地修复了main和print_area以使其工作。向量也被错误地声明为不可变的。

fn print_area<T: HasArea + ?Sized>(shape: &T) {
    println!("This shape has an area of {}", shape.area());
}

fn main() {
    let c = Circle {
        x: 0.0f64,
        y: 0.0f64,
        radius: 1.0f64,
    };

    let s = Square {
        x: 0.0f64,
        y: 0.0f64,
        side: 1.0f64,
    };

    print_area(&c);
    print_area(&s);

    let mut vec: Vec<Box<HasArea>> = Vec::new();
    vec.push(Box::new(c));
    vec.push(Box::new(s));

    for x in vec {
        print_area(&*x)
    }
}

Answer 2

回答你的直接问题：

如何对多态向量中包含的元素进行拆箱？

你不能。一旦某些东西被装箱并删除了具体类型，就是这样。一个盒子

要解决代码中的问题...再次检查错误消息：

特征绑定＜代码＞框

那是因为对一个特征(或一个特征框)的引用并没有实现那个特征！

为了让您的程序按照您最初编写的方式编译和运行，您只需要为框实现trait，我们也可以做引用：

impl<T: ?Sized> HasArea for Box<T>
    where T: HasArea
{
    fn area(&self) -> f64 { (**self).area() }    
}

impl<'a, T: ?Sized> HasArea for &'a T
    where T: HasArea
{
    fn area(&self) -> f64 { (**self).area() }    
}

这允许您的固定干线运行:

fn main() {
    let c = Circle {
        x: 0.0f64,
        y: 0.0f64,
        radius: 1.0f64,
    };

    let s = Square {
        x: 0.0f64,
        y: 0.0f64,
        side: 1.0f64,
    };

    print_area(&c);
    print_area(&s);

    let vec: Vec<Box<HasArea>> = vec![Box::new(c), Box::new(s)];

    for x in vec {
        print_area(x)
    }
}

在这里，我们将＜code＞c＜/code＞和＜code＞s＜/code＞的引用传递给＜code＞print_area＜/code＞，以避免所有权转移。我们还使用向量机 宏以更少的时间构造向量。

Answer 3

您可以像< code>print_area(*x)一样取消对它的引用，但是由于其他原因，它不起作用:为< code>print_area参数绑定了< code > size 。你的函数需要知道它的参数的大小。

你的代码中还有其他问题：你试图推入一个不可变的向量，你试图框移动的值。这些在print_area（）中使用后被移动。

我的观点是，让＜code＞print_area＜/code＞成为一种采用不可变引用的方法会更容易。这将按您的预期工作。

trait HasArea {
    fn area(&self) -> f64;
    fn print_area(&self) {
        println!("This shape has area of {}", self.area());
    }
}

struct Circle {
    x: f64,
    y: f64,
    radius: f64,
}

impl HasArea for Circle {
    fn area(&self) -> f64 {
        std::f64::consts::PI * (self.radius * self.radius)
    }
}

struct Square {
    x: f64,
    y: f64,
    side: f64,
}

impl HasArea for Square {
    fn area(&self) -> f64 {
        self.side * self.side
    }
}

fn print_area<T: HasArea>(shape: &T) {
    println!("This shape has an area of {}", shape.area());
}

fn main() {
    let c = Circle {
        x: 0.0f64,
        y: 0.0f64,
        radius: 1.0f64,
    };

    let s = Square {
        x: 0.0f64,
        y: 0.0f64,
        side: 1.0f64,
    };

    c.print_area();
    s.print_area();

    let mut vec: Vec<Box<HasArea>> = Vec::new();
    vec.push(Box::new(c));
    vec.push(Box::new(s));

    for x in vec {
        x.print_area();
    }
}