集合

是什么，为什么存在

集合（collection）把多个同类值放进一个可遍历的对象中。它不仅负责保存元素，还规定如何定位元素、是否允许重复、是否维持顺序，以及修改时会发生什么。选集合就是选择这些行为，不是换一种容器拼写。

最常用的默认类型是 List<T>。它适合按位置读取、顺序遍历和在尾部追加。需要通过业务键定位值时，使用 Dictionary<TKey, TValue>；只关心某个值是否出现，或者要做并集与交集时，使用 HashSet<T>。

访问顺序本身也可能是契约。Queue<T> 按先进先出处理工作，Stack<T> 按后进先出处理撤销记录，PriorityQueue<TElement, TPriority> 则先取比较器认为优先级最小的元素。要求始终按键排序时，可选择 SortedDictionary<TKey, TValue> 或 SortedSet<T>。

泛型集合在编译期约束元素类型。与旧式 ArrayList 和 Hashtable 相比，它们不要求调用方围绕 object 强制转换，保存值类型时通常也不需要逐个装箱。新代码一般从 System.Collections.Generic、System.Collections.Concurrent 或 System.Collections.Immutable 中选择。

集合会出现在模型边界、缓存、批处理、调度器和 API 返回值中。此时具体类型只是问题的一部分；相等性、可变性、所有权和并发策略共同决定代码是否正确。

工作原理

接口描述调用方需要的能力

IEnumerable<T> 只承诺可以依次取得元素。它不承诺能按索引读取、能重复遍历、数据已经驻留内存，甚至不承诺两次遍历得到相同结果。接受这个接口的函数不应偷偷假设参数是列表。

ICollection<T> 增加 Count 与常见修改操作，IList<T> 再增加索引访问，ISet<T> 表达唯一元素和集合运算，IDictionary<TKey, TValue> 表达键值映射。只读接口会去掉调用方可见的修改成员，但并不自动冻结底层对象。

对参数使用满足算法所需的最窄接口。只需遍历就接收 IEnumerable<T>，需要稳定计数和索引时才接收 IReadOnlyList<T>。返回值则要同时表达所有权：实时只读视图、独立快照和不可变值不是同一份契约。

具体类型决定访问成本

List<T> 以连续存储支持 O(1) 索引访问。尾部还有容量时，Add 只写入新位置；容量不足时需要分配更大的存储并复制元素，所以连续追加的单次成本会波动，但整体具有 摊还 O(1)（amortized O(1)） 成本。

Dictionary<TKey, TValue> 与 HashSet<T> 建立在 哈希表（hash table） 上。它们先用哈希码缩小候选范围，再以相等性确认命中。查找通常接近 O(1)，但它依赖比较器质量、负载和输入，不能当成对所有一次调用的最坏情况保证。

排序集合通过比较器维持顺序，典型查找和更新成本是 O(log n)。它们解决的是“存储本身始终有序”，而 LINQ 的 OrderBy 解决的是“为这次结果产生排序序列”。如果每次只在输出前排序，不必为了排序而改变主存储结构。

三种顺序不能互换

“保留插入顺序”“随时按值排序”和“只取下一个最高优先级元素”是三种不同要求。把它们都写成“有序”会让实现看似合理，实际却暴露错误的操作。

PriorityQueue 只保证 Dequeue 或 TryDequeue 取出比较器认为优先级最小的元素。优先级相同的元素没有先进先出保证；若稳定性属于契约，可以把递增序号纳入复合优先级。

若需要同一批数据的多条访问路径，通常应保留一个权威存储，再建立索引。例如列表保存展示顺序，字典按 ID 定位对象。更新逻辑必须同时维护这些结构，或者在边界处从权威数据重建派生索引。

相等性是集合契约的一部分

字典与哈希集合使用 IEqualityComparer<T>。未显式提供时，它们使用 EqualityComparer<T>.Default，后者依据类型的相等性实现工作。领域规则不同，例如 SKU 不区分大小写时，应在构造集合时传入明确的 相等比较器（equality comparer） 。

比较器必须满足同一套关系：相等的两个值必须产生相同哈希码。参与哈希与相等判断的数据在元素留在集合期间还必须保持稳定。否则对象可能仍在某个桶中，却再也无法通过修改后的键找到。

记录（record）通常会生成基于内容的 结构相等性（structural equality） 。这并不自动说明所有字段都适合构成业务身份；集合键仍应选择小而稳定的标识，或者传入只比较该标识的比较器。

示例

四个例子使用同一个库存领域，但每个集合负责不同的访问模式。输出顺序需要稳定时，示例会显式排序，而不是依赖哈希集合的枚举细节。

用列表保存顺序，用字典建立索引

商品先进入 List<Product>，因为录入顺序有意义。字典提供按 SKU 的第二条访问路径，并在构造时固定大小写规则。

TryAdd 把“键已存在”作为普通结果，而 Add 会在重复键上抛出 ArgumentException。TryGetValue 只做一次查找，并让缺失分支在控制流中可见。索引器 bySku[key] 更适合调用方已经建立“键必然存在”不变量的情况。

StringComparer.OrdinalIgnoreCase 同时提供哈希与相等判断，所以 "BK-1" 和 "bk-1" 属于同一个键。对协议标识符使用 ordinal 规则，不会受当前区域性影响。

用哈希集合表达唯一性与集合运算

仓库权限没有业务顺序，而且同一个权限只应出现一次。两个集合共享比较器，交集结果也会保留左侧副本的比较规则。

