C#编译器会为哪些泛型集合生成专属实现？值类型该优先用List<T>吗

你提到的List<T>文档里描述的「值类型作为泛型参数时生成专属实现、无需装箱」的特性，本质是.NET泛型机制的通用设计，不是List<T>独有的。

支持该特性的集合范围 #

所有.NET基类库提供的原生泛型集合都支持这个优化，包括但不限于：

• 线性集合：Queue<T>、Stack<T>、LinkedList<T>
• 键值对/去重集合：Dictionary<TKey, TValue>、HashSet<T>、SortedDictionary<TKey, TValue>、SortedSet<T>

这个优化的逻辑是：当泛型参数为值类型时，运行时会为每一个不同的值类型生成专属的泛型类型实例，元素直接按值类型本身的内存布局存储，全程不需要转成object，自然没有装箱拆箱的开销。只有非泛型的老旧集合（比如ArrayList、非泛型的Queue、Hashtable等）才会因为统一用object存储元素，产生值类型装箱的额外开销，这类集合已经不推荐在新代码中使用。

集合选择的最佳实践 #

完全不需要在值类型场景下强行优先使用List<T>。选择集合的第一原则永远是贴合业务语义：

• 先进先出的队列场景直接用Queue<T>，它内部是循环数组实现，入队出队的时间复杂度都是O(1)，如果你用List<T>模拟队列，每次从队首删除元素都要移动整个数组的剩余内容，性能反而更差。
• 后进先出的栈场景直接用Stack<T>，同理语义清晰、性能也比自己用List<T>实现更好。
• 去重、键值对存储这类场景更是直接用对应专用集合就好，它们的底层实现都是针对对应场景优化过的，不管是代码可读性还是执行效率都比用List<T>自己实现对应逻辑高得多。

内容的提问来源于stack exchange，提问作者Tech Inquisitor