算法与数据结构（五）链表

概念

链表是一种物理存储单元上非连续、非顺序的存储结构，通过指针将一组零散的内存块串联在一起。由一系列结点（链表中每一个元素称为结点）组成，结点可以在运行时动态生成。每个结点包括两个部分：一个是存储数据元素的数据域，另一个是存储下一个结点地址的指针域。

几种常见链表

单链表

链表中记录下个结点地址的指针叫作后继指针next。单链表中有两个特殊的结点，分别是第一个结点和最后一个结点。通常我们习惯性地把第一个结点叫作头结点，把最后一个结点叫作尾结点。其中，头结点用来记录链表的基地址。有了它，我们就可以遍历得到整条链表。而尾结点特殊的地方是：指针不是指向下一个结点，而是指向一个空地址 NULL，表示这是链表上最后一个结点。

插入、删除

在进行数组的插入、删除操作时，为了保持内存数据的连续性，需要做大量的数据搬移，所以时间复杂度是 O(n)。而在链表中插入或者删除一个数据，我们并不需要为了保持内存的连续性而搬移结点，因为链表的存储空间本身就不是连续的。所以，在链表中插入和删除一个数据是非常快速的，只需要考虑相邻结点的指针改变，对应的时间复杂度是 O(1)。

查询

但链表要想随机访问第 k 个元素，就没有数组那么高效了。因为链表中的数据并非连续存储的，所以无法像数组那样，根据首地址和下标，通过寻址公式就能直接计算出对应的内存地址，而是需要根据指针一个结点一个结点地依次遍历，直到找到相应的结点，因此链表随机访问的性能没有数组好，需要 O(n) 的时间复杂度。准确的来讲，链表的访问只能叫顺序访问，而不能叫随机访问。

循环链表

循环链表是一种特殊的单链表。它跟单链表唯一的区别就在尾结点。单链表的尾结点指针指向空地址，表示这就是最后的结点了；而循环链表的尾结点指针是指向链表的头结点，首尾相连。当要处理的数据具有环型结构特点时，就特别适合采用循环链表，例如著名的约瑟夫问题。

双向链表

单向链表只有一个方向，结点只有一个后继指针 next 指向后面的结点。而双向链表，顾名思义，支持两个方向，每个结点不止有一个后继指针 next 指向后面的结点，还有一个前驱指针 prev 指向前面的结点。

双向链表需要额外的两个空间来存储后继结点和前驱结点的地址。所以，如果存储同样多的数据，双向链表要比单链表占用更多的内存空间。从结构上来看，双向链表可以支持 O(1) 时间复杂度的情况下找到前驱结点，正是这样的特点，也使双向链表在某些情况下的插入、删除等操作都要比单链表简单、高效。

对比单链表

删除操作

1. 删除结点中"值等于某个给定值"的结点。
   这种情况的删除，我们需要先定位到要删除的元素，然后再执行删除操作。定位到要删除的元素的平均时间复杂度为O(n)，执行删除操作的时间复杂度是O(1)。尽管单纯的删除操作时间复杂度是 O(1)，但遍历查找的时间是主要的耗时点，对应的时间复杂度为 O(n)。根据时间复杂度分析中的加法法则，删除值等于给定值的结点对应的链表操作的总时间复杂度为 O(n)。
2. 删除给定指针指向的结点。
   这就意味着不需要遍历找到被删除元素，直接删除这个指针指向的元素即可。
   但是删除某个结点 q 需要知道其前驱结点，而单链表并不支持直接获取前驱结点，所以，为了找到前驱结点，我们还是要从头结点开始遍历链表，直到 p->next=q，说明 p 是 q 的前驱结点。所以，针对第二种情况，单链表删除操作需要 O(n) 的时间复杂度。
   但对于双向链表来说，因为双向链表中的结点已经保存了前驱结点的指针，不需要像单链表那样遍历。所以，针对第二种情况，双向链表删除操作只需要O(1) 的时间复杂度。

插入操作

同理删除操作，如果要在链表的某个指定结点前面插入一个结点，双向链表可以在 O(1) 时间复杂度搞定，而单向链表需要 O(n) 的时间复杂度。

按值查询操作

对一个有序链表而言，双向链表按值查询的效率比单链表高一些。单链表只能从头结点开始，依次往后遍历，直到找到给定值，最坏情况需要把整个链表查找一遍。双向链表我们可以在链表中心的位置设置一个指针，当要查找某个元素时，只需要将元素跟中心位置的结点值对比，如果小了，则往链表前面找；如果大了，则往链表后面找，平均只需要找半个链表即可。

空间换时间设计思想

因此，在实际的软件开发中，双向链表尽管比较费内存，但还是比单链表的应用更加广泛的原因。比如 Java 语言中的LinkedHashMap等容器底层就使用了双向链表的数据结构。

这里还有一个重要理论，那就是用空间换时间的设计思想。当内存空间充足的时候，如果我们更加追求代码的执行速度，我们就可以选择空间复杂度相对较高、但时间复杂度相对很低的算法或者数据结构。相反，如果内存比较紧缺，比如代码跑在手机或者单片机上，这个时候，就要反过来用时间换空间的设计思路。

对于执行较慢的程序，可以通过消耗更多的内存（空间换时间）来进行优化；而消耗过多内存的程序，可以通过消耗更多的时间（时间换空间）来降低内存的消耗。这就是软件开发中的“trade-off”。

链表与数组的对比

1. 数组静态分配内存，链表动态分配内存。
2. 数组在内存中是连续的，链表在内存中是不连续的。
3. 数组利用下标定位，查找的时间复杂度是O(1)，链表通过遍历定位元素，查找的时间复杂度是O(n)。
4. 数组插入和删除需要移动其他元素，时间复杂度是O(n)，链表的插入或删除不需要移动其他元素，时间复杂度是O(1)。

链表的优缺点

优点：

1. 插入和删除的效率高，只需要改变指针的指向就可以进行插入和删除。
2. 内存利用率高，不会浪费内存，可以使用内存中细小的不连续的空间，只有在需要的时候才去创建空间。大小不固定，拓展很灵活。

缺点：

1. 查找的效率低，因为链表是从第一个节点向后遍历查找。
2. 对链表进行频繁的插入、删除操作，会导致频繁的内存申请和释放，容易造成内存碎片，如果是 Java 语言，就有可能会导致频繁的 GC（Garbage Collection，垃圾回收）。

数组的优缺点

优点：

1. 随机访问性比较强，可以通过下标进行快速定位。
2. 查找速度快。

缺点：

1. 插入和删除的效率低，需要移动其他元素。
2. 内存空间要求高，创建一个数组，必须要有足够的连续内存空间。
3. 会造成内存的浪费，因为内存是连续的，所以在申请数组的时候就必须规定好内存的大小，如果不合适，就会造成内存的浪费。
4. 数组的大小是固定的，在创建数组的时候就已经规定好，不能动态拓展。

总结

链表跟数组一样，也是一种非常基础、常用的数据结构。不过链表要比数组稍微复杂，从普通的单链表衍生出来好几种链表结构，比如双向链表、循环链表、双向循环链表。和数组相比，链表更适合插入、删除操作频繁的场景，查询的时间复杂度较高。不过，在具体软件开发中，要对数组和链表的各种性能进行对比，综合来选择使用。