首页 > 代码库 > .net 中的相等性比较

.net 中的相等性比较

引用相等性和值相等性

在 C# 中,相等性分为引用相等性值相等性。引用相等性是指,若两个引用类型的变量引用的是同一个对象,则它们具有引用相等性。
// x, y, z 都是引用类型变量
object x = new object();
object y = new object();
object z = x;

// 输出 false,x 和 y 不具有引用相等性
Console.WriteLine(object.ReferenceEquals(x, y));
 
// 输出 true,x 和 z 具有引用相等性
Console.WriteLine(object.ReferenceEquals(x, z));
 
// 输出 true,x 和自身具有引用相等性
Console.WriteLine(object.ReferenceEquals(x, x));
值相等性是指,若两个变量----可以是引用类型或值类型----包含语义上相同的值,则它们具有值相等性。
int i = 5;
int j = 6;
int k = 5;

// 输出 false,i 和 j 不具有值相等性
Console.WriteLine(i.Equals(j));

// 输出 true,i 和 k 具有值相等性
Console.WriteLine(i.Equals(k));

// 输出 true,i 和自身具有值相等性
Console.WriteLine(i.Equals(i));

== 和 != 操作符

== 操作符用于判断两个变量是否相等,默认的实现是:
  • 对于字符串以外的引用类型,判断变量是否具有引用相等性
  • 对于值类型,判断变量是否具有值相等性
  • 对于字符串类型,判断变量是否具有值相等性
!= 操作符与 == 操作符含义相反 。
 
C#允许重载 == 和 != 操作符。规则是,若要重载其中的一个,则必须重载另一个。
 

Object.ReferenceEquals 静态方法

Object.ReferenceEquals 静态方法用于判断引用相等性,它接受两个 object 类型的参数:
 
int i = 5;

// 输出 false,i 被装箱两次,是两个不同的对象,不具有引用相等性
Console.WriteLine(object.ReferenceEquals(i, i));

// 相当于:
object x = i;
object y = i;
Console.WriteLine(object.ReferenceEquals(x, y));

.net 框架的源码实现中,ReferenceEquals 方法使用 == 操作符进行判断:

[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
[System.Runtime.Versioning.NonVersionable]
public static bool ReferenceEquals (Object objA, Object objB) {
    return objA == objB;
}

 代码参考:http://referencesource.microsoft.com/#mscorlib/system/object.cs,4d607d6d56a93c7e

字符串相等性

在 .net 中,字符串是引用类型,但 == 运算符和 Equals 方法都使用值相等性对字符串进行比较。默认的比较方式是区分大小写的,有时我们希望进行不区分大小写的比较。因此 String 类还有一个 Equals 方法的重载,允许指定如何对字符串进行相等性比较:

public bool Equals(string value, StringComparison comparisonType)

StringComparison 参数允许指定要使用的区域性、大小写和排序规则。

字符串的例子提示相等性比较不是绝对的,两个相同的对象,可能在一个上下文中相等,而在另一个上下文中不相等。

Object.Equals 实例方法

Object.Equals 实例方法的签名是:
public virtual bool Equals(Object obj)

这是一个虚方法,具体行为取决于是否进行了重写。Object 中 Equals 方法的实现是,如果参数 obj 与当前对象是同一实例,则返回 true。

ValueType 重写了 Equals 方法:若两个值类型变量的类型相同,并且所有实例字段相等,则它们具有值相等性。ValueType 中的 Equals 方法使用反射实现,对性能略有影响。对于自定义值类型,可考虑重写 Equals 方法避免反射带来的性能损失。

Object.Equals 静态方法

这是实用工具性质的方法,用于判断两个变量是否相等,方法签名是:

public static bool Equals(Object objA, Object objB)
它的实现代码如下:
public static bool Equals(Object objA, Object objB)
{
    if (objA == objB)
    {
        return true;
    }
    if (objA == null || objB == null)
    {
        return false;
    }
    return objA.Equals(objB);
}
 
分析:
1,若两个变量引用相同的对象,或都为 null,则返回 true。
2,若任意一个变量为 null,另一个不为 null,则返回 false。
3,若两个变量都不为 null,并且不引用同一对象,那么返回 objA.Equals(objB) 的结果。
 

重写 Object.Equals 实例方法

重写 Object.Equals 实例方法时,应遵循以下规则:

  • 自反:x.Equals(x) 应返回 true
  • 对称:x.Equals(y) 和 y.Equals(x) 应具有相同的结果
  • 传递:如果 x.Equals(y) 为 true,并且 y.Equals(z) 为 true,那么 x.Equals(z) 应为 true
  • 稳定:如果 x 和 y 未修改,那么连续调用 x.Equals(y) 应具有相同的结果
  • 当实参为 null 时,应始终返回 null。
  • 若重写 Equals 方法,那么还应重写 GetHashCode 方法,并且,两个相等对象的 GetHashCode 方法应返回相同的值

IEquatable<T> 泛型接口

IEquatable<T> 定义类型特定的相等性比较方法,此接口只定义了一个方法,签名为:

bool Equals(T other)

此接口是从 .net 2.0 开始伴随泛型集合引入的。在泛型集合上调用 Contains、IndexOf、LastIndexOf 和 Remove 等方法时,将使用此接口进行相等性比较。根据 MSDN 的说明,任何可能存储在泛型集合中的类都应实现此接口。

如果实现了 IEquatable 接口,还应重写 Object.Equals 实例方法和 Object.GetHashCode 方法。

IEqualityComparer<T> 泛型接口和 EqualityComparer<T> 泛型类

IEqualityComparer 声明了两个方法:

bool Equals(T x, T y)
int GetHashCode(T obj)

此接口允许在泛型集合中跳过 T 本身的 Equals 和 GetHashCode 实现,如果向泛型集合提供了 IEqualityComparer<T> 的实例,那么集合将使用 IEqualityComparer<T> 的 Equals 和 GetHashCode 方法进行比较。

EqualityComparer<T> 为 IEqualityComparer<T> 泛型接口的实现提供基类。EqualityComparer<T>.Default 属性返回默认的相等性比较器,IEquatable<T> 与泛型集合的配合实际上是在这里起作用的:

  • 若 T 实现了 IEquatable<T> 接口,则 EqualityComparer<T>.Default 使用 IEquatable<T> 接口进行相等性比较
  • 否则,EqualityComparer<T>.Default 使用 Object.Equals 进行相等性比较
 
 

.net 中的相等性比较