对象相等性和同一性
- System.Object 类型提供了以下方法,
-
1 namespace System 2 { 3 // 4 // 摘要: 5 // 支持 .NET Framework 类层次结构中的所有类,并为派生类提供低级别服务。这是 .NET Framework 中所有类的最终基类;它是类型层次结构的根。 6 [ClassInterface(ClassInterfaceType.AutoDual)] 7 [ComVisible(true)] 8 public class Object 9 { 10 // 11 // 摘要: 12 // 初始化 System.Object 类的新实例。 13 [ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)] 14 public Object(); 15 16 // 17 // 摘要: 18 // 允许对象在“垃圾回收”回收之前尝试释放资源并执行其他清理操作。 19 [ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)] 20 ~Object(); 21 22 // 23 // 摘要: 24 // 确定指定的对象实例是否被视为相等。 25 // 26 // 参数: 27 // objA: 28 // 要比较的第一个对象。 29 // 30 // objB: 31 // 要比较的第二个对象。 32 // 33 // 返回结果: 34 // 如果认为对象相等,则为 true;否则为 false。如果 objA 和 objB 都为 null,则方法返回 true。 35 [TargetedPatchingOptOut("Performance critical to inline across NGen image boundaries")] 36 public static bool Equals(Object objA, Object objB); 37 // 38 // 摘要: 39 // 确定指定的 System.Object 实例是否是相同的实例。 40 // 41 // 参数: 42 // objA: 43 // 要比较的第一个对象。 44 // 45 // objB: 46 // 要比较的第二个对象。 47 // 48 // 返回结果: 49 // 如果 objA 是与 objB 相同的实例,或如果两者均为 null,则为 true;否则,为 false。 50 [ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)] 51 [TargetedPatchingOptOut("Performance critical to inline across NGen image boundaries")] 52 public static bool ReferenceEquals(Object objA, Object objB); 53 // 54 // 摘要: 55 // 确定指定的对象是否等于当前对象。 56 // 57 // 参数: 58 // obj: 59 // 要与当前对象进行比较的对象。 60 // 61 // 返回结果: 62 // 如果指定的对象等于当前对象,则为 true;否则为 false。 63 [TargetedPatchingOptOut("Performance critical to inline across NGen image boundaries")] 64 public virtual bool Equals(Object obj); 65 // 66 // 摘要: 67 // 作为默认哈希函数。 68 // 69 // 返回结果: 70 // 当前对象的哈希代码。 71 [TargetedPatchingOptOut("Performance critical to inline across NGen image boundaries")] 72 public virtual int GetHashCode(); 73 // 74 // 摘要: 75 // 获取当前实例的 System.Type。 76 // 77 // 返回结果: 78 // 当前实例的准确运行时类型。 79 [SecuritySafeCritical] 80 public Type GetType(); 81 // 82 // 摘要: 83 // 返回表示当前对象的字符串。 84 // 85 // 返回结果: 86 // 表示当前对象的字符串。 87 public virtual string ToString(); 88 // 89 // 摘要: 90 // 创建当前 System.Object 的浅表副本。 91 // 92 // 返回结果: 93 // 当前 System.Object 的浅表副本。 94 [SecuritySafeCritical] 95 protected Object MemberwiseClone(); 96 } 97 }
- 其中提供了名为Equals的虚方法,它的作用是在两个对象相等的前提下返回true.
-
Equals方法初实现
看起来似乎是合理的实现,但问题是如果实参引用不同的对象,Equals就不能判断对象是否包含相同的值,就会判定为False.对于Object的Equals的默认实现,它实现的是同一性,而非相等性。
- 针对以下问题,1)obj实参是否为null,2)this和obj实参是否是引用同一个对象,3)this和obj实参是否引用不同类型的对象,实现Object的Equals方法。
-
1 public class Object 2 { 3 public virtual Boolean Equals(Object obj) 4 { 5 if (obj == null) 6 return false; 7 if (this.GetType() != obj.GetType()) 8 return false; 9 10 return true; ; 11 } 12 }
- 一个类型重写Equals方法时,重写的方法应调用基类的Equals实现(除非这个基类就是Object).另外一个类型能重写Object的Equals方法,所以不能在调用这个Equals方法来测试同一性。Object提供了一个静态方法ReferenceEquals,其原型如下:
-
1 public Boolean ReferenceEquals(Object objA, Object objB) 2 { 3 return (objA == objB); 4 }
如果想检查同一性(看两个引用是否指向同一个对象),那么务必调用ReferenceEquals,而不应使用C#的==操作符(除非先把两个操作数都转型为Object)
- ValueType的Equals方法使用反射技术,由于CLR的反射机制较慢,所以在定义自己的值类型时,应该重写Equals方法,提供自己的实现,以便在用类型的实例进行值的相等性比较时提高性能。当然,在自己的视线中,不要调用base.Equals。
- 定义自己的类型时,如果决定重写Equals,必须确定它符合相等性的4个特征。
- 1)Equals必须是自反的。
- 2)Equals必须是对称的。
- 3)Equals必须是可传递的。
- 4)Equals必须是一致的。
- 重写Equals方法,还要:
- 让类型实现System.IEquatable<T>接口的Equals方法。这个泛型接口允许你定义一个类型安全的Equals方法。
- 重载==和!=操作符方法 通常应事先这些操作符方法,在内部调用类型安全的Equals方法.
除此之外,假如以后出于排序的目的而比较类型的实例,那么类型华英实现System.IComparable的CompareTo方法和System.IComparable<T>的CompareTo方法。
对象哈希吗
System.Object提供了虚方法GetHashCode,它能获取任意对象的Int32哈希吗。
- 如果定义的一个类型重写了Equals方法,那么还应重写GetHashCode()方法。如果定义的类型在重写Equals的同时没有重写GetHashCode(),Microsoft的C#编译器会报告一条警告消息,例如以下类型,会显示警告消息:warning CS0659:“Program”重写Object.Equals(object o)但不重写Object.HetHashCode().
-
重写Equals
之所以要同时定义GetHashCode,是因为在System.Collections.Hashtable类型、System.Collections.Generic.Dictionary类型以及其他一些集合的实现中,要求两个对象为了相等,必须具有相同的哈希吗,所以,如果重写了Equals,那么还应重写GetHashCode,确保相等性算法和对象哈希吗算法是一致的。
-
1 internal sealed class Point 2 { 3 private Int32 m_x, m_y; 4 public override int GetHashCode() 5 { 6 return m_x ^ m_y; 7 } 8 }