C++代码触发0xC0000005错误，请求协助定位故障原因

核心问题：无限循环导致内存耗尽引发访问违规 #

你的程序抛出0xC0000005错误的根本原因是groupMinterms()函数中的**groupFromTop变量未在每个stage循环开始时重置为0**，导致后续迭代中错误地生成大量无效组合元素，触发无限循环，最终因内存耗尽引发访问违规。

具体逻辑漏洞：

• 每个stage（循环迭代）的groupFromTop应该从0开始，用于标记当前stage内新生成元素的组序号
• 当前代码中groupFromTop在函数初始化后持续递增，跨stage不会重置，导致后续stage的新元素groupFromTop数值连续且相邻
• 这使得大量元素满足upperdata.groupFromTop + 1 == lowerdata.groupFromTop的判断条件，即使它们不属于相邻的逻辑组，也会被错误组合，anyAdded始终为true，循环永远无法终止，groupedTerms持续扩容直至内存耗尽

修复方案 #

在while (true)循环内部，每次迭代开始时重置groupFromTop为0：

void groupMinterms() {
    int stage = 1;
    int groupFromTop = 0;
    int startIndex;
    int endIndexHolder = 0;
    std::vector<int> combinedMinterms;
    std::vector<int> deletedArgs;

    while (true) {
        startIndex = endIndexHolder;
        endIndexHolder = groupedTerms.size();
        bool anyAdded = false;
        // 关键修复：每个stage开始时重置groupFromTop为0
        groupFromTop = 0;

        for (int i = startIndex; i < endIndexHolder; i++) {
            const auto& upperdata = groupedTerms[i];

            for (int j = i + 1; j < endIndexHolder; j++) {
                const auto& lowerdata = groupedTerms[j];

                if (upperdata.stage == lowerdata.stage && upperdata.groupFromTop + 1 == lowerdata.groupFromTop && isPowerOfTwo(lowerdata.mintermsIncluded[0] - upperdata.mintermsIncluded[0])) {

                    combinedMinterms.clear();
                    combinedMinterms.insert(combinedMinterms.end(), upperdata.mintermsIncluded.begin(), upperdata.mintermsIncluded.end());
                    combinedMinterms.insert(combinedMinterms.end(), lowerdata.mintermsIncluded.begin(), lowerdata.mintermsIncluded.end());

                    deletedArgs.clear();
                    deletedArgs.insert(deletedArgs.end(), upperdata.deletedArgs.begin(), upperdata.deletedArgs.end());
                    deletedArgs.push_back(lowerdata.mintermsIncluded[0] - upperdata.mintermsIncluded[0]);

                    groupedTerms.push_back({ combinedMinterms, deletedArgs, stage, groupFromTop });
                    anyAdded = true;
                }
            }
            groupFromTop++;
        }

        if (!anyAdded)
            break;

        stage++;
    }
}

额外优化建议 #

1. 避免重复计算差值：将lowerdata.mintermsIncluded[0] - upperdata.mintermsIncluded[0]的结果存储到临时变量中，避免多次计算
2. 组合元素去重：当前代码可能生成重复的组合元素（不同路径组合出相同的minterm集合），可添加去重逻辑减少冗余数据
3. 变量作用域优化：将combinedMinterms和deletedArgs的定义移至内层循环，缩小作用域，避免意外的残留数据影响

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