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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
//! 集合类型。
//!
//! Rust 的标准集合库提供了最常见的通用编程数据结构的有效实现。通过使用标准实现,两个库在不进行大量数据转换的情况下就可以进行通信。
//!
//! 为了避免这种情况:您可能应该只使用 [`Vec`] 或 [`HashMap`]。
//! 这两个集合涵盖了泛型数据存储和处理的大多数用例。他们非常擅长于做自己的工作。标准库中的所有其他集合都具有特定的用例,在这些用例中它们是最佳选择,但相比之下,这些用例是边缘性的。
//! 即使 `Vec` 和 `HashMap` 在技术上不是最佳选择,它们也可能是入门的足够好选择。
//!
//! Rust 的集合可以分为四个主要类别:
//!
//! * 序列: [`Vec`]、[`VecDeque`]、[`LinkedList`]
//! * Maps: [`HashMap`], [`BTreeMap`]
//! * 集合: [`HashSet`]、[`BTreeSet`]
//! * 混杂: [`BinaryHeap`]
//!
//! # 什么时候应该使用哪个集合?
//!
//! 这些是应该何时考虑每个集合的较高层次且快速的细分。各个集合的优缺点的详细讨论可以在他们自己的文档页面上找到。
//!
//! ### 在以下情况下,请使用 `Vec`:
//! * 您想要收集项以供以后处理或发送到其他地方,而不必关心所存储的实际值的任何属性。
//! * 您需要一个按特定顺序排列的元素序列,并且只会追加到末尾 (或接近末尾)。
//! * 您想要一个栈。
//! * 您需要一个可调整大小的数组。
//! * 您需要一个堆分配的数组。
//!
//! ### 在以下情况下,请使用 `VecDeque`:
//! * 您需要 [`Vec`] 支持序列两端的有效插入。
//! * 您想要一个队列。
//! * 您需要一个双端队列 (deque)。
//!
//! ### 在以下情况下,请使用 `LinkedList`:
//! * 您需要一个未知大小的 [`Vec`] 或 [`VecDeque`],并且不能容忍摊销。
//! * 您想有效地拆分和追加列表。
//! * 您确实,想要一个双向链表。
//!
//! ### 在以下情况下,请使用 `HashMap`:
//! * 您想要将任意键与任意值相关联。
//! * 您需要一个缓存。
//! * 您需要一个没有额外功能的 map。
//!
//! ### 在以下情况下,请使用 `BTreeMap`:
//! * 您需要一个按其键排序的 map。
//! * 您希望能够按需获取一系列条目。
//! * 您对最小或最大键值对是什么感兴趣。
//! * 您想要找到小于或大于某项的最大或最小键。
//!
//! ### 在以下情况下,请使用任何这些 `Map` 的 `Set` 变体:
//! * 您只想记住您所看到的键。
//! * 与您的键关联没有任何有意义的值。
//! * 您只想要一个 set。
//!
//! ### 在以下情况下,请使用 `BinaryHeap`:
//!
//! * 您想存储一堆元素,但只想在任何给定时间处理 "biggest" 或 "most important"。
//! * 您需要一个优先级队列。
//!
//! # Performance
//!
//! 为工作选择合适的集合需要了解每个集合的特长。在这里,我们简要总结了某些重要操作的不同集合的性能。
//! 有关更多详细信息,请参见每种类型的文档,并请注意,实际方法的名称可能与某些集合中的下表有所不同。
//!
//! 在整个文档中,我们将遵循一些约定。对于所有操作,集合的大小用 n 表示。如果该操作涉及另一个集合,则它包含 m 个元素。具有 `amortized` 成本的操作以 `*` 为后缀。具有 `expected` 成本的操作以 `~` 为后缀。
//!
//! 所有摊销成本均用于容量耗尽时可能需要调整的大小。如果发生调整大小,则将花费 *O*(*n*) 时间。我们的集合永远不会自动收缩,因此移除操作不会摊销。在足够多的工序系列中,每次工序的平均成本将确定性地等于给定成本。
//!
//! 由于哈希的概率性质,只有 [`HashMap`] 具有预期的成本。
//! 从理论上讲,[`HashMap`] 可能会出现性能下降的情况,尽管可能性很小。
//!
//! ## Sequences
//!
//! |                | get(i)                 | insert(i)               | remove(i)              | append    | split_off(i)           |
//! |----------------|------------------------|-------------------------|------------------------|-----------|------------------------|
//! | [`Vec`]        | *O*(1)                 | *O*(*n*-*i*)*           | *O*(*n*-*i*)           | *O*(*m*)* | *O*(*n*-*i*)           |
//! | [`VecDeque`]   | *O*(1)                 | *O*(min(*i*, *n*-*i*))* | *O*(min(*i*, *n*-*i*)) | *O*(*m*)* | *O*(min(*i*, *n*-*i*)) |
//! | [`LinkedList`] | *O*(min(*i*, *n*-*i*)) | *O*(min(*i*, *n*-*i*))  | *O*(min(*i*, *n*-*i*)) | *O*(1)    | *O*(min(*i*, *n*-*i*)) |
//!
//! 请注意,在发生联系的地方,[`Vec`] 通常比 [`VecDeque`] 快,而 [`VecDeque`] 通常比 [`LinkedList`] 快。
//!
//! ## Maps
//!
//! 对于集合,所有操作的成本均等价于 Map 操作。
//!
//! |              | get           | insert        | remove        | range         | append       |
//! |--------------|---------------|---------------|---------------|---------------|--------------|
//! | [`HashMap`]  | *O*(1)~       | *O*(1)~*      | *O*(1)~       | N/A           | N/A          |
//! | [`BTreeMap`] | *O*(log(*n*)) | *O*(log(*n*)) | *O*(log(*n*)) | *O*(log(*n*)) | *O*(*n*+*m*) |
//!
//! # 正确有效地使用集合
//!
//! 当然,知道哪种集合最适合该工作并不能立即使您正确使用它。以下是一般有效和正确使用标准集合的一些快速技巧。如果您特别对如何使用特定集合感兴趣,请查阅其文档以获取详细的讨论和代码示例。
//!
//! ## 容量管理
//!
//! 许多集合提供了一些引用 "capacity" 的构造函数和方法。这些集合通常构建在数组的顶部。
//! 理想情况下,此数组的大小恰好适合仅适合存储在集合中的元素,但是对于集合而言,这样做效率很低。如果支持数组始终正确大小,则每次插入元素时,集合都必须增大数组以适合它。
//! 由于在大多数计算机上分配和管理内存的方式,几乎肯定需要分配一个全新的数组,并将每个元素从旧元素复制到新元素中。
//! 希望您能看到这样做并不是在每个操作上都非常有效。
//!
//! 因此,大多数集合使用 `amortized` 分配策略。它们通常让自己拥有大量的空闲空间,因此它们仅需要偶尔增长。当它们确实增长时,它们会分配一个更大的数组来将元素移入,以便需要一段时间才能进行另一个增长。
//! 尽管此策略总体上不错,但如果必须 * 绝不调整其支持数组的大小,那就更好了。
//! 不幸的是,集合本身没有足够的信息来执行此操作。
//! 因此,由我们的程序员来提供提示。
//!
//! 任何 `with_capacity` 构造函数都将指示该集合为指定数量的元素分配足够的空间。理想情况下,这将恰好适用于许多元素,但是某些实现细节可能会阻止这种情况。有关详细信息,请参见特定于集合的文档。通常,当您确切知道要插入多少个元素,或者至少在该数目上具有合理的上限时,请使用 `with_capacity`。
//!
//! 当预期大量元素涌入时,`reserve` 系列方法可用于向集合暗示应该为即将到来的项目腾出多少空间。与 `with_capacity` 一样,这些方法的精确行为将特定于感兴趣的集合。
//!
//! 为了获得最佳性能,集合通常会避免自身收缩。如果您认为某个集合将很快不再包含任何其他元素,或者仅真的需要内存,则 `shrink_to_fit` 方法将提示该集合将后备数组缩小到能够容纳其元素的最小大小。
//!
//! 最后,如果您对集合的实际容量感兴趣,则大多数集合都会提供 `capacity` 方法来按需查询此信息。这对于调试目的或与 `reserve` 方法一起使用可能很有用。
//!
//! ## Iterators
//!
//! [Iterators][crate::iter]
//! 是 Rust 标准库中使用的一种强大而稳健的机制。
//! 迭代器以泛型,安全,有效和方便的方式提供一系列值。迭代器的内容通常是惰性求值的,因此只有实际需要的值才会实际产生,而不需要进行任何分配来临时存储它们。迭代器主要通过 `for` 循环消耗,尽管许多函数也将迭代器用于需要集合或值序列的地方。
//!
//! 所有标准集合都提供了几个用于对其内容进行批量操作的迭代器。几乎每个集合应提供的三个主要迭代器是 `iter`,`iter_mut` 和 `into_iter`。
//! 其中的某些未在集合中提供,因此提供它们是不合理的或不合理的。
//!
//! `iter` 提供了一个迭代器,以最自然的顺序对集合的所有内容进行不可变的引用。
//! 对于像 [`Vec`] 这样的序列集合,这意味着该项将以索引从 0 开始的递增顺序产生。对于 [`BTreeMap`] 之类的有序集合,这意味着该项将按排序顺序产生。
//! 对于 [`HashMap`] 之类的无序集合,将以内部表示最方便的任何顺序产生该项。这对于通读集合的所有内容非常有用。
//!
//! ```
//! let vec = vec![1, 2, 3, 4];
//! for x in vec.iter() {
//!    println!("vec contained {x:?}");
//! }
//! ```
//!
//! `iter_mut` 提供了一个可变引用的迭代器,其顺序与 `iter` 相同。这对于更改集合的所有内容非常有用。
//!
//! ```
//! let mut vec = vec![1, 2, 3, 4];
//! for x in vec.iter_mut() {
//!    *x += 1;
//! }
//! ```
//!
//! `into_iter` 将实际集合转换为按值对其内容进行迭代的迭代器。当不再需要集合本身并且在其他地方需要这些值时,这非常好。将 `extend` 与 `into_iter` 一起使用是将一个集合的内容移入另一个集合的主要方法。
//! `extend` 自动调用 `into_iter`,并取任何 <code>T: [IntoIterator]</code>。
//! 在迭代器本身上调用 `collect` 也是将一个集合转换为另一个集合的好方法。这两种方法都应在内部使用上一节中讨论的容量管理工具来尽可能高效地执行此操作。
//!
//! ```
//! let mut vec1 = vec![1, 2, 3, 4];
//! let vec2 = vec![10, 20, 30, 40];
//! vec1.extend(vec2);
//! ```
//!
//! ```
//! use std::collections::VecDeque;
//!
//! let vec = [1, 2, 3, 4];
//! let buf: VecDeque<_> = vec.into_iter().collect();
//! ```
//!
//! 迭代器还提供了一系列 *adapter* 方法,用于对序列执行通用线程。
//! 在适配器中,有功能最喜欢的适配器,例如 `map`,`fold`,`skip` 和 `take`。集合特别感兴趣的是 `rev` 适配器,它反转支持此操作的任何迭代器。大多数集合都提供可逆迭代器,作为以相反顺序对其进行迭代的方式。
//!
//! ```
//! let vec = vec![1, 2, 3, 4];
//! for x in vec.iter().rev() {
//!    println!("vec contained {x:?}");
//! }
//! ```
//!
//! 其他几种集合方法还返回迭代器以产生结果序列,但避免分配整个集合来存储结果。
//! 这提供了最大的灵活性,因为如果需要,可以将 [`collect`][crate::iter::Iterator::collect] 或 [`extend`][crate::iter::Extend::extend] 调用到 "pipe" 序列到任何集合中。否则,可以使用 `for` 循环将序列循环。迭代器在部分使用后也可以丢弃,从而避免了未使用项的计算。
//!
//! ## Entries
//!
//! `entry` API 旨在提供一种有效的机制,用于根据键的存在与否来有条件地操作 map 的内容。这样做的主要动机是提供有效的累加器 maps。例如,如果希望保持对每个键被看到的次数的计数,则他们将必须执行一些条件逻辑来确定这是否是第一次被看到。
//!
//! 通常,这需要先插入 `find`,然后再插入 `insert`,以有效地重复每次插入时的搜索工作。
//!
//! 当用户调用 `map.entry(key)` 时,map 将搜索键,然后生成 `Entry` 枚举的变体。
//!
//! 如果产生 `Vacant(entry)`,则没有找到键。在这种情况下,唯一有效的操作是将值 `insert` 放入条目中。完成此操作后,将消耗空条目并将其转换为所插入值的变量引用。这允许对超出搜索本身生命周期的值进行进一步操作。
//! 如果无论是否插入值,都需要对值执行复杂的逻辑,这将很有用。
//!
//! 如果产生 `Occupied(entry)`,则找到键 *。
//! 在这种情况下,用户有几个选项:他们可以 `get`,`insert` 或 `remove` 占用的条目的值。此外,他们可以将占用的条目转换为其值的变量引用,从而为空缺的 `insert` 情况提供对称性。
//!
//! ### Examples
//!
//! 这是使用 `entry` 的两种主要方法。首先,一个简单的示例,其中对值执行的逻辑很简单。
//!
//! #### 计算字符串中每个字符出现的次数
//!
//! ```
//! use std::collections::btree_map::BTreeMap;
//!
//! let mut count = BTreeMap::new();
//! let message = "she sells sea shells by the sea shore";
//!
//! for c in message.chars() {
//!     *count.entry(c).or_insert(0) += 1;
//! }
//!
//! assert_eq!(count.get(&'s'), Some(&8));
//!
//! println!("Number of occurrences of each character");
//! for (char, count) in &count {
//!     println!("{char}: {count}");
//! }
//! ```
//!
//! 当要对该值执行的逻辑比较复杂时,我们可以简单地使用 `entry` API 来确保该值已初始化,然后再执行该逻辑。
//!
//! #### 跟踪酒吧顾客的醉酒情况
//!
//! ```
//! use std::collections::btree_map::BTreeMap;
//!
//! // 酒吧客户端。他们有血液中的酒精含量。
//! struct Person { blood_alcohol: f32 }
//!
//! // 所有的订单都是按客户 ID 送到酒吧的。
//! let orders = vec![1, 2, 1, 2, 3, 4, 1, 2, 2, 3, 4, 1, 1, 1];
//!
//! // 我们的客户。
//! let mut blood_alcohol = BTreeMap::new();
//!
//! for id in orders {
//!     // 如果这是我们第一次见到此客户,请在不使用酒精的情况下初始化他们。
//!     // 否则,只需检索它们。
//!     let person = blood_alcohol.entry(id).or_insert(Person { blood_alcohol: 0.0 });
//!
//!     // 降低他们的血液酒精含量。点餐和喝啤酒需要时间!
//!     person.blood_alcohol *= 0.9;
//!
//!     // 检查他们是否足够清醒,可以再喝一杯啤酒。
//!     if person.blood_alcohol > 0.3 {
//!         // 太醉了... 现在。
//!         println!("Sorry {id}, I have to cut you off");
//!     } else {
//!         // 再来一杯!
//!         person.blood_alcohol += 0.1;
//!     }
//! }
//! ```
//!
//! # 插入复杂的键
//!
//! 如果我们拥有更复杂的键,则对 `insert` 的调用将不会更新键的值。例如:
//!
//! ```
//! use std::cmp::Ordering;
//! use std::collections::BTreeMap;
//! use std::hash::{Hash, Hasher};
//!
//! #[derive(Debug)]
//! struct Foo {
//!     a: u32,
//!     b: &'static str,
//! }
//!
//! // 我们将仅通过它们的 `a` 值来比较 `Foo`。
//! impl PartialEq for Foo {
//!     fn eq(&self, other: &Self) -> bool { self.a == other.a }
//! }
//!
//! impl Eq for Foo {}
//!
//! // 我们将仅通过 `a` 值对 Foo 进行哈希处理。
//! impl Hash for Foo {
//!     fn hash<H: Hasher>(&self, h: &mut H) { self.a.hash(h); }
//! }
//!
//! impl PartialOrd for Foo {
//!     fn partial_cmp(&self, other: &Self) -> Option<Ordering> { self.a.partial_cmp(&other.a) }
//! }
//!
//! impl Ord for Foo {
//!     fn cmp(&self, other: &Self) -> Ordering { self.a.cmp(&other.a) }
//! }
//!
//! let mut map = BTreeMap::new();
//! map.insert(Foo { a: 1, b: "baz" }, 99);
//!
//! // 我们已经有一个 a 等于 1 的 Foo,因此这将更新该值。
//! map.insert(Foo { a: 1, b: "xyz" }, 100);
//!
//! // 该值已更新...
//! assert_eq!(map.values().next().unwrap(), &100);
//!
//! // ...但关键没有改变。b 仍然是 "baz",而不是 "xyz"。
//! assert_eq!(map.keys().next().unwrap().b, "baz");
//! ```
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!
//!

