6

我是该语言的新手，仍在与借阅检查器作斗争。我已经看到一些库使用 new() 函数，也就是不带参数的构造函数，并且它可以工作。基本上这意味着，返回的数据是在 new 的函数范围内创建的，并且不会在 new 的范围结束时被删除。

当我自己尝试这个时，借用检查器不会让这个代码通过。除了将 i32 可变引用作为参数传递给构造函数之外，如何进行这项工作。

我错过了什么吗？

#[derive(Debug)]
struct B<'a> {
    b: &'a i32
}

#[derive(Debug)]
struct A<'a> {
    one: B<'a>
}

impl<'a> A<'a> {
    fn new() -> A<'a> {
        // let mut b = 10i32;
        A {
            one: B{b: &mut 10i32}
        }
    }
}

fn main() {
    let a = A::new();
    println!("A -> {:?}", a);
}

编译器错误。

main.rs:15:19: 15:24 error: borrowed value does not live long enough
main.rs:15          one: B{b: &mut 10i32}
                                   ^~~~~
main.rs:12:20: 17:3 note: reference must be valid for the lifetime 'a as defined on the block at 12:19...
main.rs:12  fn new() -> A<'a> {
main.rs:13      // let mut b = 10i32;
main.rs:14      A {
main.rs:15          one: B{b: &mut 10i32}
main.rs:16      }
main.rs:17  }
main.rs:12:20: 17:3 note: ...but borrowed value is only valid for the block at 12:19
main.rs:12  fn new() -> A<'a> {
main.rs:13      // let mut b = 10i32;
main.rs:14      A {
main.rs:15          one: B{b: &mut 10i32}
main.rs:16      }
main.rs:17  }
error: aborting due to previous error

根据要求，这是我正在尝试使用的实际示例。有这个 GUI 库（Conrod），它有一些实例化它的步骤。就像下面的例子一样。

let assets = find_folder::Search::ParentsThenKids(3, 3)
    .for_folder("assets").unwrap();
let font_path = assets.join("fonts/NotoSans/NotoSans-Regular.ttf");
let theme = Theme::default();
let glyph_cache = GlyphCache::new(&font_path).unwrap();
let ui = &mut Ui::new(glyph_cache, theme);

我的计划是将应用程序的绘图封装到一个结构中。那将有一个构造函数和一些辅助方法。为此，我必须有一个具有该类型实例的字段，该conrod::Ui<GlyphCache<'a>>类型是上述 ui 变量的类型。

我认为向 main 添加东西（我的意思是在 main 中完成所有分配），可能不是最好的做事方式。

let mut app_ui = app::AppUi::new(); // This would encapsulate all of the above configuration lines.

// use the ui here
for e in evets {
    app_ui.handle_input();
    app_ui.render();
}

AppUi的实现。它不完整，但应该显示总体思路。只是为了确保我们在同一页面上，该类型conrod::Ui<GlyphCache<'a>>需要一个生命周期参数。我想拥有与结构相同的生命周期。我知道如何做到这一点的唯一方法是让结构本身获取生命周期参数，并将其传递给 UI 类型。

pub struct AppUi<'a> {
  pub ui: conrod::Ui<GlyphCache<'a>>,
  pub count: u16
}

impl<'a> AppUi<'a> {
  pub fn new() -> AppUi<'a> {
    let assets = find_folder::Search::ParentsThenKids(3, 3)
    .for_folder("assets").unwrap();

    let font_path = assets.join("FiraSans-Regular.ttf");
    let theme = Theme::default();
    let glyph_cache = GlyphCache::new(&font_path).unwrap();

    AppUi {
      ui: conrod::Ui::new(glyph_cache, theme),
      count: 0
    }
  }
}

========================

我采用的解决方案，最终奏效了（至少现在有效）。是创建一个辅助函数，它会返回一个 glyph_cache 并使用它。我不确定它是否是惯用的 Rust，现在只会使用它。可能应该习惯于使用借用检查器。

pub struct AppUi<'a> {
  pub ui: conrod::Ui<GlyphCache<'a>>,
  pub count: u16
}

impl<'a> AppUi<'a> {
  pub fn new() -> AppUi<'a> {

    AppUi {
      ui: conrod::Ui::new(GlyphCache::new(&get_default_font_path()).unwrap(), Theme::default()),
      count: 0
    }
  }
}

pub fn get_default_font_path() -> PathBuf {
  find_folder::Search::ParentsThenKids(3, 3)
    .for_folder("assets")
    .unwrap()
    .join("FiraSans-Regular.ttf")
}
4

2 回答 2

6

理解这一点的关键是&引用代表借用，而不是拥有的价值。生命周期注释不控制值的生存时间；他们只跟踪以确保借用引用的所指对象比借用引用本身的寿命更长，因此取消引用它总是有效的。

借用引用可以引用堆栈（静态分配的内存）或堆（动态分配的内存）中的值。堆栈上的值具有相当明显的生命周期；从变量初始化开始，直到这些值从堆栈中弹出时块结束。

堆上的值由栈上的指针拥有；因此它们的生命周期由拥有它们的堆栈上的指针决定。但是，所有权可以在不同变量之间移动，因此如果将引用它们的指针的所有权从一个堆栈变量移动到另一个堆栈变量，则实际上可以拥有更灵活的这些值的生命周期。

如果您编写具有如下签名的函数：

fn new() -> A<'a> {}

您要说的是，您将返回一个A其中包含的引用具有'a由调用者确定的生命周期；但你不能这样做，因为你没有得到任何这样的参考作为输入。您不能从new函数内生成具有任意输入生命周期的值。

从new函数中，您通常想要返回的是拥有的值；或者可能是基于某些输入参数的借用值，但您需要提供这些引用作为输入参数。

如果您更多地描述您正在尝试做的事情，而不仅仅是提供一个玩具示例，这可能会有所帮助。您可以在这里尝试做几件可能的事情，但是仅通过玩具示例很难确定要描述的事情。返回包含引用的对象的目的是什么？是否可以将对象进行堆分配，因此在传递它时只需要在单个指针周围移动而不是复制整个值？在这种情况下，您可能需要 aBox或 aVec. 是否可以引用一些堆栈分配的变量？然后，您需要在包含堆栈帧中分配它，并将具有该生命周期的引用传递给您的函数，以便有一个具有适当生命周期的变量可供引用。如果您只是试图返回一个包含整数的对象，那么您可以通过让对象直接包含整数而不是包含对它的引用来实现。

于 2015-07-27T20:14:19.733 回答
5

That's because &mut 10i32 does not live long enough in your program. You specified that one will have the same lifetime as a, but a lives longer than one as the i32 goes out of scope after new finishes. This code will work on the otherhand:

#[derive(Debug)]
struct B<'a> {
    b: &'a i32
}

#[derive(Debug)]
struct A<'a> {
    one: B<'a>
}

impl<'a> A<'a> {
    fn new(x: &'a mut i32) -> A<'a> {
        // let mut b = 10i32;
        A {
            one: B{b: x}
        }
    }
}

fn main() {
    let mut x = 10i32;
    let a = A::new(&mut x);
    println!("A -> {:?}", a);
}

Note that x now lives as long as a, so the your lifetimes are satisfied

于 2015-07-27T20:07:08.080 回答