有时我有 struct
包含一个包含在 RefCell
中的值,我想借用该值,但我不想让访问器函数的签名依赖于内部实现 . 为了使它工作,我需要将引用作为 Ref<T>
而不是 &T
返回 .
例如,如果这是我的结构:
use std::cell::RefCell;
pub struct Outer<T> {
inner: RefCell<T>,
}
我可以写一个这样的访问器:
use std::cell::Ref;
impl<T> Outer<T> {
fn get_inner_ref(&self) -> Ref<T> {
self.inner.borrow()
}
}
这很好用 . 我可以像这样使用它:
fn main() {
let outer = Outer { inner: RefCell::new(String::from("hi")) };
let inner: &str = &outer.get_inner_ref();
println!("inner value = {:?}", inner);
}
但是,这会将 Ref
暴露为公共API的一部分,这会使以后更改内部内容变得更加困难,而不会破坏向后兼容性 .
如果我尝试更改签名以返回 &T
- &Ref<T>
可以强制执行 - 那么我会遇到终身错误:
impl<T> Outer<T> {
fn get_inner_ref(&self) -> &T {
&self.inner.borrow()
}
}
错误是:
error[E0597]: borrowed value does not live long enough
--> src/main.rs:16:10
|
16 | &self.inner.borrow()
| ^^^^^^^^^^^^^^^^^^^ temporary value does not live long enough
17 | }
| - temporary value only lives until here
|
note: borrowed value must be valid for the anonymous lifetime #1 defined on the method body at 15:5...
--> src/main.rs:15:5
|
15 | / fn get_inner_ref(&self) -> &T {
16 | | &self.inner.borrow()
17 | | }
| |_____^
似乎没有办法解决这个问题,因为错误消息是正确的 . 代码试图引用 Ref<T>
,它只持续函数调用 . 为了使这个工作,我必须通过返回它来移出 Ref<T>
本身 - 就像在上面的原始代码中一样 - 而不是对它进行新的引用 .
有an answer to How do I return a reference to something inside a RefCell without breaking encapsulation?技术上可以解决这个问题,但它是一个更专业的案例(只获得 RefCell
中的一部分值),对于这种简单的情况,解决方案似乎过于复杂 .
1 回答
这正是
impl Trait
的目的,已经在稳定的Rust since version 1.26中可用 .Rust编译器知道实际的实现是
Ref<T>
但是让你避免显式写它,并且这个函数的调用者只能使用Deref
trait提供的功能 .只要您返回的实际值是实现
Deref<Target = T>
的类型,您就可以在以后更改该实现而不会破坏任何使用它的代码 . 例如,您可以返回&T
或one of several other reference types,包括您自己的自定义类型,如other linked question .