【剑指offer】面试题25：合并两个排序的链表

男娘i 2022-04-10 12:11 151阅读 0赞

> **题目：输入两个递增排序的链表，合并这两个链表并使新链表中的结点仍然是按照递增排序的。**

例如输入图中的链表1和链表2，则合并之后的升序链表3所示。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Bjd2wxMjA2_size_16_color_FFFFFF_t_70][]

这是一个经常被各公司采用的面试题。在面试过程中，我们发现应聘者最容易犯两个错误：**一是在写代码之前没有对合并的过程想清楚，最终合并出来的链表要么中间断开要么并没有递增排序；二是代码的鲁棒性方面存在问题，程序一旦有特殊的输入（如空链表）就会崩溃**。接下来分析如何解决这两个问题：

首先分析合并两个链表的过程。我们的分析从合并两个链表的头结点开始。链表1的头结点的值小于链表2的头结点的值，因此链表1的头结点将是合并后链表的头结点，如图所示：

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Bjd2wxMjA2_size_16_color_FFFFFF_t_70 1][]

我们继续合并两个链表中剩余的结点。**在两个链表中剩下的结点依然是排序的，因此合并这两个链表的步骤和前面的步骤是一样的。我们还是比较两个头结点的值。**此时链表2的头结点的值小于链表1的头结点的值，因此链表2的头结点的值将是合并剩余结点得到的链表的头结点。我们把这个结点和前面合并链表时得到的链表的尾节点链接起来，如上图所示。

**当我们得到两个链表中值较小的头结点并把它链接到已经合并的链表之后，两个链表剩余的结点依然是排序的，因此合并的步骤和之前的步骤是一样的。这就是典型的递归的过程，我们可疑定义递归函数完成这一合并过程。**

接下来我们来解决鲁棒性的问题。每当代码试图访问空指针指向的内存时程序就会崩溃，从而导致鲁棒性问题。在本题中一旦输入空的链表就会引入空的指针，因此我们要对空链表单独处理。**当第一个链表是空链表，也就是它的头结点是一个空指针时，那么把它和第二个链表合并，闲人合并的过程就是第二个链表。同样，当输入的第二个链表的头结点是空指针的时候，我们把它和第一个链表合并得到的结果就是第一个链表。如果两个链表都是空链表，合并的结果是得到一个空链表。**

代码实现如下：

public class MergeTwoLinkedList {
    
    	class ListNode{
    		private int val;
    		private ListNode next;
    		
    		public ListNode(int val){
    			this.val = val;
    		}
    	}
    	
    	// 递归实现
    	public ListNode merge(ListNode list1, ListNode list2){
    		if(list1 == null){
    			// 如果list1为空，则直接返回list2
    			return list2;
    		}
    		if(list2 == null){
    			// 如果list2为空，则直接返回list1
    			return list1;
    		}
    		if(list1.val <= list2.val){
    			// 如果list1的节点小，list1向后移动一个节点
    			list1.next = merge(list1.next, list2);
    			return list1;
    		}else{
    			// 如果list2的头节点小，list2向后移动一个节点
    			list2.next = merge(list1, list2.next);
    			return list2;
    		}
    	}
    }

上面的代码是基于递归实现的，非常的简洁，思路也很清晰。为了避免面试官要求非递归实现，这里再贴出本题的非递归代码实现：

public class MergeTwoLinkedList {
    
    	class ListNode{
    		private int val;
    		private ListNode next;
    		
    		public ListNode(int val){
    			this.val = val;
    		}
    	}
    	
    	// 非递归版本
    	public ListNode Merge(ListNode list1, ListNode list2){
    		if(list1 == null){
    			return list2;
    		}
    		if(list2 == null){
    			return list1;
    		}
    		// 合并后的头节点
    		ListNode  mergeHead = null;
    		// current为当前合并链表中的最后一个节点
    		ListNode current = null;
    		
    		while(list1 != null && list2 != null){
    			if(list1.val <= list2.val){
    				if(mergeHead == null){
    					mergeHead = current = list1;
    				}else{
    					// 将此时list1的头节点设置为current的尾节点
    					current.next = list1;
    					current = current.next; 
    				}
    				// list1向后移动一个节点
    				list1 = list1.next;
    			}else{
    				if(mergeHead == null){
    					mergeHead = current = list2;
    				}else{
    					// 将此时list2的头节点设置为current的尾节点
    					current.next = list2;
    					current = current.next;
    				}
    				// list2向后移动一个节点
    				list2 = list2.next;
    			}
    		}
    		// 可能一个链表先合并完成，但是另外一个还没有结束
    		if(list1 == null){
    			current.next = list2;
    		}else{
    			current.next = list1;
    		}
    		return mergeHead;
    	}
    }

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Bjd2wxMjA2_size_16_color_FFFFFF_t_70 2][]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Bjd2wxMjA2_size_16_color_FFFFFF_t_70]: /images/20220330/04f0387e9b4c4fc0b52d828769fe439d.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Bjd2wxMjA2_size_16_color_FFFFFF_t_70 1]: /images/20220330/b534e66146be43fca42cf6e80616ba20.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Bjd2wxMjA2_size_16_color_FFFFFF_t_70 2]: /images/20220330/98dc3befba6f47a5af47b458e10461da.png