代码来自ILSpy分析结果，与实际代码可能有些微出入。手写版http://min.us/mqjnYB

从下面可以看到，LinkedList是双向链表，但是SortedList实际上使用的还是数组。

而SortedDictionary与SortedSet关系非常紧密。

 

LinkedList<T> 通过双向链表这种数据结构实现。

关键数据成员：LinkedListNode head;

很显然这是链表的头。每个Node会有Previous以及Next这样的property。

Find()功能通过遍历List实现，所以是O( n )

 

Queue<T> 先进先出的队列。

关键数据成员： T[] _array; 毫无疑问，是通过数组来存放数据。

_tail; _head; _size;

有头有尾有大小，基本就是这样。

关键操作Enqueue()入队列 Dequeue()出队列。

 

SortedDictionary<T> 键值对字典数据类型，接口是IDictionary<TKey, TValue>。

内部关键数据成员TreeSet< KeyValuePair<TKey, TValue> > _set;

而TreeSet继承了SortedSet，操作基本上都是通过类似这样：第一个值使用Key，第二个值使用Default（TValue） 构造产生，然后调用_set的相关操作。

 

SortedList<T> 排序列表

TKey[] keys;

TKey[] values;

_size;

Add()，通过Array.BinarySearch<TKey>找到索引位置，然后进行插入操作。O(log n)。

 

另外要说一下，这里面的比较都是使用了IComparer，这实际上使用了设计模式中的策略模式，让用户可以自己定制。默认情况下是使用Comparer<T>.Default.

 

SortedSet<T>

关键数据成员：SortedSet<T>.Node root;

插入操作为AddIfNotPresent()这个函数名字已经说明了一切。

内部构造使用的数据结构为红黑树（一种自平衡二叉搜索树），有IsBlack和IsRed，以及Left、Right这些property。

搜索、插入、删除都是O(log n)。

另外要注意其中的Reverse()函数，使用了yield return xxx;以及yield break;这两种用法。

 

Stack<T>

T[] _array; 后进先出，没啥可说的。

 

HashSet<T>

关键数据成员：

int[] m_buckets;

HashSet<T>.Slot[] m_slots;

 

Slot的定义如下：

internal struct Slot
{
    internal int hashCode;
    internal T value;
    internal int next;
}

搜索或者是插入算法基本上是这个路子：

int num = this.InternalGetHashCode(value);
for (int i = this.m_buckets[num % this.m_buckets.Length] – 1; i >= 0; i = this.m_slots[i].next)
{
    //if (this.m_slots[i].hashCode == num && this.m_comparer.Equals(this.m_slots[i].value, value))
…
}

这里是搜索，先算出一个哈希值，然后判断在那个桶中，拿到桶里面第一个元素（this.m_slots[i]）。

然后通过next这个成员变量来获取下一个索引位置，然后对hash代码以及通过comparer比较。

（图片来自http://en.wikipedia.org/wiki/Hash_table）

 

插入操作也差不多，在这里面有一个this.m_freeList（一个int整数）保存了空闲列表位置，

然后把要插入的元素放在这个列表位置，再把m_freelist设置为这个列表位置的next。

因为空间可能不是连续的，所以我们使用的m_freelist这个位置与next未必是紧挨着的关系。

这个空闲列表的next关系维护，是由IncreaseCapacity()函数完成。其实C语言中的malloc函数也可以这样简单实现（当然实际中malloc肯定是复杂的多得多得多）。

 

ILSpy是个好东西，最新版本在这里下载http://www.ilspy.net/