错误：AddressSanitizer：负大小参数：（大小=-1）

Question

对不起这个凌乱的代码，但我有一个问题。

我试图解决 LeetCode 的 844 任务。 鉴于

给定两个字符串 S 和 T，如果它们在空文本编辑器中输入时相等，则返回。 # 表示退格字符。

第一个例子

输入：S = "ab#c", T = "ad#c"
Output：真
解释：S 和 T 都变成“ac”。

第二个例子

输入：S = "ab##", T = "c#d#"
Output：真
解释： S 和 T 都变成“”。

我的解决方案在这里：

class Solution {
public:
    bool backspaceCompare(string S, string T) {
        vector<char> a;
        vector<char> b;
        int id = 0; 
        for(int i = 0; i < S.length(); i++){
            a.push_back(S[i]);
            id++;
            if(S[i]=='#'){
                a.erase(a.begin()+id-2);
                id--;
                a.erase(a.begin()+id-1);
                id--;
            }
            if(S[i+1]=='#'){
                a.erase(a.begin()+id-1);  
                id--;
                i+=2;
            } 
        }id = 0;
        for(int i = 0; i < T.length(); i++){  
            b.push_back(T[i]);
            id++;
            if(T[i]=='#'){
                b.erase(b.begin()+id-2);
                id--;
                b.erase(b.begin()+id-1);
                id--;
            }
            if(T[i+1]=='#'){
                b.erase(b.begin()+id-1);
                i+=2;
            }
        }
        bool x;
        if(a.size()==0) x = true;
        else{
            for(int i = 0; i < a.size(); i++){
                if(a[i]==b[i]) x = true;
                else x = false;
            }
        }return x;
    }
};
//Input: S = "ab##", T = "c#d#"

运行时错误消息

==================================================== ================
==32==错误：AddressSanitizer：负大小参数：（大小=-1）
#8 0x7f585c70d82f (/lib/x86_64-linux-gnu/libc.so.6+0x2082f)
0x602000000151 位于 1 字节区域右侧 0 字节 [0x602000000150,0x602000000151)
此处由线程 T0 分配：
#5 0x7f585c70d82f (/lib/x86_64-linux-gnu/libc.so.6+0x2082f)
==32==正在中止

但它给了我这样的错误。 我认为这里的一切都很好。 我的错误在哪里？

Answer 1

您的代码中有几个问题

int id = 0; 

for (int i = 0; i < S.length(); i++){
    a.push_back(S[i]);
    id++;
    if (S[i]=='#'){
        a.erase(a.begin()+id-2);
        id--;
        a.erase(a.begin()+id-1);
        id--;
    }
    if(S[i+1]=='#'){
        a.erase(a.begin()+id-1);  
        id--;
        i+=2;
    } 
}

• 您不将'#'作为第一个字符（或额外'#' ）处理。
• 当i == S.size() - 1时， S[i+1]越界
• 除了常规的++i之外，您的i += 2还完成了。

您的代码可以简化为：

std::string backspace_string_simplification(const std::string& s)
{
    std::string res;

    for (char c : s) {
        if (c != '#') {
            res.push_back(c);   
        } else if (!res.empty()) {
            res.pop_back();   
        }
    }
    return res;
}

演示

然后，您的“字符串比较”：

bool x;
if (a.size() == 0)
    x = true;
else {
    for(int i = 0; i < a.size(); i++) {
        if(a[i]==b[i]) x = true;
        else x = false;
    }
}
return x;

• 当a为空时，如果b也为空，则字符串相等。
• 如果a和b的大小不同，则您要么在循环中有越界访问，要么忽略剩余的比较（而它应该是假的）。
• 您的if在循环中等效于x = (a[i] == b[i]) ，因此您的循环等效于（具有正确的大小） x = a.back() == b.back() 。

你可以简单地做return a == b; （ std::string和std::vector<char>都可以处理）。

导致

bool backspaceCompare(string lhs, string rhs) {
    return backspace_string_simplification(lhs) == backspace_string_simplification(rhs);
}