C++：不使用函数测试不同大小char向量并解决差集重复问题

1. 导致差集异常的核心Bug #

(1) match变量未逐元素重置 #

在difference()函数中，match仅初始化一次。遍历SetA后续元素时，match会保留上一次循环的结果，导致判断逻辑完全错误：比如第一个元素匹配SetB后，后续所有元素即使不匹配，也会被判定为“已匹配”而无法加入差集；反之若第一个元素不匹配，后续所有元素都会被直接加入差集（包括原向量中的重复元素）。

(2) validate函数未真正修改原向量 #

validate的参数是值传递的vector<char> Tester，函数内对Tester的修改仅作用于副本，不会改变类成员SetA/SetB。非法字符未被真正删除，且后续Big/Small的计算基于未清理的向量大小，进一步引发逻辑混乱。

(3) 未处理向量内的重复元素 #

集合的核心特性是元素唯一，但当前代码允许SetA/SetB存在重复字符，直接计算差集时会把重复元素也纳入结果，导致差集出现重复。

2. 修复后的完整代码 #

修正validate函数（改为引用传递，真正清理原向量） #

void Set::validate(vector<char>& Tester) { // 改为引用传递，修改原向量
    for (int i = 0; i < Tester.size(); ) { // 删除元素时不递增索引，避免跳过元素
        if ((Tester[i] >= 'a' && Tester[i] <= 'z') || (Tester[i] >= 'A' && Tester[i] <= 'Z')) {
            cout << Tester[i] << " ";
            i++; // 合法元素才推进索引
        } else {
            Tester.erase(Tester.begin() + i); // 删除非法元素，索引保持不变
        }
    }

    // 重新计算Big和Small
    if (SetA.size() >= SetB.size()) {
        Big = SetA.size();
        Small = SetB.size();
    } else {
        Big = SetB.size();
        Small = SetA.size();
    }
}

修正difference函数（重置match+自动去重） #

void Set::difference() {
    vector<char> AB_diff;
    // 计算A-B：存在于A但不在B的元素
    for (char c : SetA) {
        bool match = false; // 每个元素检查前重置match
        for (char b : SetB) {
            if (c == b) {
                match = true;
                break;
            }
        }
        if (!match) {
            // 自动去重，避免差集出现重复元素
            bool exists = false;
            for (char d : AB_diff) {
                if (d == c) {
                    exists = true;
                    break;
                }
            }
            if (!exists) {
                AB_diff.push_back(c);
            }
        }
    }

    cout << "A-B= {";
    for (size_t i = 0; i < AB_diff.size(); i++) {
        if (i > 0) cout << ", ";
        cout << AB_diff[i];
    }
    cout << "}" << endl;

    // 计算B-A：存在于B但不在A的元素
    vector<char> BA_diff;
    for (char c : SetB) {
        bool match = false;
        for (char a : SetA) {
            if (c == a) {
                match = true;
                break;
            }
        }
        if (!match) {
            // 自动去重
            bool exists = false;
            for (char d : BA_diff) {
                if (d == c) {
                    exists = true;
                    break;
                }
            }
            if (!exists) {
                BA_diff.push_back(c);
            }
        }
    }

    cout << "B-A= {";
    for (size_t i = 0; i < BA_diff.size(); i++) {
        if (i > 0) cout << ", ";
        cout << BA_diff[i];
    }
    cout << "}" << endl;
}

3. 修复效果说明 #

• 非法字符会被真正从SetA/SetB中删除，不再干扰后续计算
• 差集结果自动去重，符合集合的特性
• 每个元素的匹配判断独立准确，不会出现批量错误

内容的提问来源于stack exchange，提问作者Flanderzz