Question

我基本上有一个函数可以创建一些需要在堆上分配的对象。我想要做的是从该函数返回一个结构，该结构包含对该堆分配值的引用。

struct Cont<'a> {
    pub v: &'a i32
}

impl<'a> Cont<'a> {
    fn new(v: &'a i32) -> Cont {
        Cont {
            v: v
        }
    }
}

fn f<'a>() -> Cont<'a> {
    let v = Box::new(6);

    Cont::new(&v)
}

fn main() {
    let c = f();

    println!("{}", c.v);
}

我正在error: 'v' does not live long enough。

您可以找到示例here。

Answer 1

您不能返回仅包含对象的借用指针的结构，因为在函数结束时您的Box将被销毁。

您需要将Box的所有权转移出函数，以便堆分配的对象保持活动状态。最简单的方法是将Box移动到结构中：

struct Cont {
    pub v: Box<i32>
}

impl Cont {
    fn new(v: Box<i32>) -> Cont {
        Cont {
            v: v
        }
    }
}

fn f() -> Cont {
    let v = Box::new(6);
    Cont::new(v)
}

fn main() {
    let c = f();

    println!("{}", c.v);
}

如果你想要一个能够存储借用指针或拥有Box（或其他类型的智能指针）的结构，我们可以使它在Borrow特征上具有通用性。

use std::borrow::Borrow;

struct Cont<T> where T: Borrow<i32> {
    pub v: T
}

impl<T> Cont<T> where T: Borrow<i32> {
    fn new(v: T) -> Cont<T> {
        Cont {
            v: v
        }
    }
}

fn owned() -> Cont<Box<i32>> {
    let v = Box::new(6);
    Cont::new(v)
}

fn borrowed(v: &i32) -> Cont<&i32> {
    Cont::new(v)
}

fn main() {
    let c = owned();
    println!("{}", c.v);

    let x = 123;
    let c = borrowed(&x);
    println!("{}", c.v);
}

我怎样才能返回盒装价值？

1 个答案: