用c++实现已知两个顺序表A、B分别表示两个集合，元素递增有序，设计算法求A、B的差集C，并同样以递增的形式存储。操作结果：用lc返回la和lb表示的集合的差集。

在C++中，你可以通过双指针法来解决这个问题。首先，创建一个空的顺序表C作为差集，然后维护两个指针i和j，分别指向A和B的头部。以下是基本步骤：

1. 初始化两个指针i = 0 和 j = 0，同时设置一个标志`done_with_B`为`false`，表示B还未遍历完。

2. 当指针i小于A的长度，且指针j小于B的长度时：
a. 如果A[i] < B[j]，说明A的当前元素还在C中添加，将A[i]加入到C并移动i向前一位。
b. 如果A[i] > B[j]，说明B的当前元素已经在C中移除，跳过B[j]并将j向前一位（因为B的元素更大）。

3. 遇到B[j] == A[i]的情况，表示找到了一个相同的元素，处理完毕后更新i和j。

4. 指针j遍历完B后，将剩余的A中的元素依次添加到C中，并将`done_with_B`设为`true`。

5. 完成上述过程后，如果还有未处理完的A元素（即i < la），将它们添加到C中。

6. 最后返回差集C以及其长度la（A的长度）和lb（B的长度）。

下面是一个简单的伪代码实现：

List<int> diffSet(const List<int>& A, const List<int>& B) {
    List<int> C;
    int i = 0, j = 0, done_with_B = false;

    while (!A.empty() && !B.empty()) {
        if (A[i] < B[j]) {
            C.push_back(A[i++]);
        } else if (A[i] > B[j]) {
            // B[j] 已经被处理过了，不需要再次比较
            j++;
        } else {
            // 相同元素，在A中去掉了
            i++; j++;
            done_with_B = true;  // 设置标志表明B处理完了当前部分
        }
    }

    // 将A剩下的元素加到C
    while (i < A.length()) {
        C.push_back(A[i++]);
    }

    return {C, A.length(), B.length()};
}