用SqList实现：有两个集合采用递增有序的整数顺序表A、B存储，设计一个在时间上尽可能高效的算法求两个集合的差集C，C仍然用顺序表存储，并给出算法的时间和空间复杂度。例如A=（1,3,5,7），B=（1,2,4,5,9），差集C=（3,7）。 编写该C++程序

在C++中，我们可以使用双指针技术来高效地计算两个有序序列的差集。这种算法的时间复杂度是O(m+n)，其中m和n分别是两个序列的长度。空间复杂度是O(1)，因为我们只需要常量级别的额外空间。

以下是使用`std::list`（类似于顺序表）来实现的C++代码：

#include <list>
#include <iostream>

// 函数声明
void findDifference(std::list<int>& A, std::list<int>& B, std::list<int>& C);

int main() {
    // 初始化两个有序序列
    std::list<int> A = {1, 3, 5, 7};
    std::list<int> B = {1, 2, 4, 5, 9};

    // 初始化差集
    std::list<int> C;

    // 计算差集
    findDifference(A, B, C);

    // 打印结果
    for (auto& num : C) {
        std::cout << num << " ";
    }
    std::cout << "\n";

    return 0;
}

// 实现差集函数
void findDifference(std::list<int>& A, std::list<int>& B, std::list<int>& C) {
    auto itA = A.begin();
    auto itB = B.begin();

    while (itA != A.end()) {
        if (*itB < *itA) {
            // 如果B中的当前元素小于A中的，说明A的元素还没被覆盖，添加到C中
            C.push_back(*itA);
            ++itA;
        } else if (*itB == *itA) {
            // 如果元素相等，A先遍历完，说明B中的这个元素已存在于A中，A继续移动
            ++itA;
        } else {
            ++itB;
        }
    }

    // 将剩余的B中的元素添加到C中
    while (itB != B.end()) {
        C.push_back(*itB);
        ++itB;
    }
}

在这个程序中，我们首先初始化两个有序列表A和B以及一个空列表C。然后通过比较两个列表的元素来确定哪些属于A但不在B中，将这些元素依次添加到C中。最后输出C的内容。