using System;
using System.Collections.Generic;
using System.Linq;

var granted = new HashSet<string>(StringComparer.OrdinalIgnoreCase)
{
    "catalog.read",
    "stock.write",
    "audit.read"
};

bool firstAdd = granted.Add("CATALOG.READ");
var required = new HashSet<string>(StringComparer.OrdinalIgnoreCase)
{
    "catalog.read",
    "orders.write"
};

var available = new HashSet<string>(granted, granted.Comparer);
available.IntersectWith(required);

Console.WriteLine($"new permission added: {firstAdd}");
Console.WriteLine($"available: {string.Join(", ", available.Order())}");
Console.WriteLine($"all required: {required.IsSubsetOf(granted)}");

new permission added: False
available: catalog.read
all required: False

Add 的布尔返回值同时完成成员测试与插入，不需要先调用 Contains。IntersectWith 会修改接收者，因此示例先复制 granted。若原集合属于调用方，是否允许就地修改必须写进方法契约。

输出前调用 Order() 只是为了得到确定文本。算法本身不依赖 HashSet<T> 的枚举顺序；如果顺序属于领域要求，应单独保存顺序或选择有序结构。

用队列调度，用栈撤销

待处理补货请求需要先进先出，最近一次处理记录则最先撤销。队列和栈直接表达这两条规则，调用点无需手写索引约定。

using System;
using System.Collections.Generic;

var pending = new Queue<RestockRequest>();
var completed = new Stack<RestockRequest>();

pending.Enqueue(new("BK-1", 5));
pending.Enqueue(new("PN-2", 12));
pending.Enqueue(new("NB-3", 4));

while (completed.Count < 2 && pending.TryDequeue(out RestockRequest? request))
{
    completed.Push(request);
    Console.WriteLine($"restocked {request.Sku}: {request.Quantity}");
}

if (completed.TryPop(out RestockRequest? undone))
{
    Console.WriteLine($"undo {undone.Sku}");
}

Console.WriteLine($"next: {pending.Peek().Sku}");

public sealed record RestockRequest(string Sku, int Quantity);

restocked BK-1: 5
restocked PN-2: 12
undo PN-2
next: NB-3

TryDequeue 与 TryPop 把空集合变成普通分支。示例最后使用 Peek，因为前面的流程保证队列还剩一个元素；如果这个不变量不明确，也应使用 TryPeek。

两个集合只保存工作顺序，不负责事务补偿。真实撤销操作还要记录足以逆转外部状态的数据，并处理撤销本身失败的情况。

区分只读视图与不可变快照

AsReadOnly() 包装现有列表，因此调用方不能通过包装器修改列表，但仍会看到拥有者之后的修改。ToImmutableArray() 在调用时创建不可变快照。

using System;
using System.Collections.Generic;
using System.Collections.Immutable;

var names = new List<string> { "Book" };
IReadOnlyList<string> liveView = names.AsReadOnly();
ImmutableArray<string> snapshot = names.ToImmutableArray();

names.Add("Pen");

Console.WriteLine($"view: {string.Join(", ", liveView)}");
Console.WriteLine($"snapshot: {string.Join(", ", snapshot)}");

ImmutableArray<string> revised = snapshot.Add("Notebook");
Console.WriteLine($"original snapshot count: {snapshot.Length}");
Console.WriteLine($"revised count: {revised.Length}");

view: Book, Pen
snapshot: Book
original snapshot count: 1
revised count: 2

liveView 是 只读集合（read-only collection） ，不是快照。snapshot.Add 也不会修改原值，而是返回新的不可变数组。调用方必须接住返回值，否则这次逻辑更新会被丢弃。

两种选择都不是深度不可变保证。如果元素本身是可变对象，视图和快照仍可能指向同一个元素。需要稳定发布状态时，元素类型也应具有合适的不可变契约。

陷阱

重复查找字典

修复方法： 读取使用 TryGetValue，插入使用 TryAdd，更新则选择语义匹配的单次操作。普通 Dictionary 不能因此变成线程安全集合；存在并发写入时还要重新选择同步边界。

修改集合中的哈希键

修复方法： 使用不可变的标量、值对象或记录作为键，并只把稳定身份纳入相等性。必须按可变对象的一个字段索引时，另建以不可变标识为键的字典；身份改变要执行显式移除与重新插入。

遍历时修改普通集合

修复方法： 列表过滤使用 RemoveAll，或者先收集要删除的键再执行修改。确实需要边遍历边消费时，选择 Queue<T>、Stack<T> 或明确提供消费枚举的并发结构，而不是依赖普通枚举器的实现细节。

把只读接口当成不可变值

修复方法： API 必须说明返回的是实时视图、独立副本还是不可变值。稳定快照可复制到数组或不可变集合；实时视图则要说明谁能修改、变化何时可见以及怎样同步。

依赖未承诺的枚举顺序

修复方法： 顺序属于输出契约时显式 OrderBy，属于存储契约时选择排序集合或另外维护顺序。测试比较集合内容时按集合语义断言，不要偶然比较哈希枚举的文本顺序。

把线程安全调用当成原子工作流

修复方法： 值工厂应可重复执行且没有不可撤销副作用。需要“只收费一次”或跨多个键维护不变量时，应使用适合业务边界的锁、事务或专用协调对象，并以竞争测试验证。

延伸阅读

• C# 集合参考
• .NET 集合与数据结构
• Dictionary<TKey, TValue> API
• HashSet<T> API
• .NET 线程安全集合
• System.Collections.Immutable 命名空间