VB.NET字典键：结构体与类的差异解析

1. 问题现象：当结构体和类作为字典键时的差异

在VB.NET开发中，Dictionary(Of K, V)是最常用的集合类型之一。最近我在开发一个机房管理系统时，遇到了一个有趣的现象：当使用结构体(Structure)作为字典键时，两个属性相同的实例会被视为同一个键；而使用类(Class)作为键时，即使属性完全相同，也会被视为不同的键。

来看一个实际案例。假设我们要用字典存储不同位置的电脑信息，位置由行号和列号组成：

vb复制' 类作为键
Public Class Location_Class
    Public Row As Integer
    Public Col As Integer
End Class

' 结构体作为键
Public Structure Location_Struct
    Public Row As Integer
    Public Col As Integer
End Structure

当我们将这两个类型分别作为字典键使用时，会出现完全不同的行为：

vb复制Dim dictClass As New Dictionary(Of Location_Class, ComputerInfo)
Dim dictStruct As New Dictionary(Of Location_Struct, ComputerInfo)

Dim classKey1 As New Location_Class With {.Row = 1, .Col = 2}
Dim classKey2 As New Location_Class With {.Row = 1, .Col = 2}
' dictClass会包含两个条目

Dim structKey1 As New Location_Struct With {.Row = 1, .Col = 2}
Dim structKey2 As New Location_Struct With {.Row = 1, .Col = 2}
' dictStruct只会保留最后一个条目

注意：这个差异在开发中很容易被忽视，特别是当开发者在结构体和类之间切换时，可能会导致难以发现的逻辑错误。

2. 底层原理：值类型与引用类型的本质区别

2.1 内存分配方式的差异

结构体是值类型(Value Type)，存储在栈(stack)上（注：实际上可能存储在堆上，取决于上下文）。当创建结构体实例时，直接存储的是值本身。而类是引用类型(Reference Type)，存储在堆(heap)上，变量存储的是指向堆内存的引用。

这种差异导致了它们在字典中的不同行为：

• 结构体作为键时，字典比较的是实际的值
• 类作为键时，字典比较的是引用地址

2.2 默认的相等性比较实现

Dictionary判断键是否相等的核心逻辑依赖于两个方法：

1. GetHashCode() - 获取对象的哈希码
2. Equals() - 判断两个对象是否相等

对于结构体，.NET框架提供了默认的实现：

vb复制' 伪代码表示结构体的默认Equals实现
Public Overrides Function Equals(obj As Object) As Boolean
    If Not TypeOf obj Is Location_Struct Then Return False
    Dim other = CType(obj, Location_Struct)
    Return Me.Row = other.Row AndAlso Me.Col = other.Col
End Function

而对于类，默认实现是比较引用：

vb复制' 伪代码表示类的默认Equals实现
Public Overrides Function Equals(obj As Object) As Boolean
    Return Me Is obj ' 比较引用地址
End Function

2.3 哈希码生成的区别

结构体的默认GetHashCode()实现会基于所有字段的值计算哈希码：

vb复制' 伪代码表示结构体的默认GetHashCode
Public Overrides Function GetHashCode() As Integer
    Return Row.GetHashCode() Xor Col.GetHashCode()
End Function

而类的默认GetHashCode()实现通常基于对象地址：

vb复制' 伪代码表示类的默认GetHashCode
Public Overrides Function GetHashCode() As Integer
    Return RuntimeHelpers.GetHashCode(Me) ' 基于对象地址
End Function

3. 实际开发中的解决方案

3.1 重写类的相等性比较方法

如果确实需要使用类作为字典键，可以重写Equals和GetHashCode方法：

vb复制Public Class Location_Class
    Public Row As Integer
    Public Col As Integer
    
    Public Overrides Function Equals(obj As Object) As Boolean
        If Not TypeOf obj Is Location_Class Then Return False
        Dim other = CType(obj, Location_Class)
        Return Me.Row = other.Row AndAlso Me.Col = other.Col
    End Function
    
    Public Overrides Function GetHashCode() As Integer
        Return Row.GetHashCode() Xor Col.GetHashCode()
    End Function
End Class

提示：重写GetHashCode时，应确保相等的对象返回相同的哈希码，同时尽量避免哈希冲突。

3.2 使用结构体的注意事项

虽然结构体作为字典键很方便，但需要注意：

