我想在结构中有一个字段，如下所示：
struct Foo<T> {
bar: Smart<T>
}
其中 bar 可以是 Rc<T 或 Weak<T>，具体取决于 Foo 的不同实例之间的“所有权关系”。除了创建自定义枚举之外，Rust 中是否有任何惯用的方法来做到这一点？
【问题讨论】：
Rc<Child>)，而子级指向其所有者：Weak<Parent>。无法区分这种根本差异可能会令人困惑。
标签： rust
除了创建自定义枚举之外，Rust 中是否有任何惯用的方法来做到这一点？
就像 Rust 中的大多数其他“这个或那个”选择一样，enum 是惯用的方式。
【讨论】：
彼得的回答建议，标准库中没有这样的抽象。您可以定义一个小枚举来处理这两种情况：
use std::rc::{Rc, Weak};
enum MaybeStrong<T> {
Strong(Rc<T>),
Weak(Weak<T>),
}
impl<T> MaybeStrong<T> {
fn get(&self) -> Option<Rc<T>> {
match self {
MaybeStrong::Strong(t) => Some(Rc::clone(t)),
MaybeStrong::Weak(w) => w.upgrade(),
}
}
}
struct Foo<T> {
bar: MaybeStrong<T>
}
impl<T> Foo<T> {
fn from_weak(inner: Weak<T>) -> Self {
Self { bar: MaybeStrong::Weak(inner) }
}
fn from_strong(inner: Rc<T>) -> Self {
Self { bar: MaybeStrong::Strong(inner) }
}
fn say(&self) where T: std::fmt::Debug {
println!("{:?}", self.bar.get())
}
}
fn main() {
let inner = Rc::new("foo!");
Foo::from_weak(Rc::downgrade(&inner)).say();
Foo::from_strong(inner).say();
}
self.bar() 将始终返回 Some 如果它是从强指针创建的，并返回 None 以防它是 Weak 并且它是悬空的。请注意，由于get() 需要首先创建一个拥有的Rc，因此该方法无法返回&T（包括Option<&T>），因为&T 可能是悬空的。这也意味着bar()的所有用户在处理时都将拥有一个强大的内在价值，使其在任何情况下都可以安全使用。
【讨论】：
get() 总是暗示内存写入（递增/递减计数器），提供一个不需要在@ 中执行这些写入的就地apply(f: FnOnce(Option<&T>) -> R) -> R 方法可能很有价值987654334@案例。特征绑定需要for<'a>。
这种构造通常被称为“Either”，并且有一个看起来可以解决一些常见用例的 crate：https://docs.rs/either/1.5.3/either/
那么你可以写
struct Foo<T> {
bar: Either<Weak<T>, Rc<T>>
}
那么获取Option<Rc<T>> 的示例函数可能是：
impl <T> Foo<T> {
fn get_rc(self) -> Option<Rc<T>> {
self.bar
.map_left( |weak| weak.upgrade() )
.map_right( |v| Some(v) )
.into_inner()
}
}
那么就可以这样使用了：
fn main() {
let x = Rc::new(1);
let f_direct = Foo{ bar:Either::Right(x.clone()) };
println!("f_direct.get_rc() = {:?}", f_direct.get_rc());
let f_weak = Foo{ bar:Either::Left(Rc::downgrade(&x)) };
println!("f_weak.get_rc() = {:?}", f_weak.get_rc());
}
在操场上完成示例的链接：
【讨论】：