AddressSanitizer:DEADLYSIGNAL 错误，尝试使用堆栈运行代码以获得有效的括号问题集

Question

我在 leetcode.com 上尝试这个叫做有效括号的问题时弹出一个错误说：

AddressSanitizer:DEADLYSIGNAL
=================================================================
==30==ERROR: AddressSanitizer: SEGV on unknown address (pc 0x0000003783d6 bp 0x7ffe68231e10 sp 0x7ffe68231ca0 T0)
==30==The signal is caused by a READ memory access.
==30==Hint: this fault was caused by a dereference of a high value address (see register values below).  Dissassemble the provided pc to learn which register was used.
    #3 0x7f427121b0b2  (/lib/x86_64-linux-gnu/libc.so.6+0x270b2)
AddressSanitizer can not provide additional info.
==30==ABORTING

这是产生错误的代码

#include <stack>

using namespace std;

class Solution {
public:
    bool isValid(string str) {
        stack<char> s;
        bool val=true;
        for(int i=0;i<str.length();i++){
            if(str[i]=='(') s.push(')');
            else if(str[i]=='{') s.push('}');
            else if(str[i]=='[') s.push(']');
            else if(str[i]==')'||str[i]=='}'||str[i]==']'){
                if(str[i]==s.top()) s.pop();
                else if(str[i]!=s.top()) {
                    val=false;
                    break;
                }
            }
        }
        if(s.empty()) val=true;
        else if(!s.empty()) val=false;
        
        return val;
    }
};

我不明白这个错误，如果有人为此提供解决方案，那将非常有帮助

Answer 1

考虑一下这个简单的输入会发生什么) 。

您的程序将在空堆栈上调用s.top() 。 这是非法操作，可以解释您的程序崩溃的原因。

您或许应该像这样重写代码，以便在调用s.top()之前检查堆栈是否为空

if (!s.empty() && str[i] == s.top())
{
    s.pop();
}
else
{
    val=false;
    break;
}

虽然我没有测试过这个。

Answer 2

这也可能发生在递归函数无限期运行或通过索引越界引用元素时。

Answer 3

这是由于 TLE 而发生的运行时错误。

这里因为这行代码：

else if(str[i]==')'||str[i]=='}'||str[i]==']'){
                if(str[i]==s.top()) s.pop();
                else if(str[i]!=s.top()) {
                    val=false;
                    break;
                }
            }

你正在做的是随机弹出顶部元素，然后你应该检查指定类型的括号是否在堆栈中可用

例如，如果我遇到 ')' 那么我应该检查顶部元素是否为 '('，这是一种边缘情况