摘要：递归版本尾递归很多递归没办法自然的写成尾递归，本质原因是无法在多次递归过程中维护共有的变量，这也是循环的优势所在。这是因为虽然用的，但并没有开启尾递归优化。
TL;DR
为一个已排序的链表去重，考虑到很长的链表，需要尾调用优化。系列目录见 前言和目录 。
需求实现一个 removeDuplicates() 函数，给定一个升序排列过的链表，去除链表中重复的元素，并返回修改后的链表。理想情况下链表只应该被遍历一次。
var list = 1 -> 2 -> 3 -> 3 -> 4 -> 4 -> 5 -> null removeDuplicates(list) === 1 -> 2 -> 3 -> 4 -> 5 -> null
如果传入的链表为 null 就返回 null 。
这个解决方案需要考虑链表很长的情况，递归会造成栈溢出，所以递归方案必须用到尾递归。
因为篇幅限制，这里并不解释什么是尾递归，想详细了解的可以先看看 尾调用 的定义。
递归版本 - 非尾递归对数组或者链表去重本身是个花样很多的算法，但如果链表是已排序的，解法就单一很多了，因为重复的元素都是相邻的。假定链表为 a -> a1 -> a2 ... aN -> b ，其中 a1 到 aN 都是对 a 的重复，那么去重就是把链表变成 a -> b 。
因为递归版本没有循环，所以一次递归操作只能减去一个重复元素，比如第一次去除 a1 ，第二次去除 a2 。
先看一个简单的递归版本，这个版本递归的是 removeDuplicates 自身。先取链表的头结点 head，如果发现它跟之后的节点有重复，就让 head 指向之后的节点（减去一个重复），然后再把 head 放入下一个递归里。如果没有重复，则递归 head 的下一个节点，并把结果指向 head.next 。
function removeDuplicates(head) {
if (!head) return null
const nextNode = head.next
if (nextNode && head.data === nextNode.data) {
head.next = nextNode.next
return removeDuplicates(head)
}
head.next = removeDuplicates(nextNode)
return head
}
这个版本只有第一个 return removeDuplicates(head) 处是尾递归，最后的 return head 并不是。所以这个解法并不算完全的尾递归，但性能并不算差。经我测试可以处理 30000 个节点的链表，但 40000 个就一定会栈溢出。
递归版本 - 尾递归很多递归没办法自然的写成尾递归，本质原因是无法在多次递归过程中维护共有的变量，这也是循环的优势所在。上面例子中的 head.next = removeDuplicates(nextNode) 就是一个典型，我们需要保留 head 这个变量，好在递归结束把结果赋值给 head.next 。尾递归优化的基本思路，就是把共有的变量继续传给下一个递归过程，这种做法往往需要用到额外的函数参数。下面是一个改变后的尾递归版本：
function removeDuplicatesV2(head, prev = null, re = null) {
if (!head) return re
re = re || head
if (prev && prev.data === head.data) {
prev.next = head.next
} else {
prev = head
}
return removeDuplicatesV2(head.next, prev, re)
}
我们加了两个变量 prev 和 re 。prev 代表 head 的前一个节点，在递归过程中我们判断的是 prev 和 head 是否有重复。为了最后能返回链表的头我们加了 re 这个参数，它是最后的返回值。re 仅仅指向最开始的 head ，也就是第一次递归的链表的头结点。因为这个算法是修改链表自身，只要链表非空，头结点作为返回值就是确定的，即使链表开头就有重复，被移除的也是头结点之后的节点。
如何测试尾递归首先我们需要一个支持尾递归优化的环境。我测试的环境是 Node v7 。Node 应该是 6.2 之后就支持尾递归优化，但需要指定 harmony_tailcalls 参数开启，默认并不启动。我用的 Mocha 写测试，所以把参数写在 mocha.opts 里，配置如下：
--use_strict --harmony_tailcalls --require test/support/expect.js
其次我们需要一个方法来生成很长的，随机重复的，生序排列的链表，我的写法如下：
// Usage: buildRandomSortedList(40000)
function buildRandomSortedList(len) {
let list
let prevNode
let num = 1
for (let i = 0; i < len; i++) {
const node = new Node(randomBool() ? num++ : num)
if (!list) {
list = node
} else {
prevNode.next = node
}
prevNode = node
}
return list
}
function randomBool() {
return Math.random() >= 0.5
}
然后就可以测试了，为了方便同时测试溢出和不溢出的情况，写个 helper ，这个 helper 简单的判断函数是否抛出 RangeError 。因为函数的逻辑已经在之前的测试中保证了，这里就不测试结果是否正确了。
function createLargeListTests(fn, { isOverflow }) {
describe(`${fn.name} - max stack size exceed test`, () => {
it(`${isOverflow ? "should NOT" : "should"} be able to handle a big random list.`, () => {
Error.stackTraceLimit = 10
expect(() => {
fn(buildRandomSortedList(40000))
})[isOverflow ? "toThrow" : "toNotThrow"](RangeError, "Maximum call stack size exceeded")
})
})
}
createLargeListTests(removeDuplicates, { isOverflow: true })
createLargeListTests(removeDuplicatesV2, { isOverflow: false })
完整的测试见 GitHub 。
顺带一提，以上两个递归方案在 Codewars 上都会栈溢出。这是因为 Codewars 虽然用的 Node v6 ，但并没有开启尾递归优化。
循环版本思路一致，就不赘述了，直接看代码：
function removeDuplicatesV3(head) {
for (let node = head; node; node = node.next) {
while (node.next && node.data === node.next.data) node.next = node.next.next
}
return head
}
可以看到，因为循环体外的共有变量 node 和 head ，这个例子代码比递归版本要简单直观很多。
总结循环和递归没有孰优孰劣，各有合适的场合。这个 kata 就是一个循环比递归简单的例子。另外，尾递归因为要传递中间变量，所以写起来的感觉会更类似循环而不是正常的递归思路，这也是为什么我对大部分 kata 没有做尾递归的原因 -- 这个教程的目的是展示递归的思路，而尾递归有时候达不到这一点。
算法相关的代码和测试我都放在 GitHub 上，如果对你有帮助请帮我点个赞！
参考资料Codewars Kata
GitHub 的代码实现
GitHub 的测试
文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。
转载请注明本文地址：https://www.ucloud.cn/yun/88095.html
摘要：微信公众号记录截图记录截图目前关于这块算法与数据结构的安排前。已攻略返回目录目前已攻略篇文章。会根据题解以及留言内容，进行补充，并添加上提供题解的小伙伴的昵称和地址。本许可协议授权之外的使用权限可以从处获得。 Create by jsliang on 2019-07-15 11:54:45 Recently revised in 2019-07-15 15:25:25 一 目录 不...
摘要：月下半旬攻略道题，目前已攻略题。目前简单难度攻略已经到题，所以后面会调整自己，在刷算法与数据结构的同时，攻略中等难度的题目。 Create by jsliang on 2019-07-30 16:15:37 Recently revised in 2019-07-30 17:04:20 7 月下半旬攻略 45 道题，目前已攻略 100 题。 一 目录 不折腾的前端，和咸鱼有什么区别...
摘要：我打算写一个链表操作的系列，来自的系列，实现语言是。通过自己实现一个链表和常用操作，可以加深理解这类数据结构的优缺点。链表经常用来训练指针操作，虽然这只对适用，但等高级语言中控制引用的思路其实也差不多。 TL;DR 我打算写一个链表操作的系列，来自 Codewars 的 Linked List 系列 kata ，实现语言是 JavaScript 。这篇是开篇，简单描述了一下我写这个的目...
摘要：题目要求从有序链表中删除重复的数字，并且返回删除后的头结点例如输入链表为返回这题和相似，只是数据结构从数组变成了链表若还有更好的思路，请多多指教想要了解更多开发技术，面试教程以及互联网公司内推，欢迎关注我的微信公众 题目要求： 从有序链表中删除重复的数字，并且返回删除后的头结点例如输入链表为1->1->2,返回1->2 这题和leetcode26相似，只是数据结构从数组变成了链表 /*...
摘要：题目要求翻译将链表中重复的元素全部删除，返回新的头结点。相比于，这里将重复的元素全部删除。除此以外，我们还需要知道重复元素的前一个值和重复元素的最后一个值。如果存在重复值，则跳过重复值后，前节点不变，否则前节点跟随后节点同时向后移动。 题目要求 Given a sorted linked list, delete all nodes that have duplicate number...
阅读 1335·2021-11-25 09:43
阅读 1894·2021-11-12 10:36
阅读 5965·2021-09-22 15:05
阅读 3478·2019-08-30 15:55
阅读 2005·2019-08-26 14:06
阅读 3640·2019-08-26 12:17
阅读 492·2019-08-23 17:55
阅读 2448·2019-08-23 16:23
