在 C# 开发中，若要构建线程安全的集合，除了使用 lock 关键字之外，还可以采用哪些无锁（lock-free）的实现方式？请阐述其基本原理与适用场景。
考察说明
考查对无锁并发集合实现机制的理解及其在 C# 中的实际应用。
回答思路
- 【回答框架 1】无锁线程安全集合的核心思想是避免使用操作系统级别的互斥锁，而是依靠原子操作（如 Interlocked 类提供的方法）和内存屏障来保证数据一致性。在 C# 中，典型的实现包括使用 ConcurrentQueue、ConcurrentStack 和 ConcurrentBag 等并发集合，它们内部采用了无锁或轻量级锁的策略。
- 【回答框架 2】对于自定义的无锁集合，常用技术包括 CAS（比较并交换）操作，在 .NET 中可通过 Interlocked.CompareExchange 实现。例如，实现一个无锁栈时，可以基于链表节点，通过 CAS 更新头节点指针，在高并发下循环重试直到成功。
- 【回答框架 3】无锁集合的适用场景是读多写少且竞争激烈的情况，此时可以减少线程阻塞和上下文切换，提高吞吐量。但要注意，无锁编程复杂度高，容易出现 ABA 问题和内存模型相关错误，因此在实际项目中应优先考虑使用 .NET 提供的并发集合。
- 【回答框架 4】在 C# 中，除了 Interlocked，还可以使用 volatile 关键字来保证字段的可见性，但无法保证复合操作的原子性。对于更复杂的无锁数据结构，如无锁队列，可能需要结合 CAS 和内存屏障，实现难度较大，一般建议直接使用现成的 ConcurrentQueue 等类型。
- 【回答框架 5】选择无锁方案时，需要权衡性能与正确性。无锁并非绝对优于加锁，在低竞争或操作简单时，加锁可能更简单且性能接近。因此，应通过基准测试来评估具体场景下的性能表现，并确保障碍（如内存排序）被正确处理。
- 【关键点 1】C# 中可利用 Interlocked 类进行原子操作，实现无锁集合的基础。
- 【关键点 2】ConcurrentQueue、ConcurrentStack 等是 .NET 内置的无锁或轻量锁集合，优先使用。
- 【关键点 3】CAS 是无锁编程的核心，通过 Interlocked.CompareExchange 实现。
- 【关键点 4】无锁编程需注意 ABA 问题和内存模型，复杂度高，确保正确性优先。
- 【关键点 5】无锁适用于高竞争、读多写少的场景，但性能需压测验证，并非绝对优于加锁。
- 【易错点 1】无锁实现容易忽略内存屏障，导致多核下的可见性问题。
- 【易错点 2】CAS 循环在高竞争下可能引发自旋开销，甚至活锁。
- 【易错点 3】使用 volatile 时，不能将其用于复合操作，需配合原子方法。