FCL小应用系列-----------分析List的Remove(T)方法

先看如下代码，猜猜输出什么？

static void Main(string[] args)
{
List<A> list = new List<A>();
list.Add(new A(1, 1));
list.Add(new A(2, 2));
Console.WriteLine(list.Count);
list.Remove(new A(1, 1));
Console.WriteLine(list.Count);

}

其实代码很简单，建立一个链表，增加2个元素，然后试图删除一个元素。在删除前后打印出链表中元素的个数.

然而结果却是：不一定！

问题的关键就是

list.Remove(new A(1, 1));

看似这句的企图是，删除第一个元素，那么它能达到这个目的吗？这要看看，list.Remove(T)的实现原理了，首先要检查链表中是否有这个元素，然后才能删除。那么，怎么确定是否有这个元素呢？看MSDN的描述：

此方法使用用于 T（列表中的值的类型）的默认相等比较器 EqualityComparer(T).Default 来确定相等性。

那么我们看看这个EqualityComparer(T).Default 是什么？跟踪MSDN如下：

返回一个默认的相等比较器，用于比较此泛型参数指定的类型。

Default 属性检查类型 T 是否实现此 System.IEquatable(T) 泛型接口，如果实现，该属性将返回一个使用该实现的 EqualityComparer(T)。否则，它返回一个使用 T 提供的 Object.Equals 和 Object.GetHashCode 的重写的 EqualityComparer(T)。

判断相等并不简单，如果什么都不做的话，默认会使用Object.Equals()函数判断相等。而我们知道Object.Equals()其实实现的是同一性比较，而不是相等性比较。所以只有两个引用变量指向同一个对象，才判定为相等。然而上述代码中，显然new A(1,1)返回的引用变量不可能指向链表中引用变量指向的对象，所以输出结果会是：

2

2

然而，如果我们的A,覆盖了Object的Equals函数，例如：

class A
{
public int x;
public int y;
public A(int _x, int _y)
{
x = _x;
y = _y;
}
public static bool operator == (A a1, A a2)
{
Console.WriteLine("operator ==");
return (a1 == a2);
}
public static bool operator != (A a1, A a2)
{
return (a1 != a2);
}
public override bool Equals(object obj)
{
Console.WriteLine("override Equals");
if (this.x == ((A)obj).x && this.y == ((A)obj).y)
return true;
else
return false;
}
}

那么输出结果将会是

2

1

所以，list.Remove(T)完全依赖于T的实现。上述代码也证明了，List.Remove(T)不会使用T的==操作符而是使用T的Equals()方法判断相等性。