2. 两数相加

给定两个非空链表来表示两个非负整数。位数按照逆序方式存储，它们的每个节点只存储单个数字。将两数相加返回一个新的链表。

你可以假设除了数字 0 之外，这两个数字都不会以零开头。

示例：

输入：(2 -> 4 -> 3) + (5 -> 6 -> 4)
输出：7 -> 0 -> 8
原因：342 + 465 = 807

算法

我们首先从最低有效位也就是列表 l1和 l2的表头开始相加。由于每位数字都应当处于0…9 的范围内，我们计算两个数字的和时可能会出现“溢出”。例如，5 + 7 = 12。在这种情况下，我们会将当前位的数值设置为 2，并将进位 carry = 1带入下一次迭代。进位 carry 必定是 0或 1，这是因为两个数字相加（考虑到进位）可能出现的最大和为 9 + 9 + 1 = 19。

伪代码如下：

• 将当前结点初始化为返回列表的哑结点。
• 将进位 carry 初始化为 0。
• 将 p和 q分别初始化为列表 l1 和 l2 的头部。
• 遍历列表 l1 和 l2 直至到达它们的尾端。
  • 将 x 设为结点 p 的值。如果 p 已经到达 l1 的末尾，则将其值设置为 0。
  • 将 y 设为结点 q 的值。如果 q 已经到达 l2 的末尾，则将其值设置为 0。
  • 设定 sum = x + y + carry。
  • 更新进位的值，carry = sum / 10。
  • 创建一个数值为 (sum mod 10)的新结点，并将其设置为当前结点的下一个结点，然后将当前结点前进到下一个结点。
  • 同时，将 p 和 q 前进到下一个结点。
• 检查 carry = 1是否成立，如果成立，则向返回列表追加一个含有数字 1的新结点。
• 返回哑结点的下一个结点。

请注意，我们使用哑结点来简化代码。如果没有哑结点，则必须编写额外的条件语句来初始化表头的值。

请特别注意以下情况：

测试用例	说明
l1=[0,1]l1=[0,1]  l2=[0,1,2]l2=[0,1,2]	当一个列表比另一个列表长时。
l1=[]l1=[]  l2=[0,1]l2=[0,1]	当一个列表为空时，即出现空列表。
l1=[9,9]l1=[9,9]  l2=[1]l2=[1]	求和运算最后可能出现额外的进位，这一点很容易被遗忘

复杂度分析

• 时间复杂度：O(max(m, n))，假设 m 和 n 分别表示 l1 和 l2 的长度，上面的算法最多重复 max(m,n)次。

• 空间复杂度：O(max(m,n))， 新列表的长度最多为max(m,n)+1。

/**
 * Definition for singly-linked list.
 * struct ListNode {
 *     int val;
 *     ListNode *next;
 *     ListNode(int x) : val(x), next(NULL) {}
 * };
 */
class Solution {
public:
    ListNode* addTwoNumbers(ListNode* l1, ListNode* l2) {
        ListNode* head=new ListNode(-1);
        ListNode* ret=head;
        int carry=0;
        while(l1||l2)
        {
            int sum=0;
            if(l1)
            {
                sum+=l1->val;
                l1=l1->next;
            }
            if(l2)
            {
                sum+=l2->val;
                l2=l2->next;
            }
            ret->next=new ListNode((sum+carry)%10);
            ret=ret->next;
            carry=(sum+carry)/10;
        }
        if(carry)
            ret->next=new ListNode(carry);
        return head->next;
    }
};