#![stable(feature = "rust1", since = "1.0.0")]

#[stable(feature = "rust1", since = "1.0.0")]
// FIXME(#82080) 这里的弃用只是理论上的,实际上并不会产生警告。
#[deprecated(note = "moved to `std::ops::Bound`", since = "1.26.0")]
#[doc(hidden)]
pub use crate::ops::Bound;

#[stable(feature = "rust1", since = "1.0.0")]
pub use alloc_crate::collections::{binary_heap, btree_map, btree_set};
#[stable(feature = "rust1", since = "1.0.0")]
pub use alloc_crate::collections::{linked_list, vec_deque};
#[stable(feature = "rust1", since = "1.0.0")]
pub use alloc_crate::collections::{BTreeMap, BTreeSet, BinaryHeap};
#[stable(feature = "rust1", since = "1.0.0")]
pub use alloc_crate::collections::{LinkedList, VecDeque};

#[stable(feature = "rust1", since = "1.0.0")]
#[doc(inline)]
pub use self::hash_map::HashMap;
#[stable(feature = "rust1", since = "1.0.0")]
#[doc(inline)]
pub use self::hash_set::HashSet;

#[stable(feature = "try_reserve", since = "1.57.0")]
pub use alloc_crate::collections::TryReserveError;
#[unstable(
    feature = "try_reserve_kind",
    reason = "Uncertain how much info should be exposed",
    issue = "48043"
)]
pub use alloc_crate::collections::TryReserveErrorKind;

mod hash;

#[stable(feature = "rust1", since = "1.0.0")]
pub mod hash_map {
    //! 通过二次探测和 SIMD 查找实现的哈希 map。
    #[stable(feature = "rust1", since = "1.0.0")]
    pub use super::hash::map::*;
}

#[stable(feature = "rust1", since = "1.0.0")]
pub mod hash_set {
    //! 实现为 `HashMap` 的哈希集,其中值为 `()`。
    #[stable(feature = "rust1", since = "1.0.0")]
    pub use super::hash::set::*;
}