Hashtable与Dictionary<TKey,TValue>的性能对比探究

前置说明 #

本文聚焦机器码与纳秒级性能对比，不讨论诸如「请使用泛型方式」这类通用准则。

实验场景与目标 #

• 场景：向哈希表结构中添加4个键值对，随后查询指定键是否存在，对比 Hashtable 与 Dictionary<TKey,TValue> 的表现
• 目标：最小化执行时间（可选最小化IL代码大小）

实验代码 #

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

public class Experiment {
    public void M() {
            var dictionary = new Dictionary<char, int>();
            dictionary.Add('a', 1);
            dictionary.Add('b', 5);
            dictionary.Add('c', 19);
            dictionary.Add('d', 92);
            var isInsideDictionary = dictionary.ContainsKey('e');
    }
    
    public void N(){
            var hashtable = new Hashtable();
            hashtable.Add('a', 1);
            hashtable.Add('b', 5);
            hashtable.Add('c', 19);
            hashtable.Add('d', 92);
            var isInsideTable = hashtable.ContainsKey('e');        
    }
}

实验结果 #

生成的x64汇编代码显示，Dictionary<TKey,TValue> 对应的汇编指令数为37条，Hashtable 为82条。

问题解答 #

1. 指令数差异能否确凿证明 Dictionary<TKey,TValue> 在该场景下性能更优？ #

指令数少是性能更优的重要参考，但不能直接等同于绝对的性能优势，得结合实际执行情况判断：

• 指令执行成本：不同汇编指令的CPU周期差很大，比如内存读写的耗时远高于寄存器操作。不过在这个场景里，Dictionary 是泛型强类型，全程不需要装箱拆箱，内存操作的额外开销比 Hashtable 少太多，实际执行效率几乎肯定更快。
• JIT优化空间：JIT编译器会对代码做内联、常量折叠等优化，泛型类型的JIT优化通常比非泛型的 Hashtable 更充分，实际运行时的执行路径会比静态汇编指令更高效。
• 缓存命中率：Dictionary 的强类型特性让数据布局更紧凑，CPU缓存命中率更高——这对纳秒级性能的影响非常关键，而这一点是指令数没法直接体现的。

不过回到这个特定的「添加4个键值对+查询」场景，结合指令数差异和 Dictionary 无装箱的核心优势，基本可以确定它的性能优于 Hashtable。

2. 从性能角度考虑，是否存在不选用 Dictionary<TKey,TValue> 的理由？ #

（1）泛型会生成更多IL代码吗？

不会。泛型类型的IL代码是共享的（值类型的话JIT会为每个值类型生成独立机器码，但IL本身是通用的），反而 Hashtable 因为要处理 object 类型的装箱、拆箱和类型检查，IL代码更冗余复杂。实际对比两者的IL代码，Dictionary 的指令数更少、逻辑更简洁。

（2）使用引用类型时表现会不同吗？

当键和值都是引用类型时，Dictionary 和 Hashtable 的装箱开销差异会消失，但 Dictionary 依然有性能优势：

• Dictionary 不需要在每次操作时做类型转换（Hashtable 的操作结果必须强制转换，会带来额外的类型检查开销）；
• 泛型的类型安全特性让JIT能做更多针对性优化，比如直接访问引用类型成员，无需额外类型验证；
• 数据布局更紧凑的优势依然存在，缓存命中率更高。

（3）有没有极端场景例外？

几乎没有。唯一可能的边缘情况是在非常老旧的.NET运行时（比如.NET Framework 1.x）中，泛型的JIT优化还不成熟，但在当前主流的.NET版本（.NET Framework 4.x+、.NET Core/.NET 5+）里，Dictionary 的性能全面领先 Hashtable。

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