栈（Stack）出现Segmentation Fault及printsum输出异常求助

问题概述 #

程序运行时持续触发Segmentation Fault（段错误），且printsum()函数输出异常数值。程序逻辑如下：

• 首先输入查询次数
• 根据不同查询类型执行操作：
  • Type1：压入单个整数
  • Type2：重复n次压入指定整数x
  • Type3：弹出并打印栈顶元素
  • Type4：弹出n个元素并打印其和（n大于栈内元素总数时返回所有元素和）
  • Type5：打印栈内所有元素的和

核心错误排查方向 #

1. 内存越界（段错误主要诱因） #

如果是手动实现的栈（而非STL stack），重点检查：

• 压入操作：是否未判断栈是否已满就执行写入。比如栈数组大小为100，top指针已经到99时仍执行stack[++top] = x，直接越界写入非法内存。
• 弹出操作：是否未判断栈是否为空就访问栈顶。比如top为-1时仍执行return stack[top--]，访问空栈的无效地址。
  示例错误代码：

int stack[100];
int top = -1;
void push(int x) { stack[++top] = x; } // 无栈满判断
int pop() { return stack[top--]; } // 无栈空判断

修复：压入前加if (top < 99)，弹出前加if (top >= 0)。

如果使用std::stack，必须在调用top()或pop()前用empty()判断栈是否为空，否则会触发未定义行为（直接导致段错误）。

2. printsum()的逻辑错误 #

• 遍历范围错误：比如手动栈中，遍历到栈的最大容量而非当前实际元素个数。例如用for (int i=0; i<MAX_SIZE; i++)累加，会把未初始化的数组元素（垃圾值）加入总和，导致输出异常。
• 未初始化累加变量：比如int sum;直接开始累加，sum的初始值是随机垃圾值，结果自然异常。
  示例错误代码：

void printsum() {
    int sum; // 未初始化
    for (int i=0; i<MAX_SIZE; i++) { // 遍历范围错误
        sum += stack[i];
    }
    cout << sum << endl;
}

修复：初始化sum = 0，遍历范围改为for (int i=0; i<=top; i++)（top从-1开始时）。

3. Type2操作的边界遗漏 #

重复压入n次时，未考虑栈剩余容量。比如栈只剩3个空位，却要压入5个元素，连续越界写入触发段错误。
修复：先计算剩余容量remaining = MAX_SIZE - top - 1，若n > remaining，要么终止操作，要么只压入remaining个元素（根据需求调整）。

4. Type4操作的空栈处理 #

当栈为空时执行Type4，直接尝试弹出元素会访问无效地址。另外计算要弹出的元素数时，需取n和当前栈元素数的最小值，避免超出栈的实际范围。
修复示例：

void type4(int n) {
    if (top == -1) {
        cout << 0 << endl;
        return;
    }
    int k = min(n, top + 1);
    int sum = 0;
    for (int i=0; i<k; i++) {
        sum += stack[top--];
    }
    cout << sum << endl;
}

实用调试技巧 #

• 添加断言：在关键函数中加入断言，比如assert(top >= -1 && top < MAX_SIZE);，编译时加-g选项，运行时触发断言能直接定位错误位置。
• 打印中间状态：在每次操作后，打印当前栈的元素个数、top值、当前总和，观察异常出现的具体时机。
• 检查输入流：确保输入的查询类型、n、x都是有效整数，避免因输入格式错误导致程序逻辑混乱（比如用cin读取时遇到非整数，后续输入全部失效）。

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