advance/smart-pointer/rc-arc

[giscus[bot]]

advance/smart-pointer/rc-arc

https://course.rs/advance/smart-pointer/rc-arc.html

[mozhou-tech]

这一章写的这么精彩，竟然没有评论吗

[Ziqi-Yang]

狗头吧怎么教你的，看完3.4.4没法写项目，看完15.8你还没法写项目吗

[lihongtao1024]

因为这章太简单，没什么值得讨论的点啊。

[ytianxia6]

我是因为写项目中发现很多问题，不知道如何决策，回来补课

[wupeaking]

2024年08月21日14:52:30 发现自己2年前评论过， 又学了一遍路过这里打个卡。 真的是常学常新。

[wangmj]

@wupeaking 所以，你现在？

[matyle]

很牛

[loheagn]

读文章感觉困难的同学不要灰心，可以在写过一段时间代码后再来看，会有一种豁然开朗的感觉！我就是这样的。

[Zurphy]

卧槽，真的太复杂了

[CedricYin]

的确是这样👍

[h56983577]

感觉有点像 C++ 的std::shared_ptr

[vinland-avalon]

以上代码我们使用 Rc::new 创建了一个新的 Rc 智能指针并赋给变量 a，该指针指向底层的字符串数据。

这里在我的理解中，String是一个智能指针，在栈上，新的Rc智能指针指向该栈上String吧

[Endermanbugzjfc]

智能指针不一定在棧
Rc 的情况就类似 Box
虽然一个指针是在棧
另一个却是在堆（跟底层数据一样）

冷知识：
截止目前为止
标准库中好像依然没有任何智能指针是指向棧数据的

[Endermanbugzjfc]

冷知识：
截止目前为止
标准库中好像依然没有任何智能指针是指向棧数据的

错了错了错得离谱
这 gpt 老狐狸天天坑人

标准库中只有集合类型以及 alloc 模组中的类型会使用堆分配。想想 RefCell 类型（下一章），它连内存都不使用，更何况是堆内存？

[tickscn]

都讲了智能指针了，也没有看到内存动态分配，rust 中是不需要这个功能吗?

[Unik-lif]

应该帮助程序员做了这件事情，在前面的Vec和String部分有涉及自动分配空间，他的capacity会根据初始化以及之后增减而自行调整。

[malyjacob]

rust做了封装，好像不能以安全代码的形式手动分配内存。

[Unik-lif]

大家，请记得坚持捏！如果坚持不下去，先至少把rustlings对照着写完吧！

[Unik-lif]

rustlings这里在smart_pointers这边有四个习题，有助于加深对于这部分章节的理解。

[Scrapyer]

有没有rust 相关的project 来练练手

[yangkkkk]

怎么可能不常见呢？多线程编程下，多个线程功操作同一个变量。

[anngg2008]

最后这个例子忘join了吧

[liguirong98]

这样一个场景

struct Foo {
map:HashMap<String,i32>, // map:HashMap<Rc,i32>,
set: HashSet, // set: HashSet<Rc>
}

其中 set的keyt自来于map的key, 但并不是map的所有key都在set中

那么复制一份String 和 创建一个Rc 实践上哪个更好

[Jisu-Woniu]

当字符串不需要修改时（类似 Java、C# 等语言的 String），可以使用 Rc<str> 和 Arc<str> 保存可能需要复用的字符串，可以极大减少内存消耗。

可以参考这个 YouTube 视频。

[TsGanT]

感觉是不是可以把Rc和Arc 的内部结构也讲讲，比如他的内存结构啥的，这样看完感觉其实Rc里的那个计数器到底是如何计数的还是不太明白

[IronPanda0]

"...允许一个数据资源在同一时刻拥有多个所有者..."，我认为开头的表述是不严谨的。
Rc是reference counting，也就是引用计数，所以通过Rc获取的值应该是引用而不是所有权。

[Endermanbugzjfc]

但官方也是用 “owner” 拥有者来描述它

[quhw]

rc解决的是引用生命周期的复杂性，可以这么理解么？

[blablaboo]

不能说毫不相干，只能说和objc一毛一样？

[Raine-Yang-UofT]

好奇一个问题，既然Rc用的是引用计数，它是怎么解决循环引用的问题

[Raine-Yang-UofT]

打扰了，原来就在下一章

[codecoron]

文章开头说到

在图数据结构中，多个边可能会拥有同一个节点，该节点直到没有边指向它时，才应该被释放清理
然后这种情况引入了Rc，这样多个边就可以同时拥有一个节点。

这里抛出一个问题，直接使用引用&类型不也可以实现吗？
比如示例中的代码修改成如下，也没必要用Rc呀。实在没有想出，Rc对比不可变引用的优点在哪

    let s = String::from("hello, world");
    // s在这里被转移给a
    let a = Box::new(&s);
    // 报错！此处继续尝试将 s 转移给 b
    let b = Box::new(&s);

    println!("{}",a);
    println!("{}",b);

[ytianxia6]

如果使用Box，那 s ，a， b之间，有一个不平等的关系，你必须将 s 单独维护起来，并且在所有的引用全部释放后，才可以释放 s。 这想必就是 Rc 底层干的事情，维护一个s ，等计数归零后再释放这个s。

[ShyunnY]

如果你使用引用，那你是不是需要保证生命周期？（避免在持有引用的阶段原数据被销毁导致悬挂引用）

所以Rc就是让你在引用的时候别想这么多，你的引用"正常情况"下 始终是有效 的

[gongxufan]

fn operate_arc(){
let s = Arc::new(String::from("多线程漫游者"));
for i in 0..10 {
let s = Arc::clone(&s);
let handle = thread::spawn(move || {
println!("times:{},{}",i, s);
println!("count:{}", Arc::strong_count(&s));
});
}
thread::spawn(|| { println!("waiting"); }).join();
println!("count:{}", Arc::strong_count(&s));
}

times:0,多线程漫游者
count:11
times:2,多线程漫游者
count:10
times:3,多线程漫游者
count:9
times:5,多线程漫游者
count:8
times:6,多线程漫游者
count:7
times:8,多线程漫游者
count:6
times:9,多线程漫游者
count:5
times:1,多线程漫游者
count:4
times:4,多线程漫游者
count:3
times:7,多线程漫游者
count:2
waiting
count:1

[jeferwang]

cool!

[rico233333333]

第一个例子也可以这样

fn main() {
    let s = String::from("hello, world");
    // s在这里被转移给a
    let a = Box::new(s);
    // 把a解引用
    let _b = Box::new(*a);
}

[guoqi-z]

let b = Rc::clone(&a);
assert_eq!(2, Rc::strong_count(&a));

这两句代码中, 我不明白为什么 Rc::clone(&a);和Rc::strong_count(&a) 要使用&a而不是单纯的a呢?

[ytianxia6]

在rust里，函数调用不传引用，意味着将所有权 交了出去。如果这里是 a 而不是 &a ，意味着， a 这个变量将失效。