5 共享状态 on 编程那些事儿

5.1 `Arc`

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/concurrency/shared-state/arc.html

5.1 `Arc`

Arc<T> 通过 Arc::clone 允许共享的只读所有权：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34


// Copyright 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0
use std::sync::Arc;
use std::thread;

/// 打印是哪个线程丢弃了它的结构体。
#[derive(Debug)]
struct WhereDropped(Vec<i32>);

impl Drop for WhereDropped {
 fn drop(&mut self) {
 println!("Dropped by {:?}", thread::current().id())
 }
}

fn main() {
 let v = Arc::new(WhereDropped(vec![10, 20, 30]));
 let mut handles = Vec::new();
 for i in 0..5 {
 let v = Arc::clone(&v);
 handles.push(thread::spawn(move || {
 // 休眠 0–500ms。
 std::thread::sleep(std::time::Duration::from_millis(500 - i * 100));
 let thread_id = thread::current().id();
 println!("{thread_id:?}: {v:?}");
 }));
 }

 // 现在只有派生出的线程持有 `v` 的克隆。
 drop(v);

 // 当最后一个派生线程结束时，它会丢弃 `v` 的内容。
 handles.into_iter().for_each(|h| h.join().unwrap());
}

Arc 表示 “Atomic Reference Counted”（原子引用计数），是使用原子操作的线程安全版 Rc。

无论 T 是否实现 Clone，Arc<T> 都实现 Clone。当且仅当 T 同时实现 Send 与 Sync 时，它才实现 Send 与 Sync。

Arc::clone() 的代价是执行原子操作，之后使用 T 是免费的。

当心引用环，Arc 不会用垃圾回收来检测它们。

std::sync::Weak 可以帮忙。

5.2 `Mutex`

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/concurrency/shared-state/mutex.html

5.2 `Mutex`

Mutex<T> 确保互斥，并允许在只读接口背后对 T 进行可变访问（内部可变性的另一种形式）：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15


// Copyright 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0
use std::sync::Mutex;

fn main() {
 let v = Mutex::new(vec![10, 20, 30]);
 println!("v: {:?}", v.lock().unwrap());

 {
 let mut guard = v.lock().unwrap();
 guard.push(40);
 }

 println!("v: {:?}", v.lock().unwrap());
}

注意我们有一个 impl<T: Send> Sync for Mutex<T> 的 blanket 实现。

5.3 示例

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/concurrency/shared-state/example.html

5.3 示例

来看 Arc 与 Mutex 的实际用法：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17


// Copyright 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0
use std::thread;
// use std::sync::{Arc, Mutex};

fn main() {
 let v = vec![10, 20, 30];
 let mut handles = Vec::new();
 for i in 0..5 {
 handles.push(thread::spawn(|| {
 v.push(10 * i);
 println!("v: {v:?}");
 }));
 }

 handles.into_iter().for_each(|h| h.join().unwrap());
}

可行解法：

5 共享状态 on 编程那些事儿

5.1 `Arc`

5.1 Arc

5.2 `Mutex`

5.2 Mutex

5.3 示例

5.3 示例

5.1 `Arc`

5.2 `Mutex`