已知两个链表a 和b分别表示两个集合，其元素递增增排列。请设计一个算法，用于求出 a与b的差集，并将结果以同样的形式存储，同时返回该集合的元素个数

要找到两个递增排序链表 `a` 和 `b` 的差集，你可以采用以下步骤：

1. 定义两个指针 `p1` 和 `p2` 分别指向 `a` 和 `b` 链表的头节点。
2. 创建一个新的空链表 `result` 用来存储差集的结果，以及一个变量 `count` 记录差集中元素的数量。
3. 使用两个指针遍历 `a` 和 `b`，直到其中一个链表结束或找到相同的元素。
- 如果 `a` 中的元素小于 `b` 中的当前元素，则 `a` 中有但 `b` 中没有这个元素，添加到 `result` 并增加计数。
- 否则，如果 `b` 中的元素小于 `a` 中的当前元素，则说明 `b` 中有但 `a` 中没有，同样添加到 `result` 并增加计数。
- 当两个链表中的元素相等时，继续比较下一个元素，因为它们可能不是唯一相同的元素。
4. 如果 `a` 还有剩余的未处理元素（即 `p1` 指向非空节点），那么这部分就是 `a` 中独有的元素，也应添加到 `result`。
5. 返回 `count` 和 `result` 的头节点。

以下是 C++ 代码实现：

struct ListNode {
    int val;
    ListNode *next;
    ListNode(int x) : val(x), next(NULL) {}
};

ListNode* findDifference(ListNode* a, ListNode* b) {
    ListNode* result = nullptr; // 存储差集
    int count = 0;
    ListNode* p1 = a, *p2 = b;

    while (p1 && p2) {
        if (p1->val < p2->val) {
            result = insertAfter(result, new ListNode(p1->val));
            ++count;
            p1 = p1->next;
        } else if (p1->val > p2->val) {
            result = insertAfter(result, new ListNode(p2->val));
            ++count;
            p2 = p2->next;
        } else { // 相同元素跳过
            p1 = p1->next;
            p2 = p2->next;
        }
    }

    // 处理 `a` 中独有的元素
    while (p1) {
        result = insertAfter(result, new ListNode(p1->val));
        ++count;
        p1 = p1->next;
    }

    return result;
}

// 插入新节点到链表末尾
ListNode* insertAfter(ListNode* node, ListNode* newNode) {
    newNode->next = node->next;
    node->next = newNode;
    return newNode;
}