1. 结构体应该是不可变的(immutable)：

   vb复制Public Structure Location_Struct
       Public ReadOnly Property Row As Integer
       Public ReadOnly Property Col As Integer
       
       Public Sub New(row As Integer, col As Integer)
           Me.Row = row
           Me.Col = col
       End Sub
   End Structure
   

2. 避免大型结构体作为键，因为每次比较都需要复制整个结构体

3. 考虑实现IEquatable(Of T)接口提高性能：

   vb复制Public Structure Location_Struct
       Implements IEquatable(Of Location_Struct)
       
       Public Function Equals(other As Location_Struct) As Boolean _
           Implements IEquatable(Of Location_Struct).Equals
           Return Me.Row = other.Row AndAlso Me.Col = other.Col
       End Function
   End Structure
   

3.3 性能对比测试

我进行了简单的性能测试（100万次操作）：

从测试结果可以看出，结构体作为键在性能和内存占用上都有优势。

4. 实际应用中的经验分享

4.1 选择键类型的指导原则

根据我的项目经验，选择字典键类型时应考虑：

1. 使用结构体的情况：

   • 键是简单的值组合（如坐标、日期等）
   • 需要值语义（比较值而非引用）
   • 关注性能，特别是高频操作场景

2. 使用类的情况：

   • 键本身有复杂的行为和逻辑
   • 需要继承和多态
   • 键可能为Nothing/null

4.2 常见错误与调试技巧

在开发中我遇到过几个典型问题：

1. 修改结构体键导致字典行为异常：

   vb复制Dim key As New Location_Struct With {.Row = 1, .Col = 2}
   dict.Add(key, value)
   key.Row = 3 ' 危险！字典内部存储的键不会被更新
   

   解决方法：使结构体不可变，或避免修改已作为键使用的结构体实例。

2. 重写GetHashCode不一致：

   vb复制' 错误实现：可能返回不同哈希码
   Public Overrides Function GetHashCode() As Integer
       Return Random.Next()
   End Function
   

   正确做法：基于不变的字段计算哈希码。

3. 装箱导致的性能问题：

   vb复制' 结构体键在字典中会被频繁装箱拆箱
   Dim key As Object = structKey ' 装箱
   

   优化方案：使用泛型集合避免装箱，或实现IEquatable(Of T)。

4.3 高级应用：自定义相等比较器

对于不能修改的类，可以创建自定义的IEqualityComparer：

vb复制Public Class LocationComparer
    Implements IEqualityComparer(Of Location_Class)
    
    Public Overloads Function Equals(x As Location_Class, y As Location_Class) As Boolean _
        Implements IEqualityComparer(Of Location_Class).Equals
        If x Is Nothing Then Return y Is Nothing
        If y Is Nothing Then Return False
        Return x.Row = y.Row AndAlso x.Col = y.Col
    End Function
    
    Public Overloads Function GetHashCode(obj As Location_Class) As Integer _
        Implements IEqualityComparer(Of Location_Class).GetHashCode
        If obj Is Nothing Then Return 0
        Return obj.Row.GetHashCode() Xor obj.Col.GetHashCode()
    End Function
End Class

' 使用方式
Dim dict As New Dictionary(Of Location_Class, ComputerInfo)(New LocationComparer())

这种方法特别适合第三方类或密封类作为键的场景。

5. 扩展思考：其他集合类型的表现

除了Dictionary，其他集合类型对键的处理也有类似行为：

1. HashSet(Of T)：

   • 同样依赖GetHashCode和Equals
   • 结构体作为元素时，值相同被视为同一个元素

2. SortedDictionary(Of K, V)：

   • 使用比较器而非哈希码
   • 需要实现IComparable(Of T)或提供自定义比较器

3. ConcurrentDictionary(Of K, V)：

   • 线程安全的字典
   • 对键的相等性要求与普通字典相同

测试案例：

vb复制Dim hashSet As New HashSet(Of Location_Class)
hashSet.Add(classKey1)
hashSet.Add(classKey2) ' 会添加两个元素

Dim sortedDict As New SortedDictionary(Of Location_Struct, ComputerInfo)
sortedDict.Add(structKey1, computer1)
sortedDict.Add(structKey2, computer2) ' 会抛出ArgumentException，因为键相同

在实际项目中，我曾遇到一个并发处理场景，使用ConcurrentDictionary时因为不了解键比较规则导致了数据重复。后来通过实现自定义比较器解决了问题。