42
Debug:42ERROR: AddressSanitizer: heap-buffer-overflow on address【C++】
结论
数组越界或堆栈溢出。若使用条件或循环语句,要看极端情况下,条件或循环语句中是否有超过数组或堆栈容量的行为。
示例
这个debug是我在做力扣739——每日温度时遇到的,如果这道题小伙伴们没有思路的话,可以看我的博客力扣739:每日温度【C++】,有写这道题的解法。
以下为当时遇到问题时的程序段:
vectorv;
for(int i=0;i<T.size()-1;i++){
int target=i+1;
while(T[target]<=T[i]&&target<T.size()) {
target++;
}
v.push_back(target<T.size()?target-i:0);
}
v.push_back(0);
分析
出问题的语句是while(T[target]<=T[i]&&target<T.size()){target++;}。
while循环while(A&&B){ }的语法逻辑是if(!A) break; if(!B) break;,也就是说程序执行时先判断A条件再判断B条件。
极端情况是,上一次循环中target=T.size()-1,执行循环体语句后,target=T.size()。while循环先判断A条件,而T容器中所有元素最大下标为T.size()-1,而target=T.size(),此时A条件中对于T[target]的访问,导致了越界。
LeetCode中对数组、堆栈等工具的边界要求极其严格,在写程序时,一定要特别注意!