前言
简单介绍一下list。
正文
这里以list为介绍。
private static readonly T[] s_emptyArray = new T[0];
public List()
{
this._items = List<T>.s_emptyArray;
}
list 本质是一个数组。
同样我们可以指定容量，如果我们知道了我们大概需要多少数据，那么我们可以指定一下，这样避免了resize的损耗。
就跟我们操作系统一样，提前申请内存大小。所以我们程序一般都有一个申请内存，实际使用内存，内存碎片这几个概念。
添加也是很简单哈。
public void Add(T item)
{
++this._version;
T[] items = this._items;
int size = this._size;
if ((uint) size < (uint) items.Length)
{
this._size = size + 1;
items[size] = item;
}
else
this.AddWithResize(item);
}
判断是否满了，如果没满直接存到数组里面去，如果满了，那么resize一下。
看下resize。
private void AddWithResize(T item)
{
int size = this._size;
this.EnsureCapacity(size + 1);
this._size = size + 1;
this._items[size] = item;
}
然后看一下扩容步骤。
private void EnsureCapacity(int min)
{
if (this._items.Length >= min)
return;
int num = this._items.Length == 0 ? 4 : this._items.Length * 2;
if ((uint) num > 2146435071U)
num = 2146435071;
if (num < min)
num = min;
this.Capacity = num;
}
首先在做了一次判断，判断是否容量够用，所以是size+1。
if (this._items.Length >= min)
return;
这里就有人问了外面不是判断了，为什么里面还有判断。
这个就是一些人喜欢谈性能的地方了，认为多此一举，如果里面不判断那么就不是一个成熟的方法，提现不出方法的封闭性,因为方法的作用是之和参数打交道，外面是什么其实是不管的。
那么可以看出，一开始是4，然后后面就是翻倍了。
然后重点看下:
this.Capacity = num;
这个this.Capacity 并不是普通的变量，而是一个属性哈，不然你都纳闷它是怎么扩容了。
public int Capacity
{
get => _items.Length;
set
{
if (value < _size)
{
ThrowHelper.ThrowArgumentOutOfRangeException(ExceptionArgument.value, ExceptionResource.ArgumentOutOfRange_SmallCapacity);
}
if (value != _items.Length)
{
if (value > 0)
{
T[] newItems = new T[value];
if (_size > 0)
{
Array.Copy(_items, newItems, _size);
}
_items = newItems;
}
else
{
_items = s_emptyArray;
}
}
}
}
首先判断了不能缩容，如果缩容直接异常，其次我们注意道这个Capacity 是piblic的，也就是说我们在外部就可以直接调用。
后面逻辑就很简单创建一个新的数组，然后复制就ok了,然后重新赋值_items。
那么来看一下remove吧。
public bool Remove(T item)
{
int index = IndexOf(item);
if (index >= 0)
{
RemoveAt(index);
return true;
}
return false;
}
首先是找到其位置:
public int IndexOf(T item)
=> Array.IndexOf(_items, item, 0, _size);
int IList.IndexOf(object? item)
{
if (IsCompatibleObject(item))
{
return IndexOf((T)item!);
}
return -1;
}
可以看一下这个IsCompatibleObject，还是很有趣的。
private static bool IsCompatibleObject(object? value)
{
// Non-null values are fine. Only accept nulls if T is a class or Nullable<U>.
// Note that default(T) is not equal to null for value types except when T is Nullable<U>.
return (value is T) || (value == null && default(T) == null);
}
从这个说明，其实我们是可以传空对象的。
static void Main(string[] args)
{
List<object> lists = new List<object>();
lists.Add(null);
Console.WriteLine(lists.Count);
lists.Remove(null);
Console.ReadLine();
}
那么来看一下removeat吧。
public void RemoveAt(int index)
{
if ((uint)index >= (uint)_size)
{
ThrowHelper.ThrowArgumentOutOfRange_IndexException();
}
_size--;
if (index < _size)
{
Array.Copy(_items, index + 1, _items, index, _size - index);
}
if (RuntimeHelpers.IsReferenceOrContainsReferences<T>())
{
_items[_size] = default!;
}
_version++;
}
这里可以看出list的remove操作还是性能损耗很大的，尤其是大的list。
这里有没有注意道一个_version，这个有什么作用呢?
当遍历的时候我们就用的到。
internal Enumerator(List<T> list)
{
_list = list;
_index = 0;
_version = list._version;
_current = default;
}
public void Dispose()
{
}
public bool MoveNext()
{
List<T> localList = _list;
if (_version == localList._version && ((uint)_index < (uint)localList._size))
{
_current = localList._items[_index];
_index++;
return true;
}
return MoveNextRare();
}
private bool MoveNextRare()
{
if (_version != _list._version)
{
ThrowHelper.ThrowInvalidOperationException_InvalidOperation_EnumFailedVersion();
}
_index = _list._size + 1;
_current = default;
return false;
}
重点看上面的list，上面表面了，当我们使用foreach 进行遍历的时候，如果我们进行了删除或者添加，那么_version就会发生变化，那么可想而知会抛出异常。
例子:
static void Main(string[] args)
{
List<object> lists = new List<object>();
lists.Add("123456");
lists.Add("1231246");
lists.Add("dsadadsads");
lists.Add("eqewqew");
foreach (var item in lists)
{
if (item.ToString() == "1231246")
{
lists.Remove(item);
}
}
Console.ReadLine();
}
然后就会抛出异常了。
那么这里就不介绍find了，find 就是遍历数组，找出是否相等。
哦，对了讲另外一个故事。
public int Count => _size;
count-1 就是当前插入的位置。
那么如果你想删除某个元素的时候，那么你可以进行removeat 删除，这样避免了find。
那么非常值得注意的是如果删除了其他元素，如果那么元素的位置小于你记录的位置，那么应该是位置进行减一。
结
以上仅是个人整理，如有错误望请指点。这个系列后面也会整理一下集合相关的源码。
